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

人工智能经典 试题及答案

{P(x)∨Q(a, b), P(a)∨ Q(a, b), Q(a, f(a)), P(x)∨Q(x, b)} 分别用各种归结策略求出其归结式。

解：支持集策略不可用，原因是没有指明哪个子句是由目标公式的否定化简来的。 删除策略不可用，原因是子句集中没有没有重言式和具有包孕关系的子句。 单文字子句策略的归结过程如下：

用线性输入策略（同时满足祖先过滤策略）的归结过程如下：

3.19 设已知：

(1) 能阅读的人是识字的； (2) 海豚不识字；

(3) 有些海豚是很聪明的。

请用归结演绎推理证明：有些很聪明的人并不识字。

解：第一步，先定义谓词， 设R(x)表示x是能阅读的； K(y)表示y是识字的； W(z) 表示z是很聪明的；

第二步，将已知事实和目标用谓词公式表示出来