人工智能原理教案02章 归结推理方法2.2 命题逻辑的归结

2.2命题逻辑的归结

2.2.1命题逻辑基础

逻辑可分为经典逻辑和非经典逻辑，其中经典逻辑包括命题逻辑和谓词逻辑。归结原理是一种主要基于谓词（逻辑）知识表示的推理方法，而命题逻辑是谓词逻辑的基础。因此，在讨论谓词逻辑之前，先讨论命题逻辑的归结，便于内容上的理解。

本节中，将主要介绍命题逻辑的归结方法，以及有关的一些基础知识和重要概念，如数理逻辑基本公式变形、前束范式、子句集等。

描述事实、事物的状态、关系等性质的文字串，取值为真或假（表示是否成立）的句子称作命题。

命题：非真即假的简单陈述句

在命题逻辑里，单元命题是基本的单元或作为不可再分的原子。下面所列出的是一些基本的数理逻辑公理公式和一些有用的基本定义，如合取范式、子句集，这些公式和定义在归结法的推理过程中是必不可少的，也是归结法的基础，应该熟练掌握。

－数理逻辑的基本定义

下面所列的是一些数理逻辑中重要的定义，在后面的分

析中要用到：

·合取式：p与q，记做p∧q

·析取式：p或q，记做p∨q

·蕴含式：如果p则q，记做p→q

·等价式：p当且仅当q，记做p q

·若A无成假赋值，则称A为重言式或永真式；

·若A无成真赋值，则称A为矛盾式或永假式；

·若A至少有一个成真赋值，则称A为可满足的；

·析取范式：仅由有限个简单合取式组成的析取式

·合取范式：仅由有限个简单析取式组成的合取式

－数理逻辑的基本等值式

下面这些基本的等式在归结原理实施之前的公式转化过程中是非常重要的。只有将逻辑公式正确转换成为归结原理要求的范式，才能够保证归结的正常进行。

·交换律：p∨q q∨p；

p∧q q∧p

·结合律：(p∨q)∨r p∨(q∨r);

(p∧q)∧r p∧(q∧r)

·分配律：p∨(q∧r)(p∨q)∧(p∨r)；

p∧(q∨r)(p∧q)∨(p∧r)·双重否定律：p～～p

·等幂律：p p∨p；p p∧p

·摩根律:～(p∨q)～p∧～q；

～(p∧q)～p∨～q

·吸收律:p∨(p∧q)p；

p∧(p∨q)p

·同一律:p∨0p；

p∧1p

·零律：p∨11

p∧00

·排中律：p∨～p1

·矛盾律：p∧～p0

·蕴含等值式：p→q～p∨q

·等价等值式：p q(p→q)∧(q→p)

·假言易位式:p→q～p→～q

·等价否定等值式：p q～p～q

·归谬论：(p→q)∧(p→～q)～p

－合取范式

范式：范式是公式的标准形式，公式往往需要变换为同它等价的范式，以便对它们作一般性的处理。

合取范式：单元子句、单元子句的或（∨）的与（∧）。

如：P∧（P∨Q）∧（～P∨Q）

例：求取P∧(Q→R)→S的合取范式

解：P∧(Q→R)→S

=～（P∧(～Q∨R)）∨S

=～P∨～(～Q∨R)∨S

=～P∨(～～Q∧～R)∨S

=～P∨(Q∧～R)∨S

=～P∨S∨(Q∧～R)

=(～P∨S∨Q)∧(～P∨S∨～R)

注意：首先一定要将原有的命题公式整理、转换成为各个"或"语句的"与"，不然后续推导没有意义。转换是基于数理逻辑的基本等值公式进行的，"或"转换到"与"中。思路与代数学的提取公因式方法相似。

－子句集

命题公式的子句集S是合取范式形式下的子命题（元素）的集合。

子句集是合取范式中各个合取分量的集合，生成子句集的过程可以简单地理解为将命题公式的合取范式中的与符号"∧"，置换为逗号"，"。

上例转换的合取范式：(～P∨S∨Q)∧(～P∨S∨～R)其子句集为

S={～P∨S∨Q,～P∨S∨～R}

又如，有命题公式：P∧（P∨Q）∧（～P∨Q）

其子句集S：S={P,P∨Q,～P∨Q}

2.2.2命题逻辑的归结

归结法推理的核心是求两个子句的归结式，因此需要先讨论归结式的定义和性质。

归结式的定义

设C1和C2是子句集中的任意两个子句，如果C1中的文字L1与C2中的文字L2互补，那么可从C1和C2中分别消去L1和L2，并将C1和C2中余下的部分按析取关系构成一个新子句C12，则称这一个过程为归结，称C12为C1和C2的归结式，称C1和C2为C12的亲本子句。

例如：有子句：C1＝P∨C1'，

C2＝～P∨C2'

存在互补对P和～P，

则可得归结式：C12=C1'∨C2'

注意：C1ΛC2→C12，反之不一定成立。

下面证明归结式是原两子句的逻辑推论，或者说任一使C1、C2为真的解释I下必有归结式C12也为真。

证明：

设I是使C1，C2为真的任一解释，若I下的P为真，从而～P为假，必有I下C2'为真，故C12为真。若不然，在I 下P为假，从而I下C1'为真，故I下C12为真。于是C1∧C2为真。于是C1∧C2→R(C1,C2)成立。

反之不一定成立，因为存在一个使C1'∨C2'为真的解释I，不妨设C1'为真，C2'为假。若P为真，则～P∨C2'就为假了。因此反之不一定成立。由此可得归结式的性质。

归结式的性质：归结式C12是亲本子句C12和C12的逻辑结论。

命题逻辑的归结法证明过程

命题逻辑的归结过程也就是推理过程。推理是根据一定的准则由称为前提条件的一些判断导出称为结论的另一些判断的思维过程。命题逻辑的归结方法推理过程可以分为如下几个步骤：

1.建立待归结命题公式

首先根据反证法将所求证的问题转化成为命题公式，求证其是矛盾式（永假式）。

2求取合取范式

3建立子句集

4归结

归结法是在子句集S的基础上通过归结推理规则得到的，归结过程的最基本单元是得到归结式的过程。从子句集S出发，对S的子句间使用归结推理规则，并将所得归结式仍放入到S中（注意：此过程使得子句集不断扩大，是造成计算爆炸的根本原因），进而再对新子句集使用归结推理规