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

0，或-1来表示。试规定另一个9维向量W，使得点积C·W可作为MAX选手（棋子标记为×）估计非终端位置的一个有效的评价函数。用这个评价函数来完成几步极小-极大搜索，并分析该评价函数的效果。

第四章 课后习题

13、一个积木世界的状态由下列公式集描述： ONTABLE（A） CLEAR（E） ONTABLE（C） CLEAR（D） ON（D，C） HEAVY（D） ON（B，A） WOODEN（B） HEAVY（B） ON（E，B） 绘出这些公式所描述的状态的草图。

下列语句提供了有关这个积木世界的一般知识： 每个大的蓝色积木块是在一个绿色积木块上。 每个重的木制积木块是大的。

所有顶上没有东西的积木块都是蓝色的。 所有木制积木块是蓝色的。

以具有单文字后项的蕴涵式的集合表示这些语句。绘出能求解"哪个积木块是在绿积木块上"这个问题的一致解图（用B规则）。

第五章 课后习题

1．将下面的公式化成子句集

～( (( P ∨ ～Q) → R) → (P ∧ R))

2．命题是数理逻辑中常用的公式，试使用归结法证明它们的正确性： a) P → ( Q → P )

b) ( P → ( Q → R )) → ((P → Q) → ( P → R)) c) ( Q → ～ P) → ((Q → P) → ～ Q)

3． 下列子句是否可以合一，如果可以，写出最一般合一置换 a) P(x, B, B) 和 P(A, y, z)

b) P( g( f (v)) , g(u) ) 和 P(x , x) c) P( x , f(x) ) 和 P(y, y) d) P(y, y , B) 和 P( z, x , z)