吉林大学研究生人工智能t演示文档.pptVIP

. . * * 广义归结在广义子句集上完备。 广义锁、广义线性、广义语义归结加一定条件完备。 1995，刘叙华，欧阳丹彤，广义Horn集；广义Horn集上广义输入归结与广义输入对称调解完备；一定条件下，广义Horn集上广义输入归结与广义输入有向调解完备； 软件学报 . * * 归结式 定义 子句C1, C2的一个归结式是下列二元归结式之一： C1和C2的二元归结式。 C1和C2的因子的二元归结式。 C1的因子和C2的二元归结式。 C1的因子和C2的因子的二元归结式。 例. 设 C1=P(x) ?P(f(y)) ?R(g(y)) C2=～P(f(g(a))) ?Q(b) C1的因子C1’= P(f(y)) ?R(g(y))。于是C1’和C2的二元归结式，从而也是C1和C2的归结式为 R(g(g(a))) ?Q(b) . * * 一阶逻辑归结原理的完备性 提升引理 如果C1’和C2’分别是子句C1和C2的例，C’是C1’和C2’的归结式，则存在C1和C2的一个归结式C，使C’是C的例。 例 C1：P(x) ?Q(f(x)) C2： ～Q(y) ?R(y) C1’： P(a) ?Q(f(a)) C2’：～Q(f(a)) ?R(f(a)) C ’： P(a) ? R(f(a))