发布时间 : 星期二 文章人工智能 - （马少平 - 朱小燕 - 著） - 清华大学出版社 - 课后答案更新完毕开始阅读0824b92877232f60ddcca1c3
第三章 课后习题
4、AO*算法中，第7步从S中选一个节点，要求其子孙不在S中出现，讨论应如何实现对S的控制使得能有效地选出这个节点。如下图所示，若E的耗散值发生变化时，所提出的对S的处理方法应能正确工作。
错误！未找到引用源。
5、如何修改AO*算法使之能处理出现回路的情况。如下图所示，若节点C的耗散值发生变化时，所修改的算法能正确处理这种情况。
错误！未找到引用源。
6、对3×3的一字棋，设用+1和-1分别表示两选手棋子的标记，用0表示空格，试给出一字棋产生式系统的描述。
错误！未找到引用源。
7、写一个α-β搜索的算法。
错误！未找到引用源。
8、用一个9维向量C来表示一字棋棋盘的格局，其分量根据相应格内的×，空或○的标记分别用+1，
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)
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，表示船在右岸。
r2：IF (m, c, 1) THEN (m, c-3, 0) r3：IF (m, c, 1) THEN (m-2, c-1, 0) r4：IF (m, c, 1) THEN (m-1, c-1, 0) r5：IF (m, c, 1) THEN (m-1, c, 0) r6：IF (m, c, 1) THEN (m, c-1, 0) r7：IF (m, c, 1) THEN (m-2, c, 0) r8：IF (m, c, 1) THEN (m, c-2, 0) r9 ：IF (m, c, 0) THEN (m+3, c, 1) r10：IF (m, c, 0) THEN (m, c+3, 1) r11：IF (m, c, 0) THEN (m+2, c+1, 1) r12：IF (m, c, 0) THEN (m+1, c+1, 1) r13：IF (m, c, 0) THEN (m+1, c, 1) r14：IF (m, c, 0) THEN (m, c+1, 1) r15：IF (m, c, 0) THEN (m+2, c, 1) r16：IF (m, c, 0) THEN (m, c+2, 1)
第二种方法： 将规则集综合在一起，简化表示。规则集如下： r1：IF (m, c, 1) and 0< i+j〈=3 and (i>= j or i=0) THEN (m-i, c-j, 0) r2：IF (m, c, 0) and 0< i+j〈=3 and (i>= j or i=0) THEN (m+i, c+j, 1) 3，初始状态：(5, 5, 1) 4，结束状态：(0, 0, 0)
2、对量水问题给出产生式系统描述，并画出状态空间图。
有两个无刻度标志的水壶，分别可装5升和2升的水。设另有一水缸，可用来向水壶灌水或倒出水，两个水壶之间，水也可以相互倾灌。已知5升壶为满壶，2升壶为空壶，问如何通过倒水或灌水操作，使能在2升的壶中量出一升的水来。
答： 1，综合数据库 定义两元组：（L5, L2）
其中：0<=L5<=5，表示容量为5升的壶的当前水量。 0<=L2<=2，表示容量为2升的壶的当前水量。 2，规则集
r1：IF (L5, L2) THEN (5, L2) /* 将L5灌满水 */ r2：IF (L5, L2) THEN (L5, 2) /* 将L2灌满水 */ r3：IF (L5, L2) THEN (0, L2) /* 将L5水到光 */ r4：IF (L5, L2) THEN (L5, 0) /* 将L2水到光 */
r5：IF (L5, L2) and L5+L2<=5 THEN (L5+L2, 0) /* L2到入L5中 */ r6：IF (L5, L2) and L5+L2>5 THEN (5, L5+L2-5) /* L2到入L5中 */ r7：IF (L5, L2) and L5+L2<=2 THEN (0, L5+L2) /* L5到入L2中 */ r8：IF (L5, L2) and L5+L2>5 THEN (L5+L2-2, 2) /* L5到入L2中 */