人工智能第2章知识表示方法3-谓词逻辑).pptVIP

第一步：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} ={P(a , h(a , u) , f(g(y))), P(a , h(a , u) , f(u))} k=2 F={P(a,x,f(g(y)))， P