归结式的注意事项: ・谓词的一致性,P()与Q(), 不可以归结 ・常量的一致性,P(a, …)与P(b,….), 不可以归结 ・变量,P(a, ….)与P(x, …), 可以通过置换归结 变量与函数,P(a, x, ….)与P(x, f(x), …),不可以归结; 但P(a, x, …)与P(x, f(y), …),可以通过对两式分别做{f(y)/x}置换和{a/x},再归结。 ・不能同时消去两个互补对,形如P∨Q与~P∨~Q得空,是不正确的 ・对子句集中的元素先进行内部简化(置换、合并) 例: 设C1=P(y)∨P(f(x))∨Q(g(x)),C2=~P(f(g(a)))∨Q(b),求C1和C2的归结式。 解: 对C1,取最一般合一σ={f(x)/y},得C1的因子 C1σ=P(f(x))∨Q(g(x)) 对C1的因子和C2进行归结,可得到C1和C2的归结式:Q(g(g(a)))∨Q(b) |