文章目录
前言
借鉴和整理国科大高级AI往届师兄师姐的证明题、前面三个是历届考题，后面的证明是一些推测的可能考的证明，防一手好吧。
一、A*算法
（1）A图搜索的最优条件是什么？
（2）证明：如果启发函数h(n)是可采纳的，那么树搜索的A算法是最优的。
二、一阶谓词逻辑证明
构造一个一阶谓词逻辑的知识库KB和句子a,使得KB 丨= a 的归结过程永远不会停止
三、蕴含与implication的关系
四、其他证明
命题归结原理的完备性证明：
标签：科大,AI,证明,算法,一阶,谓词,证明题 来源： https://blog.csdn.net/qq_41296039/article/details/122277502
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。