人工智能+试题+课件.pdfVIP

例： E1=’P ［a ，x，f(g(y)) ］’ E2=’P ［z ，h(z,u) ，f(u) ］’ 则： unify(E1,E2); Z1:=unify( P‘’,’P ’) Z2:= unify( ‘[a , … .] ’ , ’ [z, … ] ’) return {Z1 ·Z2} 取值分析 第 i 层次 F1 值 F2 值 Z1 值 F1 属性 F2 属性 1 P P 谓词符号 谓词符号 2 [ [ 方括号 方括号 3 a z {a/z} 常量符号 变量符号 4 ， ， 5 x h(a,u) {h(a,u)/x} 变量 函数符号 ( 参数 ) 6 , , 逗号 逗号 7 f f 函数符号 函数符号 8 ( ( 圆括号 圆括号 9 g(y) u {g(y)/u} 函数符号 ( 参数 ) 变量 10 ) ) 圆括号 圆括号 11 ] ] 方括号 方括号 归结 : 是一种可用于一定的子句公式的重要推理规则。 例 将下列谓词公式 （ x ）{P （x ）→ { （ y ）［P(y) → P(f(x,y)) ］∧～（ y ）［Q(x,y) → P （y ）］}} 按标准步骤化为子句集。 解： (1) ( x){ ～ P(x) ∨{( y) ［～P(y) ∨P(f(x,y)) ］∧～ ( y) ［～Q （x ，y ）∨ P （y ）］}} (2) ( x){ ～ P （x ）∨ {( y) ［～P(y) ∨P(f(x,y)) ］∧ （彐y ）{ ～［～ Q （x ，y ）∨ P （y ）］}}} ( x){ ～P （x ）∨ {( y) ［～P(y) ∨P(f(x,y)) ］∧（彐 y ）［Q （x ，y ）∧～ P （y ）］}} (3) ( x){ ～ P （x ）∨ {( y) ［～P(y) ∨P(f(x,y)) ］∧（彐 w）［Q （x ，w）∧～ P （w）］}} (4) ( x) { ～ P （x ）∨ {( y) ［～P(y) ∨P(f(x,y)) ］∧［ Q （x ，g （x ））∧～ P （g （x ））］}} 式中， g （x ）为一 Skolem 函数。 (5) ( x)( y){ ～ P （x ）∨{ ［～P(y) ∨P(f(x,y)) ］∧［ Q （x ，g （x ））∧～ P （g （x ））］}} (6) ( x)( y){ ［～P （x ）∨～ P （y ）∨ P （f （x ，y ））］∧［～ P （x ）∨Q （x ，g （x ））］∧［～ P （x ）∨～ P （g （x ））］} (7) { ［～P （x ）∨～ P （y ）∨ P （f （x ，y ））］∧［～ P （x ）∨Q （x ，g （x ））］∧ ［～P （x ）∨～ P （g （x ））］} (8) ～P （x ）∨～ P （y ）∨ P （f （x ，y ）） ～P （x ）∨ Q （x，g （x ）） ～P （x ）∨～ P （g （x ） (9) 更改变量名称，在上述第 (8) 步的三个子句中，我们分别以 x1 ，x2 和 x3 代替变量 x 。这种更改变量名称 的过程，有时称为变量分离标准化。于是，我们可以得到下列子句集： ～ P （