人工智能第六章6.3—6.5.pptVIP

6.3 合一算法;;一、替换与最一般合一替换;替换;E的例;;替换的乘积 ;;;引理 若E是表达式，?，?是两个替换， 则E (? ??) = (E?)?;引理 设?，?，? 是三个替换， 于是(???)??＝??(???);;二、合一算法;W不可合一的三种情况;;步骤1：置 k=0, Wk=W, ?k=? 步骤2：若Wk只有一个元素，则停止，?k是W的最一般合一； 否则，找出Wk的差异集合。 步骤3：若Dk非奇异，Dk中存在元素vk和tk，其中vk是变量符号，并且 不出现在tk中，则转步骤4； 否则，算法停止，W是不可合一的。 步骤4：令 ?k+1=?k?{tk/vk}，Wk+1=Wk （注：Wk+1=W ） 步骤5：置 k=k+1，转步骤2。;例. 令 W={Q(f(a), g(x)), Q(y, y)}, 求W的mgu。;例 令 W= {P(a, x, f(g(y))), P(z, f(z), f(u))}， 求出W的mgu。;例.;定理 若W是关于表达式的有限非空可合一集合，则合一算法终将???束在步骤2，并且最后的?k是W的最一般合一。;;假设对0?k?n，?=?k??k成立 往证：存在?n+1，