人工智能第六章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，使得?=?n+1??n+1。 若W 只含有一个元素，则合一算法结束在步骤2。因为?=?n??n，且?n是W的合一，故?n是W的mgu。定理得证。 若W 不只含有一个元素,按照算法,将找出W的差异集合Dn。 因为?=?n??n是W的合一，所以W中表达式经替换?作用后都变成同一个相同的表达式。而W中表达式经?n作用后，产生了差异集合Dn，所以Dn必须被?n所统一，即?n是D n的合一。 ;;;6.4 一阶逻辑中的归结原理;;二元归结式;;归结式;一阶逻辑归结原理的完备性;一阶逻辑归结原理的完备性;6.5 归结原理的几种改进;一、支架集归结;二、语义归结;;三、线性归结;四、锁归结;五、广义归结;;