AI第2篇--归结推理.pptVIP

命题表示公式（3） 命题公式的解释 设A是一个命题公式，p1， p2，…，是出现在A中的全部命题变量，给它们各指定一个真值(0或1)，称为对A的一个赋值或解释。若赋值使A的真值为1，则称该赋值为A的成真赋值，若赋值使A的真值为0，则称该赋值为A的成假赋值。 置换的合成 设?＝{t1/x1, t2/x2, …, tn/xn}， ?＝{u1/y1, u2/y2, …, un/yn}，是两个置换。 则?与?的合成也是一个置换，记作?·?。 其作用相当于先?后?对公式E进行作用，定义如下： (1)先作置换{t1·?/x1, t2·?/x2, …, tn·?/xn, u1/y1, u2/y2, …, un/yn }； (2)删去以下两种元素： 当ti?=xi时，删去ti?/xi (i = 1, 2, …, n); 当yi?{x1,x2, …, xn}时，删去uj/yj (j = 1, 2, …, m) 最后剩下的元素所构成的集合称作?和?的合成。 置换的合成 例： 设：?＝{f(y)/x, z/y}，?＝{a/x, b/y, y/z}，求?与?的合成。 解：先求出集合 {f(y)·? /x, z. ? /y, a/x, b/y, y/z} ＝{f(b)/x, y/y, a/x, b/y, y/z} 其中，f(b)/x中的f(b)是置换?作用于f(y)的结果；y/y中的y是置换?作用于z的结果。在该集合中，y/y满足定义中的条件i，需要删除；a/x，b/y满足定义中的条件ii，也需要删除。最后得 ?·?＝{f(b)/x，y/z} 合一 合一可以简单地理解为“寻找相对变量的置换，使两个谓词公式一致”。 定义：设有公式集F＝{F1，F2，…，Fn}，若存在一个置换?，可使F1?＝F2?＝…= Fn?，则称?是F的一个合一。同时称F1，F2，... ，Fn是可合一的。 ?例： 设有公式集F＝{P(x, y, f(y)), P(a,g(x),z)}， 则?＝{a/x, g(a)/y, f(g(a))/z}是它的一个合一。 注意：一般说来，一个公式集的合一不是唯一的。 合一 最一般合一 设σ是谓词公式集F的一个合一，如果对F的任意一个合一?都存在一个置换?，使得? =σ·? ，则称σ是一个最一般(或最简单)合一，记为mgu。 最一般合一的求取方法 不一致集：对两个谓词公式中的项从左到右进行比较时，那些不相同的项所构成的集合。 例：有两个谓词公式E1=P(x,y,z)，E2=P(x,f(a),g(b))。 分别从E1和E2的第一个符号开始逐个向右比较，此时发现E1中的y和E2中的f(a)不同，则它们构成一个不一致集D1={y,f(a)}； 当继续向右比较时，又发现E1中的z和E2中的g(b)不同，则又得到一个不一致集D2={z, g(b)}； 合一 求公式{E1, E2}的最一般合一的方法 令W={E1,E2} 令k=0, W0=W, σ0=ε; ε是空置换，它表示不作置换； 如果Wk只有一个表达式，停止，输出σk=mgu;；否则，找出Wk的不一致集Dk 若Dk中存在元素xk和tk，其中xk是变元， tk是项，且xk不在tk中出现，则置σk+1= σk ·{tk/xk} ；Wk+1 = Wk· {tk/xk} k=k+1,转3) 合一 E1=P(a,x), E2=P(y,f(a))，求它们的最一般合一 解: (1) k=0, W0= σ0= D0= σ1= = = W1 = = k=k+1=1; (2) D1= σ2= = = ; W2 = = k=k+1=2; 停止，输出σ2=mgu {E1,E2} ε {a,y} σ0 ·{a/y} {a/y} ε ·{a/y} W0·{a/y} {P(a,x),P(a,f(a))} {x,f(a)} σ1·{f(a)/x} {a/y}·{f(a)/x} {a/y,f(a)/x} W1·{f(a)/x} {P(a,f(a)),P(a,f(a))} 推理理论 证：⑴　┐(┐P) P(附加前提) 　　⑵　P T,⑴,E //E1 　　⑶　P→Q P 　　⑷　Q T,⑵,⑶,I //I11 　　⑸　┐(Q∨R) P 　　⑹　┐Q∧┐R T