本文整理了国科大高级人工智能课程的强化学习、博弈论、一阶谓词逻辑、深度学习等核心内容，包括A*算法的最优条件、一阶谓词逻辑的归结过程及命题归结原理的完备性证明等关键知识点，并涵盖了模式识别的历年考题与课后题。适合备考复习与学术研究。
系列文章目录
提示：国科大其他课程资料整理
国科大高级AI——强化学习（格子问题）
国科大高级AI——博弈论以及相关考题
国科大高级AI——一阶谓词逻辑
国科大高级AI——证明题历年考题
国科大高级AI——深度学习整理
国科大高级AI——野人和传教士问题
国科大模式识别——历年考题以及课后题整理
前言
借鉴和整理国科大高级AI往届师兄师姐的证明题、前面三个是历届考题，后面的证明是一些推测的可能考的证明，防一手好吧。
一、A*算法
（1）A图搜索的最优条件是什么？
（2）证明：如果启发函数h(n)是可采纳的，那么树搜索的A算法是最优的。
二、一阶谓词逻辑证明
构造一个一阶谓词逻辑的知识库KB和句子a,使得KB 丨= a 的归结过程永远不会停止
三、蕴含与implication的关系
四、其他证明
命题归结原理的完备性证明：
扫一扫
827
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
