人工智能第2章74.pptVIP

例：求F={ P(a , x , f(g(y))), P(z , h(z , u) , f(u))}的最一般的合一者。 解：我们根据合一算法一步一步地求出mgu。 第六十三页，共七十五页。 第一步：k = 0, F0= F, σ0=ε F0的分歧集合D0={a , z} 置换：{a/z} σ1 =σ0{a/z} = {a/z} F1 = F0 {a/z} = { P(a , x , f(g(y))), P(a , h(a , u) , f(u))} k=1 F1 不是单一表达式 F={P(a,x,f(g(y)))， P(z,h(z,u),f(u))}} 第六十四页，共七十五页。 第二步：D1＝{x , h(a,u)} 置换：{h(a , u)/x} σ2＝σ1{h(a , u)/x}={a/z , h(a , u)/x} F2=F1{h(a , u)/x}