人工智能推理.pptVIP

替换与合一 定义６: 一个替换(Substitution)是形如{t1 / x1, t2 / x2 ,…,tn / xn }的有限集合，其中t1 , t2 ,…,tn 是项， x1, x2 ,…,xn是互不相同的个体变元。 ti / xi表示用ti代换xi 。 ti与xi不同，xi也不能出现在tj中(j=1,2,…,n)。 例 ｛a/x, c/y, f(b)/z}是一个替换，但{g(y)/x, f(x)/y}不是一个替换。(因置换的目的是将某些变元用另外的变元,函数或常量取代,使其不在公式中出现,上式中f(g(y))/y根本没消去y, 若改为{g(a)/x,f(x)/y}就是一个置换了. 替换与合一 定义７、设?＝{t1 / x1, t2 / x2 ,…,tn / xn }是一个替换，E是一个表达式（项、原子公式、文字、子句），把E中出现的所有个体变元xi都用ti 替换，得到的结果记为E? ，称为E在?下的替换实例。 例、若E=P(x,y,g(z)), ?＝{a / x, f(b) /y ,c /z }，则E?= P(a,f(b),g(c))。 替换与合一 定义８: 设?＝{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 。 ２）、 ui / yi ，当yi ? { x1, x2 ,…, xn } 。 得到的集合仍是一个替换，称为?与?的复合，记为???。 例、见教材p88例3.4。 替换与合一 定义9:设S= { F1, F2 ,…, Fn }是一个原子谓词公式集，若存在一个替换?，使得F1 ?＝ F2 ?＝…＝ Fn ?，则称?为S的一个合一（Unifier），并称S为可合一的。 注:一个公式集的合一一般不唯一。 定义10:设?是公式集S的一个合一，如果对S的任何一个合一?，都存在一个替换?，使得?＝ ???，则称?为S的一个最一般合一（Most General Unifier），简称MGU。 替换与合一 定义１１、设S是一个非空的具有相同谓词名的原子公式集，从S中各公式的左边第一个项开始，同时向右比较，每一组不都相同的项的差异部分组成的集合称为S的差异集。例、公式集S={P(a,x,f(g(y))),P(z,h(z,u),f(u))}的差异集为{a,z}, {x,h(z,u)}, {g(y),u} 设S为一非空有限具有相同谓词名的原子谓词公式集，求S的MGU的算法： （1）令k=0, Sk=S, ?k= ?（ ? 表示空替换）。 （2）若Sk只含有一个谓词公式，则算法停止， ?k就是要求的最一般合一。 （3）求Sk的差异集Dk 。 （4）若Dk中存在元素 xk 和 tk ，其中xk是变元， tk是项且xk不在tk中出现，则置Sk+1 = Sk{tk /xk} ， ?k+1 = ?k? {tk /xk} ，k=k+1，然后转步（2）。 （5）算法停止，S的最一般合一不存在。 替换与合一 定理3（合一定理）、如果S是一个非空有限可合一的公式集，则合一算法总是在步（2）停止，且最后的?k即是S的最一般合一。 例:P89例3.6 * * * 替换与合一