2007年湖北工业人工智能考试题.pdfVIP

二○○七年招收试卷

试卷代号432试卷名称

①试题内容超过画线范围，试题必须打印，图表清晰，标注准确

②考生请注意：答题一律做在答题纸上，做在试卷上一律无效。

一、将下列化成Skolem范式，并写出对应的子句集(20分)：

G=x((,

yPxy)→(,

1.Qxy))

G=x

2.yzuvwP(x,y,z,u,v,w)

二、求下列子句集的H，H，H(15分)

012

S={P()

xQ(x),((

Rfy))}

S={P(),

aP(x)Q(f)),

三、用海伯伦定理证明子句集(xQ(y)}不可满足(20分)。

四、用归结原理证明下列为恒真(40分)：

[x(P(x)→Qx))

()R(xx(P(x)N(x))](()(

1.→xNxRx))

(P→Q

2.)(Q→R)→(P→R)

五、某企业招聘职工，a、b、c三人应试。经测试后，企业表示如下想法：

(1)在三个应试人中至少录取一人；

(2)如果录取a而不录取b,则一定录取c；

(3)如果录取b，则一定录取c。

问企业录取了谁？[提示：定义谓词P(x)，表示录取了x。](20分)

六、用不可撤回策略(爬山法)求解下列8谜问题(15分)：

初始数据库

13

624

875

目标数据库

123

84

765

第1页共2页

工业大学二○○七年招收试卷

七、某家庭关系用以下“树”表示。用Prolog语言编写程序，并使程序能够回答：“pat的

姐妹是谁？”(15分)

pamtom

bob