人工智能经典试题及答案(12)

人工智能经典 试题及答案

能阅读的人是识字的：( x)(R(x))→K(x)) 海豚不识字：( y)(¬K (y))

有些海豚是很聪明的：( z) W(z)

有些很聪明的人并不识字：( x)( W(z)∧¬K(x))

第三步，将上述已知事实和目标的否定化成子句集： ¬R(x))∨K(x)

¬K (y) W(z)

¬W(z)∨K(x))

第四步，用归结演绎推理进行证明

3.20 对子句集：

{P∨Q, Q∨R, R∨W, R∨ P, W∨ Q, Q∨ R } 用线性输入策略是否可证明该子句集的不可满足性？ 解：用线性输入策略不能证明子句集

{P∨Q, Q∨R, R∨W, R∨ P, W∨ Q, Q∨ R }

的不可满足性。原因是按线性输入策略，不存在从该子句集到空子句地归结过程。

3.21 对线性输入策略和单文字子句策略分别给出一个反例，以说明它们是不完备的。

3.22 分别说明正向、逆向、双向与/或形演绎推理的基本思想。

3.23 设已知事实为

((P∨Q)∧R) ∨(S∧(T∨U)) F规则为

S→(X∧Y)∨Z

试用正向演绎推理推出所有可能的子目标。

解：先给出已知事实的与/或树，再利用F规则进行推理，其规则演绎系统如下图所示。 由该图可以直接写出所有可能的目标子句如下： P∨Q∨Ｔ∨Ｕ P∨Q∨Ｘ∨Ｚ P∨Q∨Y∨Ｚ

R∨T∨U

人工智能经典 试题及答案

R∨X∨Z R∨Y∨Z

3.24 设有如下一段知识：

“张、王和李都属于高山协会。该协会的每个成员不是滑雪运动员，就是登山运动员，其中不喜欢雨的运动员是登山运动员，不喜欢雪的运动员不是滑雪运动员。王不喜欢张所喜欢的一切东西，而喜欢张所不喜欢的一切东西。张喜欢雨和雪。”

试用谓词公式集合表示这段知识，这些谓词公式要适合一个逆向的基于规则的演绎系统。试说明这样一个系统怎样才能回答问题：

“高山俱乐部中有没有一个成员，他是一个登山运动员，但不是一个滑雪运动员？” 解：(1) 先定义谓词

A(x) 表示x是高山协会会员 S(x) 表示x是滑雪运动员 C(x) 表示x是登山运动员 L(x,y) 表示x 喜欢y (2) 将问题用谓词表示出来 “张、王和李都属于高山协会