(经典逻辑推理).pptVIP

4.4 与/或形演绎推理 归结演绎推理要求把有关问题的知识及目标的否定都化成子句形式，然后通过归结进行演绎推理，其推理规则只有一条，即归结规则； 与/或形演绎推理不再把有关知识转化成子句集，而把领域知识及已知事实分别用蕴含式及与/或形表示出来，然后通过运用蕴含式进行演绎推理，从而证明某个目标公式。 与/或形演绎推理的特点 优点： 不必把公式化为子句集，保留了连接词“→”。这就可直观地表达出因果关系，比较自然。 缺点： 对正向演绎推理而言，目标表达式被限制为文字的析取式； 对逆向演绎推理，已知事实的表达式被限制为文字的合取式； 正、逆双向演绎推理虽然可以克服以上两个问题，但其“接头”的处理却比较困难。 完 谢谢 4.3.2 Herbrand理论 为了判断子句集的不可满足性，需要对所有可能论域上的所有解释进行判定。只有当子句集对任何非空个体域上的任何一个解释都是不可满足的，才可断定该子句集是不可满足的。 海伯伦构造了一个特殊的论域(海伯伦域)，并证明只要对这个特殊域上的一切解释进行判定，就可知子句集是否不可满足。 海伯伦域 定义4.7 设S为子句集，则按下述方法构造的域H∞称为海伯伦域，记为H域。 (1)令H0是S中所有个体常量的集合，若S中不包含个体常量，则令H0＝{a}，其中a为任意指定的一个个体常量。 (2)令Hi+1=Hi∪{S中所有n元函数f(x1,…,xn)|xj(j=1,…,n)是Hi中的元素}，其中i=0,1,2,…。 例4.3 求子句集S={P(x)∨Q(x),R(f(y))}的H域。 解：此例中没有个体常量，任意指定一个常量a作为个体常量，得到 H0={a} H1={a,f(a)} H2={a,f(a),f(f(a))} H3={a,f(a),f(f(a)),f(f(f(a)))} … H∞={a,f(a),f(f(a)),f(f(f(a))),…} 为研究子句集的永假性，引入H域上的原子谓词公式实例集A:　A={所有出现于S中原子谓词公式的实例} 若原子公式是命题（不包含变量），则其实例就是其本身； 若原子公式形如P(t1, t2,…, tm), ti是变量（i=1，2，…m）,则其实例通过让ti=ki∈H(即H∞)来形成（i=1，2，…，m）。例如，对于上述例4.3，有： 　A={P(a), Q(f(a)), Q(f(f(a))),…}　　 我们称A中的元素为基原子，进而A也称为基原子集。鉴于这些元素都是原子命题，只要给它们每个指派一个真值（T或F），就可建立子句集在H域上的一个解释，记为I*。就以基原子自身指示取真值T，前面加取反符号指示取真值F, 则对于上述第一例，有 I*1 ={ P(a), Q(f(a)), Q(f(f(a))),…} I*2 ={ P(a), ~Q(f(a)), Q(f(f(a))),…} … 一个子句集的基原子有无限多个，它在H域上的解释也有无限多个。 在H域上进行解释的意义 意义：对于S任意可能论域D上的任意一个解释I，总存 在H域上的一个解释I’与它对应，且子句集在这两个解 释下具有相同的真值。 定理4.2 子句集S不可满足的充要条件是S对H域上一切 解释都为假。 4.3.3 鲁滨逊归结原理 鲁滨逊归结原理的基本思想：检查子句集S中是否包含空子句。若包含，则S不可满足；若不包含，就在子句集中选择合适的子句进行归结，一旦通过归结能推出空子句，就说明子句集S是不可满足的。 子句集S的不可满足性：对于任意论域中的任意一个解释，S中的子句不能同时取得真值T。一旦S中包含空子句，则S必不可满足。 命题逻辑中的归结原理 定义4.9 若P是原子谓词公式，则称P与?P为互补文字。 在命题逻辑中，P为命题。 定义4.10 设C1与C2是子句集中的任意两个子句。如果C1中的文字L1与C2中文字L2互补，那么从C1和C2中分别消去L1和L2，并将两个子句中余下的部分析取，构成一个新子句C12，则称这一过程为归结。称C12为C1和C2的归结式，C1和C2为C12的亲本子句。 例4.9 设 C1=?P∨Q, C2=?Q∨R, C3=P C1与C2归结得到：C12=?P∨R C12与C3归结得到：C123=R 定理4.4 C12是其亲本子句C1与C2的逻辑结论。 证明：设 C1=L∨C`1, C2=?L∨C`2, 则C12=C`1∨C`2 推论1 设C1与C2是子句集S中的两个子句，C12是它们的归结式。若用C12代替C1和C2后得到新子句集S1，则由S1的不可满足性可推出原子句集S的不可满足性，即 S1的不可满足性＝S的不可满足性 推论2 设C1与C2是子句集S中的两个子句，C12是它们的归结式。若把