您的当前位置是：第三章 确定性推理>>学习资源>>拓展阅读

1．搜索推理技术与宽度优先搜索的实现

将智能控制学科中的图搜索策略与数据结构中宽度优先搜索算法相结合，从而得到计算机完成图搜索过程的方法。

2．谓词逻辑在人工智能中的应用

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能产生和发展的最重要的理论基础。本文从具体事例出发，解析了谓词逻辑在人工智能领域中两个主要应用：知识表示和消解原理。并在结束语提出谓词逻辑的局限，希望有更多的学者参加逻辑学的研究。