归结原理一部分Resolution.pptVIP

* 例2： 解：H={a,f(a),f(f(a)),…} A={P(a),Q(a),P(f(a)),Q(f(a)),…} N38 图 无限语义树 N0 N11 N12 N21 N22 N23 N24 N31 N32 N33 N34 N35 N36 N37 P(a) ~P(a) Q(a) ~Q(a) P(f(a)) * 完全语义树： 对所有结点N,（ ）,I(N)包含了A={A1,A2,…}中的 或~Ai，i=1,2,…,n。 失败结点： 如果结点N的I(N)使S的某一子句有某一基例为假，而N的父辈结点不能判断这个事实，就说N是失败结点。 封闭树： 如果S的完全语义树的每个分枝上都有一个失败结点，即为封闭树。 * 例2中的完全语义树即为封闭树。 图 封闭语义树 N0 N11 N12 N21 N22 N24 N31 N32 N4,13 N4,14 N36 P(a) ~P(a) Q(a) ~Q(a) P(f(a)) 如，I(N2,2)={P(a),~Q(a)},使得S中，~P(a) ∨Q(a)为假。 I(N3,6)={~P(a), Q(a) ,~P(f(a))},使得S中的P(f(a))为假。 …… I(N4,1)={P(a),~Q(a)},使得~Q(f(y))为假。 N38 N41 N42 N49 N4,10 *