资源描述：
《人工智能_(马少平_朱小燕_著)_清华大学_课后答案.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第三章课后习题窗体顶端4、AO*算法中，第7步从S中选一个节点，要求其子孙不在S中出现，讨论应如何实现对S的控制使得能有效地选出这个节点。如下图所示，若E的耗散值发生变化时，所提出的对S的处理方法应能正确工作。错误！未找到引用源。5、如何修改AO*算法使之能处理出现回路的情况。如下图所示，若节点C的耗散值发生变化时，所修改的算法能正确处理这种情况。Error!Referencesourcenotfound.6、对3×3的一字棋，设用+1和-1分别表示两选手棋子的标记，用0表示空格，试给出一字棋产生式系统的描述。Error!Referencesourcenotfo
2、und.7、写一个α-β搜索的算法。Error!Referencesourcenotfound.8、用一个9维向量C来表示一字棋棋盘的格局，其分量根据相应格内的×，空或○的标记分别用+1，0，或-1来表示。试规定另一个9维向量W，使得点积C·W可作为MAX选手（棋子标记为×）估计非终端位置的一个有效的评价函数。用这个评价函数来完成几步极小-极大搜索，并分析该评价函数的效果。窗体底端第四章课后习题窗体顶端13、一个积木世界的状态由下列公式集描述： ONTABLE（A） CLEAR（E） ONTABLE（C） CLEAR（D） ON（D，C） HEAV
3、Y（D） ON（B，A） WOODEN（B） HEAVY（B） ON（E，B）绘出这些公式所描述的状态的草图。下列语句提供了有关这个积木世界的一般知识：每个大的蓝色积木块是在一个绿色积木块上。每个重的木制积木块是大的。所有顶上没有东西的积木块都是蓝色的。所有木制积木块是蓝色的。以具有单文字后项的蕴涵式的集合表示这些语句。绘出能求解"哪个积木块是在绿积木块上"这个问题的一致解图（用B规则）。窗体底端第五章课后习题1．将下面的公式化成子句集 ～(((P∨～Q)→R)→(P∧R))2．命题是数理逻辑中常用的公式，试使用归结法证明它们的正确性： a)P→
4、(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
5、,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的一个基例。答案部分第一章课后习题答案说明：由于人工智能的很多题目都
6、很灵活，以下解答仅供参考。1、对N＝5、k≤3时，求解传教士和野人问题的产生式系统各组成部分进行描述（给出综合数据库、规则集合的形式化描述，给出初始状态和目标条件的描述），并画出状态空间图。 答：1，综合数据库定义三元组：（m,c,b）其中：，表示传教士在河左岸的人数。 ，表示野人在河左岸的认输。 ，b=1，表示船在左岸，b=0，表示船在右岸。2，规则集规则集可以用两种方式表示，两种方法均可。第一种方法：按每次渡河的人数分别写出每一个规则，共(30)、(03)、(21)、(11)、(10)、(01)、(20)、(02)八种渡河的可能（其中(xy)表示x
7、个传教士和y个野人上船渡河），因此共有16个规则（从左岸到右岸、右岸到左岸各八个）。注意：这里没有(12)，因为该组合在船上的传教士人数少于野人人数。规则集如下：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)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
8、)r9：IF(m,c,0
