人工智能_(马少平_朱小燕_著)_清华大学出版社_课(3)

4． 解释 P( f (x, x), A) 和 P( f (y , f (y, A )) , A )为什么不能合一

5． 将下列公式化为skolem子句形

a) ((x) P(x) ∨ (x) Q(x)) → (x) ( P(x) ∨ Q(x) )

b) (x) ( P(x) → (y) ( (z) Q(x , y) → ～ (z)R(y , x) ) ) c) (x) P(x) → (x) ( ((z) Q(x ,z )) ∨ (z)R(x , y , z) )

6． 用归结法证明：存在一个绿色物体，如果有如下条件存在： a) 如果可以推动的物体是蓝色的，那么不可以推动的物体是绿色的 b) 所有的物体或者是蓝色的，或者是绿色的，但不能同时具有两种颜色。 c) 如果存在一个不能推动的物体，那么所有的可推动的物体是蓝色的。 d) 物体O1是可以推动的 e) 物体O2是不可以推动的

7． 设S={ P(x), Q(f(x), y) }，试写出H域上的元素，并写出S的一个基例。

答案部分

第一章 课后习题答案

说明：由于人工智能的很多题目都很灵活，以下解答仅供参考。

1、对N＝5、k≤3时，求解传教士和野人问题的产生式系统各组成部分进行描述（给出综合数据库、规则集合的形式化描述，给出初始状态和目标条件的描述），并画出状态空间图。

答： 1，综合数据库 定义三元组：（m, c, b） 其中：

2，规则集

规则集可以用两种方式表示，两种方法均可。

第一种方法： 按每次渡河的人数分别写出每一个规则，共(3 0)、(0 3)、(2 1)、(1 1)、(1 0)、(0 1)、(2 0)、(0 2)八种渡河的可能（其中(x y)表示x个传教士和y个野人上船渡河），因此共有16个规则（从左岸到右岸、右岸到左岸各八个）。注意：这里没有(1 2)，因为该组合在船上的传教士人数少于野人人数。 规则集如下：

r1：IF (m, c, 1) THEN (m-3, c, 0)

，表示传教士在河左岸的人数。 ，表示野人在河左岸的认输。

，b=1，表示船在左岸，b=0，表示船在右岸。