文章目录

• 前言
• 一、A*算法
• 二、一阶谓词逻辑证明
• 三、蕴含与implication的关系
• 四、其他证明

---

前言

借鉴和整理国科大高级AI往届师兄师姐的证明题、前面三个是历届考题，后面的证明是一些推测的可能考的证明，防一手好吧。

---

一、A*算法

（1）A图搜索的最优条件是什么？
（2）证明：如果启发函数h(n)是可采纳的，那么树搜索的A算法是最优的。

二、一阶谓词逻辑证明

构造一个一阶谓词逻辑的知识库KB和句子a,使得KB 丨= a 的归结过程永远不会停止

三、蕴含与implication的关系

四、其他证明

命题归结原理的完备性证明：