人工智能作业答案（2）第三章确定性推理什么是推理？它有哪些分类方法？P74所谓推理是指按照某种策略从已知事实出发去推出结论的过程。知识推理是指在计算机或智能机器中，在知识表达的基础上，利用形式化的知识模型，进行机器思维求解问题，实现状态转移的智能操作序列。根据知识表示方式分类：“图搜索”方法、“逻辑论证”方法；根据推理算法与推理步骤分类；根据启发式与非启发式分类；根据逻辑基础分类：演绎推理、归纳推理、默认（缺省）推理；根据知识的确定性分类：确定性推理、非确定性推理；根据推理过程的单调性分类：单调推理、非单调推理。推理中的冲突消解策略有哪些？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),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｝不可合一把下列谓词公式化成子句集：（1）（x）（y）（P（x，y）∧Q（x，y））{P（x，y），Q（z，w）}（2）（x）（y）（P（x，y）→Q（x，y））｛┐P（x，y）∨Q（x，y）｝（3）（x）（y）（P（x，y）∨（Q（x，y）→R（x，y）））（x）（y）（P（x，y）∨（┐Q（x，y）∨R（x，y）））（x）（P（x，f(x)）∨┐Q（x，f(x)）∨R（x，f(x)））｛P（x，f(x)）∨┐Q（x，f(x)）∨R（x，f(x)）｝（4）（x）（y）（z）（P（x，y）→Q（x，y）∨R（x，z））（x）（y）（z）（┐P（x，y）∨Q（x，y）∨R（x，z））（x）（y）（┐P（x，y）∨Q（x，y）∨R（x，f(x,y)））｛┐P（x，y）∨Q（x，y）∨R（x，f(x,y)）｝（5）（x）（y）（z）（u）（v）（w）（P（x，y，z，u，v，w）∧Q（x，y，z，u，v，w）∨┐R（x，z，w））（z）（v）（P（a，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)））{P（a，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鲁宾逊归结原理的基本思想是：否定结论，加入前提子句集，应用归结原理，是否能导出空子句，若存在，证明否定结论错误，即原结论得证。设已知：（1）如果x是y的父亲，y是z的父亲，则x是z的祖父；（2）每个人都有一个父亲。试用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。已知：（x）（y）（z）（FATHER（x，y）∧FATHER（y，z）→GRANDFATHER（x，z））（s）（f）FATHER（f，s）证明：目标否定：（u）┐（v）GRANDFATHER（v，u）化为子句集：｛┐GRANDFATHER（v，u）｝事实子句集：┐（FATHER（x，y）∧FATHER（y，z））∨GRANDFATHER（x，z）｛┐FATHER（x，y）∨┐FATHER（y，z）∨GRANDFATHER（x，z），FATHER（f（s），s）｝反演树证明：┐GRANDFATHER（v，u）┐FATHER（x，y）∨┐FATHER（y，z）∨GRANDFATHER（x，z）{v/x,u/z}┐FATHER（v，y）∨┐FATHER（y，u）FATHER（f（s），s）{f(y)/v,y/s}┐FATHER（y，u）FATHER（f（s），s）{f(s)/y,s/u}NIL3.19题略A:赵钱至少一人THIEF（赵）∨THIEF（钱）B:钱孙至少一人THIEF（钱）∨THIEF（孙）C:孙李至少一人无关┐THIEF（孙）∨┐THIEF（李）D:赵孙至少一人无关┐THIEF（赵）∨┐THIEF（孙）E:钱李至少一人无关┐THIEF（钱）∨┐THIEF（李）┐THIEF（赵）∨┐THIEF（孙）THIEF（赵）∨THIEF（钱）┐THIEF（孙）∨THIEF（钱）THIEF（钱）∨THIEF（孙）THIEF（钱）┐THIEF（钱）∨┐THIEF（李）THIEF（钱）┐THIEF（李）┐P（x）∨Q（x，b）P（a）∨┐Q（a，b）┐Q（a，f（a））┐P...
