《人工智能导论-》-04推理-0....pptVIP

(?x)(?y)P(a,x,y)∨(?x)((?y)Q(y,b)∨R(x)) 第三步，变元易名，得 (?x)(?y)P(a,x,y) ∨(?u)(?v)(Q(v,b) ∨R(u)) 第四步，存在量词左移，直至所有的量词移到前面，得： (?x)(?y)(?u)(?v)P(a,x,y) ∨(Q(v,b)∨R(u)) 由此得到前束范式 (?x)(?y)(?u)(?v)P(a,x,y)∨(Q(v,b)∨R(u)) 第五步，消去“?”（存在量词），略去“?”全称量词 消去(?y)，因为它左边只有(?x)，所以使用x的函数f(x)代替之，这样得到： (?x)(?u)(?v)(P(a,x,f(x))∨Q(v, b)∨R(u)) 消去(?u)，同理使用g(x)代替之，这样得到： (?x)(?v)(P(a,x,f(x))∨Q(v,b)∨R(g(x))） 略去全称变量，原式的Skolem标准形为： P(a,x,f(x))∨Q(v,b)∨R(g(x)) 归结的注意事项： 谓词的一致性，P()与Q()，不可以归结 常量的一致性，P(a, …)与P(b,….)，不可以归结 变量，P(a,….)与P(x,…)，可以归结 变量与函数，P(x,….)与P(f