国科大高级AI考试证明题整理


前言

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


一、A*算法

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

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

二、一阶谓词逻辑证明

构造一个一阶谓词逻辑的知识库KB和句子a,使得KB 丨= a 的归结过程永远不会停止
在这里插入图片描述

三、蕴含与implication的关系

在这里插入图片描述

四、其他证明

命题归结原理的完备性证明:
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
THE END
分享
二维码

)">
< <上一篇
下一篇>>