人工智能_(马少平_朱小燕_著)_清华大学_课后答案.docVIP

第三章 课后习题 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，综合数据库定义三元组：（m, c, b） 其中：，表示传教士在河左岸的人数。　　　，表示野人在河左岸的认输。　　　，b=1，表示船在左岸，b=0，表示船在右岸。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)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)