(人工智能)人工智能作业答案人工智能作业答案(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鲁宾逊归结原理的基本思想是:否定结论,加入前提子句集,应用归结原理,是否能导出空子句,若存于,证明否定结论错误,即原结论得证。