湖北工业大学928人工智能原理2007、2008历年考研真题汇编
● 摘要
二○○七年招收硕士学位研究生试卷
试卷代号 试卷名称 人工智能
①试题内容不得超过画线范围，试题必须打印，图表清晰，标注准确 ②考生请注意：答题一律做在答题纸上，做在试卷上一律无效。
一、将下列公式化成Skolem 范式，并写出对应的子句集(20 分) ：
1. G =∀x ∃y (P (x , y ) →Q (x , y ))
2. G =∃x ∀y ∀z ∃u ∀v ∃wP (x , y , z , u , v , w )
二、求下列子句集的H 0，H 1，H 2 (15分)
S ={P (x ) ∨Q (x ), R (f (y ))}
三、用海伯伦定理证明子句集S ={¬P (a ), P (x ) ∨Q (f (x )), ¬Q (y )}不可满足(20分) 。
四、用归结原理证明下列公式为恒真公式(40分) ：
1. [∃x (P (x ) →Q (x ) ∧R (x )) ∧∃x (P (x ) ∧N (x ))]→∃x (N (x ) ∧R (x )) 2. (P →Q ) ∧(Q →R ) →(P →R )
五、某企业招聘职工，a 、b 、c 三人应试。经测试后，企业表示如下想法：
(1)在三个应试人中至少录取一人；
(2)如果录取a 而不录取b, 则一定录取c ；
(3)如果录取b ，则一定录取c 。
问企业录取了谁？ [提示：定义谓词P (x ) ，表示录取了x 。] (20分)
六、用不可撤回策略(爬山法) 求解下列8谜问题(15分) ：
初始数据库
1
6
8
1
8
7
2 7 2 6 3 4 5 3 4 5
第 1 页 共 2 页 目标数据库