对于第四个侦察员: ～C(A)∨～C(C) (4) 对于第五个侦察员: ～C(B)∨～C(D) (5) 结论：～C(U) ∨ANSWER(U) (6)

(1)与（4）归结：C(B)∨～C(C) (7) (3)与（5）归结：C(C)∨～C(B) (7) (2)与（7）归结：C(B) (8) (2)与（7）归结：C(C) (8) (6)与（8）归结：ANSWER(B). (6)与（8）归结：ANSWER(C).

B是罪犯 C是罪犯 所以B,C是罪犯

9、试用归结原理证明结论成立。（7分）

已知：任何能够阅读的人都是识字的，海豚不识字。某些海豚是有智力的。 求证：某些有智力者不能阅读。

10、已知事实和规则的描述如下：

事实：P(x,y)∨(Q(x,A)∧R(B,y)) 规则：P(A,B)→(S(A) ∨X(B))

Q(B,A)→ U(A) R(B,B)→ V(B)

用正向演绎推理推出目标：S(A)∨X(B)∨ V(B)，同时保证解图的一致性。

11、设有子句集S={﹁Q(x)∨﹁P(x),Q(y)∨﹁P(y),﹁Q(w)∨P(w),Q(A)∨P(A)}用祖先过滤策略进行归结。

12、试用基于规则的演绎方法证明下题。P111 例4-29 设事实和规则描述如下：

事实：Fido barks and bites， or Fido is not a dog. 规则： All terriers are dogs. Anyone who barks is noisy.

要证明的目标是：There exists someone who is not a terriers or who is noisy.

事实和规则描述如下：

F:﹁DOG(FIDO)∨[BARKS(FIDO)∧BITES(FIDO)] R1:﹁DOG(x)R2：BARKS(y)

TERRIER(x) NOISY(y)

目标公式：﹁TERRIER(z)∨NOISY(z)

13、设子句集S={P(x), Q(f( x)), R(g(y))} ,求S的海伯伦域H（S）。 解： 没有常量，指定a 为常量

H0={a}

H1={a, f(a)，g(a)}

H2={a, f(a), g(a), f(f(a))，f(g(a)) ，g(f(a))，g(g(a)) } ……

14、写出语句“每个学生都读过《红楼梦》这本书” 的语义网络表示。

15、用框架表示法描述“学生框架”，要求槽名不少于8个。(注：硕士生改为学生)

框架名：<学生> 姓名：单位(姓，名) 性别：范围(男，女)

默认(男) 年龄：单位(岁) 条件(岁>16) 学习专业：单位(专业名) 研究方向：单位(方向名) 住址：单位(楼号，房间号) 入学时间：单位(年，月) 学制：单位(年) 默认(4年)

16、什么是专家系统？专家系统的一般结构是什么？开发专家系统有哪些阶段？

专家系统：是一个计算机程序系统；拥有某个领域人类专家的知识与经验；能够利用人类专家的知识和解决问题的方法处理该领域问题；能够在运行过程中不断地增长新知识和修改原有知识