国科大《人工智能原理与算法》2020年期末试题

声明：本专题几乎每次作业都有两份答案作为参考，

后附两次考试原题+备期末考指南。

仅做参考交流使用。

传教士和野人问题。三个传教士和三个野人在河的一岸，有一条能载一个人或者两个人的船。请设

法使所有人都渡到河的另一岸，要求在任何地方野人数都不能多于传教士的人数。这个问题在AI领

域中很有名，是因为它是第一个从分析的观点探讨问题形式化的论文的主题 (Amarel,1968)。

a.请对该问题进行详细形式化，只描述确保该问题求解所必需的特性。 画出完整的状态空间图

b.应用合适的搜察算法求出该问题的最优解。对于这个问题检查重复状态是个好主意吗?

C。这个问题的状态空间很简单，你认为是什么导致人们求解它很困难？

根据“马是动物”，可以得到“一匹马的头是一只动物的头。”通过采用下列步骤，论证这一推理是有

效的：

a. 把前提和结论翻译为一阶逻辑语言。使用三个谓词：HeadOf(h, x)（表示“h是x的头