发布时间 : 星期一 文章湖北工业大学人工智能原理2008年考研试题／研究生入学考试试题／考研真题更新完毕开始阅读443b2b2d1a37f111f1855bee
二○○八年招收硕士学位研究生试卷
试卷代号 916 试卷名称 人工智能原理
①试题内容不得超过画线范围，试题必须打印，图表清晰，标注准确 ②考生请注意：答案一律做在答题纸上，做在试卷上一律无效。
一、将下列公式化成对应的Skolen范式，并写出对应的子句集（20分）： 1．G??x?y?z((?P(x,y)?Q(x,z))?R(x,y,z))
2．G??x?y?z?u?v?wR(x,y,z,u,v,w)
二、画出子句集S?{P(x)?R(y),?P(a),?R(b)}完全语义树和封闭语义树（15分）。 三、设子句 C1?P(a)??Q(x)?R(x) C2??P(y)?Q(b)
求C1、C2的归结式C12（10分）。
四、用归结原理证明下列公式为恒真公式（40分）：
1．((?P?Q)??Q)??P
2．?x[P(x)?Q(a)?Q(b)]??x[P(x)?Q(x)]
五、已知F1：王先生是小李的老师； F2：小李与小张是同班同学；
F3：如果x和y是同班同学，则x的老师就是y的老师。 求小张的老师是谁？（20分）
六、使用估价函数，求解下列8谜问题：（15分）
2 1 7 8 3 4 5
1 8 7 2 6 3 4 5 初始数据库 目标数据库
第 1 页 共 2 页