基于支持集策略的归结推理方法的实现及其优化

人工智能原理中熏基于一阶谓词逻辑下的归结推理方法可以在机器上实现“自动定理证明以及问题的求解”。本文探讨了基于支持集策略的归结推理方法的实现,同时应用启发性搜索的策略,对该推理方法进行了优化。

学习的机制在软件开发中的应用

人类的知识来源于学习,伴随着人工智能的发展,学习的机制也被广泛地应用于计算机科学的各个领域中。在软件开发中,提高软件适应性是追求的目标之一。本文阐述了如何通过在软件开发中应用学习的机制,包括不依赖于人工智能原理的方法和基于人工智能原理的方法,来提高软件适应性。两个研究实例展示了如何运用这一思想来开发出具备自我学习能力的软件。