博士入学考试:2006年人工智能原理

博士入学考试:2006年人工智能原理

一、简要回答下列问题
1、无信息的图搜索方法主要有哪两种？
2、简述各种搜索策略各自的优缺点。
3、影响A算法启发能力的要素有哪些？
4、一阶逻辑中，公式是怎样定义的？
5、一阶逻辑中，公式的解释是怎样定义的？
6、命题逻辑中，常用哪两种公式范式？
7、一阶逻辑中，常用哪两种公式范式？
8、什么叫子句集的Herbrand域？

二、试述图搜索算法GRAPHSEARCH。

三、已知八数码难题的初始状态和目标状态为：
1 2 3
8  4
7 6 5
2 8 3
1 6 4
 7 5

设估价函数：f(n)=d(n)+W(n) ，其中d(n)是节点n在搜索树中的深度，W(n)是节点n中“不在位”数码的个数。画出使用此函数A算法解题的搜索树，在树上标明各节点的估价函数值及选择扩展节点的次序。

四、写出下述公式的Skolem范式：
 

五、请用归结方法证明子句集 是不可满足的。

六、请使用回溯搜索策略求解四皇后问题。其中规则排序使用对角线函数diag(i, j)，若diag(i, j)＜diag(m, n)，则在排序中把规则Rij放在规则Rmn的前面。diag (i, j)定义为用过单元(i, j)的最长对角线的长度