人工智能人工智能作业答案

1、（人工智能）人工智能作业答案20XX年XX月多年的企业咨询豉问经验.经过实战验证可以落地机行的卓越管理方案，值得您下载拥有人工智能作业答案（2）第三章确定性推理什么是推理？它有哪些分类方法？P74所谓推理是指按照某种策略从已知事实出发去推出结论的过程。知识推理是指于计算机或智能机器中，于知识表达的基础上，利用形式化的知识模型，进行机器思维求解问题，实现状态转移的智能操作序列。根据知识表示方式分类：“图搜索”方法、“逻辑论证”方法；根据推理算法和推理步骤分类；根据启发式和非启发式分类；根据逻辑基础分类：演绎推理、归纳推理、默认（缺省）推理；根据知识的确定性分类：确定性推理、非确定性推理；根据推理

2、过程的单调性分类：单调推理、非单调推理。推理中的冲突消解策略有哪些？P82冲突消解的基本思想是：对可用知识排序。具体地讲，包括以下策略：a）特殊知识优先b） 新鲜知识优先c）差异性大的知识优先d） 领域特点优先e） 上下文关系优先f） 前提条件少者优先什么是置换？什么是合壹？什么是最壹般合壹？P88-89置换：于谓词表达式中用置换项置换变量。合壹：寻找项对变量的置换，以使表达式壹致。最壹般合壹(mgu):通过置换最少的变量以使表达式壹致，这个置换就叫最壹般合壹。判断下列公式是否能够合壹，若可合壹，则求出其最壹般合壹。(1) P(a,b) , P(x,y)a/x , b/y(2) P(f(x),

3、b) , P(y,z)f(x) , b/z(3) P(f(x),y) , P(y,f(b)b/x , f(b)/y(4) P(f(y),y,x) , P(x,f(a),f(b)f(y)/x , f(a)/y , f(b)/x不可合壹(5) P(x,y) , P(y,x)x/y , y/x 不可合壹把下列谓词公式化成子句集：V(1) (x) (y) (P (x, y) AQ (x, y)P (x, y), Q (z, w) V(2) (x) (y)%P (x, y) - Q (x, y)P (x, y) VQ (x, y)3(3) (x) (y) (P (x,y) V (Q (x, y) - R

4、 (x, y)3(x) (y) (P (x, y) V bQ (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) 一 Q(x,y)VR(x, z)()(y)(z)(斗(x, y)VQ (x, y)VR(x,z)Y)(y)(n P (x,y)VQ(x, y)VR(x,f(x,y)P (x, y) VQ (x, y) VR (x, f(x,y) )/U、尹、/、/、¥、/ m、AC，、,(5) (x) (y) (z) Cu)

5、 (v) (w) (P (x, y, z, u , v, w) AQ (x, y, z, u, v, w) Vq R (x, z, w)(z) (v)Y(P(a, b, z, f亿)，v, g(z,v) ) VqR (a, z, g(z,v) ) AQ (a, b, z, f亿)，v, g(z,v) ) VqR (a, z, g(z,v)P (a, b , z, f(z), v, g(z,v) ) Vn R (a, z, g(z,v) ) ,Q (a, b , z, f(z) , v, g(z,v) ) Vn R (a, z, g(z,v) ) 鲁宾逊归结原理的基本思想是什么？P99鲁宾逊归结

6、原理的基本思想是：否定结论，加入前提子句集，应用归结原理，是否能导出空子句，若存于，证明否定结论错误，即原结论得证。设已知：(1 )如果x是y的父亲，y是z的父亲，则x是z的祖父；(2)每个人均有壹个父亲。试用归结演绎推理证明：对于某人u ,壹定存于壹个人 v , v是u的祖父。已知：(x) (y) (z) (Father (x, y) A FATHER (y, z) - GRANDFATHER (x, z)y(S) (f) FATHER (f, s)证明:目标否定：(U) n (v) GRANDFATHER (v, u)化为子句集：1GRANDFATHER (v, u)事实子句集：n ( F

7、ATHER (x, y) A FATHER (y, z) V GRANDFATHER (x, z)FATHER (x, y) Vn FATHER (y, z) V GRANDFATHER (x, z) , FATHER (f(s), s)反演树证明：n GRANDFATHER (v, u) n FATHER (x, y) Vn FATHER (y, z) VGRANDFATHER (x, z)v/x,u/zn FATHER (v, y) VnFATHER (y, u) FATHER (f (s), s)f(y)/v,y/sn FATHER (y, u) FATHER (f (s), s)f(s

8、)/y,s/uNIL3.19题略A:赵钱至少壹人 THIEF (赵)V THIEF (钱)B:钱孙至少壹人THIEF (钱)V THIEF (孙)C:孙李至少壹人无关1THIEF (孙)Vn THIEF (李)D:赵孙至少壹人无关1THIEF (赵)V THIEF (孙)E:钱李至少壹人无关1THIEF (钱)V THIEF (李)n THIEF (赵)Vn THIEF (孙)THIEF (赵)V THIEF (钱)n THIEF （孙）V THIEF （钱）THIEF （钱）V THIEF （孙）THIEF （钱）n THIEF （钱）Vn THIEF （李）THIEF （钱）n THIEF

9、 （李）3.20 题略n COUPLES (Zhou , Wang )n COUPLES (Zhou , Qian )n COUPLES ( Li, Chen )n COUPLES (Xu, Chen )、n COUPLES (Zhou , Chen )、n COUPLES (Wu , Chen )、nCOUPLES (Xu, Wu)、n COUPLES (Zhou , Wu )、n COUPLES (Zhou , Xu)、WOMAN ( Li) 、 WOMAN ( Xu) 、 WOMAN ( Zhou ) 、 WOMAN ( Qian )MAN ( Chen ) 、 MAN ( Wu ) 、

10、 MAN ( Wang ) 、 MAN ( Shun )COUPLES (Zhou , Chen ) Vn COUPLES (Zhou , Chen )矛盾COUPLES (Zhou , Wu ) Vn COUPLES (Zhou , Wu )矛盾COUPLES (Zhou , Wang ) VnCOUPLES (Zhou , Wang )矛盾COUPLES ( Zhou ， Shun )COUPLES (Li, Chen) VnCOUPLES (Li, Chen)矛盾COUPLES ( Li， Wu )不确定COUPLES ( Li， Wang )不确定COUPLES (Xu, Chen)

11、VnCOUPLES (Xu, Chen)矛盾COUPLES (Xu, Wu ) VnCOUPLES (Xu, Wu )矛盾COUPLES ( Xu， Wang )不确定COUPLES ( Qian ， Chen )3.22 设有子句集：P (x) VQ (x, b), P (a) VnQ (a, b), n Q (a, f (a), n P (x) VQ (x, x)分别用各种归结策略求出其归结式。实际上无论采用哪种策略均是如此：(作者选其为此类习题不适合)3.23 设已知：(1 ) 能阅读的人(动物)是识字的；(2) 海豚不识字；(3) 有些海豚是聪明的。分别用线性输入策略，祖先过滤策略证明

12、：有些很聪明的人(动物)不识字。事实：(X) (CANREAD (x) - SHIZHI (x)(y) (HAITUN (y) - n SHIZHI (y)三(z) (HAITUN (z) A CLEVER (z)目标否定：n (u) (CLEVER (u) "SHIZHI (u)(U) n (CLEVER (u) -SHIZHI (u)(4) (n CLEVER (u) VSHIZHI (u)子句集：CANREAD (x) VSHIZHI (x) , n HAITUN (y)VSHIZHI (y), HAITUN ( a) , CLEVER(a), n CLEVER (u) VSHIZHI (u)线性输入策略3.27 设已知事实为(PVQ) AR) V (SA (TVU)F 规贝U为 Sf (XAY) VZ试用正向演绎推理推出所有可能的目标子句。3.28事实：GAO (Zhang )、GAO (Wang )、GAO (Li)R1HUA (x1 ) -DENG (x1 )R3:DENG (x4) 一n LIKE (x4,雨)