人工智能作业答案

1、人工智能作业答案（2）第三章确定性推理什么是推理？它有哪些分类方法？P74所谓推理是指按照某种策略从已知事实出发去推出结论的过程。知识推理是指在计算机或智能机器中，在知识表达的基础上，利用形式化的知识模型，进行机器思维求解问题，实现状态转移的智能操作序列。根据知识表示方式分类：图搜索”方法、逻辑论证”方法；根据推理算法与推理步骤分类；根据启发式与非启发式分类；根据逻辑基础分类：演绎推理、归纳推理、默认（缺省）推理；根据知识的确定性分类：确定性推理、非确定性推理；根据推理过程的单调性分类：单调推理、非单调推理。推理中的冲突消解策略有哪些？P82冲突消解的基本思想是：对可用知识排序。具体地讲，包括

2、以下策略：a）特殊知识优先b）新鲜知识优先c）差异性大的知识优先d）领域特点优先e）上下文关系优先f）前提条件少者优先什么是置换？什么是合一？什么是最一般合一？P88-89置换：在谓词表达式中用置换项置换变量。合一：寻找项对变量的置换，以使表达式一致。最一般合一（mgu）:通过置换最少的变量以使表达式一致，这个置换就叫最一般合一。判断下列公式是否可以合一，若可合一，则求出其最一般合一。(1) P(a,b),P(x,y)a/x,b/y(2) P(f(x),b),P(y,z)f(x)，b/z(3) P(f(x),y),P(y,f(b)(4) P(f(y),y,x),P(x,f(a),f(b)f(y

3、)/x,f(a)/y,f(b)/x不可合一P(x,y),P(y,x)x/y,y/x不可合一把下列谓词公式化成子句集：&x)("y)(P(x,y)AQ(x,y)P(x,y),Q(z,w)(2) &x)(*y)(P(x,y)-Q(x,y)bP(x,y)VQ(x,y)(3) &x)(3y)(P(x,y)V(Q(x,y)-R(x,y)(#x)(my)(P(x,y)VbQ(x,y)VR(x,y)用x)(P(x,f(x)VnQ(x,f(x)VR(x,f(x)P(x,f(x)VnQ(x,f(x)VR(x,f(x)(4) &x)("y)日z)(P(x,y)一

4、Q(x,y)VR(x,z)(/x)(y)日z)(nP(x,y)VQ(x,y)VR(x,z)(Vx)(yy)(nP(x,y)VQ(x,y)VR(x,f(x,y)bP(x,y)VQ(x,y)VR(x,f(x,y)日x)(3y)&z)(mu)&v)(3w)(P(x,y,z,u,v,w)AQ(x,y,z,u,v,w)VnR(x,z,w)(/z)(/v)(P(a,b,z,f(z),v,g(z,v)VnR(a,z,g(z,v)AQ(a,b,z,f(z),v,g(z,v)VnR(a,z,g(z,v)P(a,b,z,f(z),v,g(z,v)VnR(a,z,g(z,v),Q(a,b,z,f亿)

5、，v,g(z,v)VnR(a,z,g(z,v)鲁宾逊归结原理的基本思想是什么？P99鲁宾逊归结原理的基本思想是：否定结论，加入前提子句集，应用归结原理，是否能导出空子句，若存在，证明否定结论错误，即原结论得证。设已知：(1)如果x是y的父亲，y是z的父亲，则x是z的祖父；(2)每个人都有一个父亲。试用归结演绎推理证明：对于某人u,一定存在一个人v,v是u的祖父。已知：(的)(的)(,z)(FATHER(x,y)AFATHER(y,z)-GRANDFATHER(x,z)用s(三。FATHER(f,s)证明：目标否定：(丫u)(mv)GRANDFATHER(v,u)化为子句集：GRANDFATHE

6、R(v,u)事实子句集：n(FATHER(x,y)AFATHER(y,z)VGRANDFATHER(x,z)FATHER(x,y)VnFATHER(y,z)VGRANDFATHER(x,z),FATHER(f(s),s)反演树证明：nGRANDFATHER（x,z）（v,u）nFATHER（x,y）VnFATHER（y,z）VGRANDFATHERv/x,u/znFATHER（v,y）VnFATHER（y,u）FATHER（f（s）,s）f（y）/v,y/snFATHER（y,u）FATHER（f（s）,s）f（s）/y,s/uNIL3.19题略A:赵钱至少一人B:钱孙至少一人C:孙李至少一人

7、无关D:赵孙至少一人无关E:钱李至少一人无关THIEF（赵）VTHIEF（钱）VnTHIEF（孙）VnTHIEF（赵）VnTHIEF（钱）VTHIEF（钱）THIEF（孙）nTHIEF（李）nTHIEF（孙）nTHIEF（李）nTHIEF（赵）VTHIEF（钱）THIEF（孙）nTHIEF（钱）VnTHIEF（李）THIEF（钱）nTHIEF（李）COUPLESZhou,COUPLESZhou,COUPLESZhou,COUPLESZhou,Chen)wuVWan。Shun)COUPLESLi,COUPLESLi,COUPLESLi,Chen)VnCOUPLESLi,Chen)矛盾wu不确定W

8、ang不确定COUPLESXu,COUPLESXu,COUPLESXu,Chen)wuvVnCOUPLESXu,Chen)矛盾nCOUPLESXu,W。矛盾Wan。不确定3.20题略nCOUPLESZhou,Wan。nCOUPLESZhou,Qian)nCOUPLESLi,Chen)nCOUPLESXu,Chen)、nCOUPLESZhou,Chen)、nCOUPLESWuChen)、nCOUPLESXu,WU、nCOUPLESZhou,W。、nCOUPLESZhou,Xu)、WOMANLi)、WOMANXu)、WOMANZhou)、WOMANQian)MAN(Chen)、MAN(Wu、MAN

9、(Wan。、MAN(Shun)VnCOUPLESZhou,Chen)矛盾nCOUPLESZhou,Wu矛盾VnCOUPLESZhou,Wan。矛盾COUPLESQian,Chen)3.22设有子句集：P(x)VQ(x,b),P(a)VnQ(a,b),nQ(a,f(a),iP(x)VQ(x,x)分别用各种归结策略求出其归结式。实际上无论采用哪种策略都是如此：(作者选其为此类习题不适合)3.23设已知：(1)能阅读的人(动物)是识字的；(2)海豚不识字；(3)有些海豚是聪明的。分别用线性输入策略，祖先过滤策略证明：有些很聪明的人(动物)不识字。x)(CANREAD(HAITUN(y)z)(HAIT

10、UN(z)(x)-SHIZHI(x)fnSHIZHI(y)ACLEVER(z)CANREAD(x)V(a)CLEVER(u)线性输入策略VSHIZHI(u)nHAITUN(y)VnSHIZHI(y)HAITUNa)CLEVER(a)nCLEVER(u)VSHIZHI(u)nSHIZHI(a)LEVERSHIZHI(a)nCLEVER(a)LEVER(a)nHAITUN(a)NILNILNIL目标否定:n(乎)(CLEVER(u)AnSHIZHI(u)(¥u)(CLEVER(u)ASHIZHI(u)u)(nCLEVER(u)VSHIZHI(u)子句集：SHIZHI(x),HAITUN(y)VnSHIZHI(y),HAITUN(a),CLEVERnCANREAD(x)VSHIZHI(x)祖先过滤策略nHAITUN(y)VnSHIZHI(y)NIL3.27设已知事实为(PVQ)AR)V(SA(TVU)F规则为S一(XAY)VZ试用正向演绎推理推出所有可能的目标子句。UPVQVXVZPVQVYVZPVQVTVURVXVZRVYVZRVTVU3.28事实：GAO(Zhang)、GAO(Wang)、GAO(Li)R1:nHUA(x1)一DENG(x1)R3:DENG(x4)一1LIKE(x4,雨)R4:nLIK