AI3确定性推理1解答.ppt

* 3.2.5 置换与合一概念 在不同谓词公式中，往往会出现谓词名相同但其个体不同的情况，此时推理过程是不能直接进行匹配的，需要先进行置换。 例如，可根据全称固化推理和假言推理由谓词公式 W1(A) 和 (?x)(W1(x)→W2(x)) 推出W2(A)。对谓词W1(A)可看作是由全程固化推理（即(?x)(W1(x) ? W1(A))推出的，其中A是任一个体常量。要使用假言推理，首先需要找到项A对变元x的置换，使W1(A)与W1(x)一致。 这种寻找项对变元的置换，使谓词一致的过程叫做合一的过程。 下面讨论置换与合一的有关概念与方法。 * 3.2.5 置换与合一1. 置换(1/2) 置换可简单的理解为是在一个谓词公式中用置换项去替换变量。 定义3.9 置换是形如 {t1/x1,t2/x2,…,tn/xn} 的有限集合。其中，t1,t2,…,tn是项；x1,x2,…,xn是互不相同的变元；ti/xi表示用ti替换xi。并且要求ti与xi不能相同，xi不能循环地出现在另一个ti中。 例如， {a/x, c/y, f(b)/z} 是一个置换。 但{g(y)/x, f(x)/y}不是一个置换。原因是它在x与y之间出现了循环置换现象。即当用g(y)置换x,用f(g(y))置换y时，既没有消去x，也没有消去y。 若改为{g(a)/x, f(x)/y}即可，原因是用g(a)置换x ，用f(g(a))置换y ，则消去了x和y。 通常，置换是用希腊字母θ、σ、 α、 λ等来表示的。 定义3.10 设θ={t1/x1,t2/x2,…,tn/xn}是一个置换，F是一个谓词公式，把公式F中出现的所有xi换成ti(i=1,2,…,n)，得到一个新的公式G，称G为F在置换θ下的例示，记作G=Fθ。 一个谓词公式的任何例示都是该公式的逻辑结论。 * 3.2.5 置换与合一1. 置换(2/2) 定义3.11 设 θ={t1/x1,t2/x2,…,tn/xn} λ={ u1/y1, u2/y2, … , um/ym } 是两个置换。则θ与λ的合成也是一个置换，记作θ°λ。它是从集合 { t1λ/x1, t2λ/x2, … , tnλ/xn, u1/y1, u2/y2, … , um/ym } 中删去以下两种元素 ① 当tiλ=xi时，删去tiλ/xi (i=1, 2 ,…, n)； ② 当yj∈{ x1, x2 ,…, xn }时，删去uj/yj (j=1, 2 ,…, m) 最后剩下的元素所构成的集合。 例3.4 设θ={ f(y)/x, z/y }，λ={a/x, b/y ,y/z }，求θ与λ的合成。 解:先求出集合 {f(b/y)/x, (y/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满足定义中的条件①，需要删除；a/x和b/y满足定义中的条件②，也需要删除。最后得 θ°λ={f(b)/x, y/z} * 3.2.5 置换与合一2. 合一 合一可理解为是寻找项对变量的置换，使两个谓词公式一致。可定义为： 定义3.12 设有公式集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} 是它的一个合一。 一般来说，一个公式集的合一不是唯一的。 定义3.13 设σ是公式集F的一个合一，如果对F的任一个合一θ都存在一个置换λ，使得θ=σ°λ，则称σ是一个最一般合一。 一个公式集的最一般合一是唯一的。 对如何求取最一般合一的问题，不再讨论。 思考题 1.谓词公式的解释？ 2.谓词公式的可满足性？不满足性？ 3.谓词公式的前束范式？Skolem范式？ 4.什么是置换？什么是合一？ 5.判断下列公式是否为可合一，若可合一，则求出其最一般合一。 (1) P(a, b), P(x, y) (2) P(f(x), b), P(y, z)