人工智能作业答案

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

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

3、，P(x,y)a/x，b/yP(f(xx),b)，P(yy,z)f(x)，b/zP(f(xx),y)，P(yy,f(bb)b/x，f(b)/yP(f(yy),y,x)，P(x,f(a),ff(b)f(y)/x，f(a)/y，f(b)/x不不可合一P(x,yy)，P(y,x)x/y，yy/x不不可合一把下列谓词词公式化成成子句集：（1）（ x）（ yy）（P（xx，y） Q（x，yy） P（xx，y）， Q（z，ww）（2）（ x）（ yy）（P（xx，y） Q（x，yy）P（xx，y）Q（x，yy）（3）（ x）（ yy）（P（xx，y）（Q（x，yy） R（x，yy）（ x）（ yy）（P（

4、xx，y）（Q（x，yy） R（x，yy）（ x）（PP（x，ff(x)） Q（x，f(x)） R（x，f(x)）P（x，ff(x)） Q（x，f(x)） R（x，f(x)）（4）（ x）（ yy）（ z）（PP（x，yy） Q（x，yy） R（x，zz）（ x）（ yy）（ z）（P（x，yy） Q（x，yy） R（x，zz）（ x）（ yy）（P（x，yy） Q（x，yy） R（x，ff(x,yy)）P（xx，y） Q（x，yy） R（x，ff(x,yy)）（5）（ x）（ yy）（ z）（ u）（ v）（ w）（PP（x，yy，z，u，v，w） Q（x，yy，z，u，v，w） R（x，z

5、z，w）（ z）（ v）（PP（a，bb，z，f(z)，v，g(z,v)） R（a，z，g(z,v)） Q（a，b，z，f(z)，v，g(z,v)） R（a，z，g(z,v)） P（aa，b，z，f(z)，v，g(z,v)） R（a，z，g(z,v)）, Q（a，b，z，f(z)，v，g(z,v)） R（a，z，g(z,v)）鲁宾逊归结结原理的基基本思想是是什么？P99鲁宾逊归结结原理的基基本思想是是：否定结论，加加入前提子子句集，应应用归结原原理，是否否能导出空空子句，若若存在，证证明否定结结论错误，即即原结论得得证。设已知：（11）如果xx是y的父父亲，y是是z的父亲亲，则x是是z的祖父父

6、；（2）每每个人都有有一个父亲亲。 试用用归结演绎绎推理证明明：对于某某人u，一一定存在一一个人v，vv是u的祖祖父。已知：（ x）（ y）（ z）（FFATHEER（x，yy） FATHHER（yy，z） GRANNDFATTHER（xx，z）（ s）（ f）FFATHEER（f，ss）证明：目标否定：（ uu）（ vv）GRAANDFAATHERR（v，uu）化为子句集集：GRANNDFATTHER（vv，u）事实子句集集：（FATTHER（xx，y） FATHHER（yy，z） GRANDFATHER（x，z）FATTHER（xx，y） FATHHER（yy，z） GRANNDFATTH

7、ER（xx，z）， FATHHER（ff（s），ss）反演树证明明：GRANNDFATTHER（vv，u） FATHHER（xx，y） FATHHER（yy，z） GRANNDFATTHER（xx，z） v/x,u/z FATHHER（vv，y） FATHHER（yy，u） FATHHER（ff（s），ss） ff(y)/v,y/s FATHHER（yy，u） FATTHER（ff（s），ss） f(s)/y,ss/u NNIL3.19题题略A:赵钱至至少一人 THHIEF（赵赵） THIEEF（钱）B:钱孙至至少一人 THHIEF（钱钱） THIEFF（孙）C:孙李至至少一人无无关 THIE

8、EF（孙） THIEEF（李）D:赵孙至至少一人无无关 THIEEF（赵） THIEEF（孙）E:钱李至至少一人无无关 THIEEF（钱） THIEEF（李）THIEEF（赵） THIEEF（孙） THIIEF（赵赵） THIEEF（钱） THIEEF（孙） THIEEF（钱） THHIEF（钱钱） THIEEF（孙） THIEEF（钱）THIEEF（钱） THIEEF（李） THIIEF（钱钱） THIEEF（李）3.20题题略COUPPLES（ZZhou，WWang）COUPPLES（ZZhou，QQian）COUPPLES（LLi，Chhen）COUPPLES（XXu，Chhen）、CO

9、UPPLES（ZZhou，CChen）、COUPPLES（WWu，Chhen）、COUPPLES（XXu，Wuu）、COUPPLES（ZZhou，WWu）、COUPPLES（ZZhou，XXu）、WOMANN（Li）、WOMAAN（Xuu）、WOOMAN（ZZhou）、WOMAAN（Qiian）MAN（CChen）、MAN（WWu）、MMAN（WWang）、MAN（SShun）COUPLLES（ZZhou，CChen） COUPLES（Zhou，Chen） 矛盾COUPLLES（ZZhou，WWu） COUPPLES（ZZhou，WWu） 矛矛盾COUPLLES（ZZhou，WWang） CO

10、UPLES（Zhou，Wang） 矛盾COUPLLES（ZZhou，SShun）COUPLLES（LLi，Chhen） COUPPLES（LLi，Chhen） 矛盾COUPLLES（LLi，Wuu） 不确确定COUPLLES（LLi，Waang） 不确定COUPLLES（XXu，Chhen） COUPPLES（XXu，Chhen） 矛盾COUPLLES（XXu，Wuu） COUPPLES（XXu，Wuu） 矛盾盾COUPLLES（XXu，Waang）不不确定COUPLLES（QQian，CChen）3.22设设有子句集集： P（xx） Q（x，bb），P（aa） Q（a，bb），Q（a，ff（

11、a），P（x） Q（x，x）分别用各种种归结策略略求出其归归结式。实际上无论论采用哪种种策略都是是如此：（作作者选其为为此类习题题不适合）P（x） Q（x，b）P（a） Q（a，b）Q（a，f（a）P（x） Q（x，x）NIL3.23设设已知：能阅读的人人（动物）是识识字的；海豚不识字字；有些海豚是是聪明的。分别用线性性输入策略略，祖先过过滤策略证证明：有些些很聪明的的人（动物物）不识字字。事实：（ x）（CCANREEAD（xx） SHIZZHI（xx）（ y）（HAITUN（y） SHIZHI（y）（ z）（HAITUN（z） CLEVER（z）目标否定：（ uu）（CLLEVERR（u）

12、 SHIZZHI（uu）（ u）（CLEVER（u） SHIZHI（u）（ u）（CLEVER（u） SHIZHI（u）子句集：CANREAD（x） SHIZHI（x）CANNREADD（x） SHIZZHI（xx），HAITTUN（yy） SHIZZHI（yy），HAAITUNN（a），CCLEVEER（a），CLEVVER（uu） SHIZZHI（uu）线性输入策策略HAITUN（y） SHIZHI（y）HAITUN（a）CLEVER（u） SHIZHI（u）SHIZHI（a）CLEVER（a）HAITUN（y） CLEVER（y）SHIZHI（a）CLEVER（a）NILCLEVER（a

13、）HAITUN（a）NILNIL祖先过滤策策略HAITUN（y） SHIZHI（y）HAITUN（a）CLEVER（u） SHIZHI（u）SHIZHI（a）CLEVER（a）CLEVER（a）NIL3.27设设已知事实实为（PPQ）R）（S（TU）F规则为SS（XY）Z试用正向演演绎推理推推出所有可可能的目标标子句。（PQ）R）（S（TU）（PQ）RS（TU）PQRSTUPQTUSXYZXYPQXXZPQYYZPQTTURXZZRYZZRTUU3.28事实：GAO（ZZhangg）、GAAO（Waang）、GAO（LLi）R1: HUA（x1） DENGG（x1）R3: DENGG（x4） LIKEE（x4，雨）R4: LIKEE（x5，雪） HUA（xx5）R5: LIKEE（Li，x6） LIKE（Wang，x6）R6: （LIKEE（Zhaang，xx7） LIKEE（Li，x7） LIKE（Zhang，x7） LIKE（Li，x7