4.4-归结演绎推理-2.pdfVIP

第4章确定性推理  4.1 推理的基本概念  4.2 推理的逻辑基础  4.3 自然演绎推理  4.4 归结演绎推理(2) 4.4 归结演绎推理  4.4.1 子句集及其化简  4.4.2 鲁滨逊归结原理  4.4.3 归结反演推理的归结策略  4.4.4 用归结反演求取问题的答案 4.4.2 鲁滨逊归结原理  首先注意以下两个关键问题：  第一，子句集中的子句之间是合取关系。因 此，子句集中只要有一个子句为不可满足，则整 个子句集就是不可满足的；  第二，空子句是不可满足的。因此，一个子 句集中如果包含有空子句，则此子句集就一定是 不可满足的。 4.4.2 鲁滨逊归结原理 1. 基本思想  鲁滨逊归结原理基本思想  首先把欲证明问题的结论否定，并加入子句集，得到一 个扩充的子句集S。然后设法检验子句集S是否含有空子句， 若含有空子句，则表明S是不可满足的；若不含有空子句， 则继续使用归结法，在子句集中选择合适的子句进行归结， 直至导出空子句或不能继续归结为止。  鲁滨逊归结原理包括  命题逻辑归结原理  谓词逻辑归结原理 4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（1/8）  (1) 归结式的定义及性质  定义4.15 若P是原子谓词公式，则称P与﹁P为互补文字。  定义4.16 设C 和C 是子句集中的任意两个子句，如果C 中的 1 2 1 文字L 与C 中的文字L 互补，那么可从C 和C 中分别消去L 和L ， 1 2 2 1 2 1 2 并将C 和C 中余下的部分按析取关系构成一个新的子句C ，则称 1 2 12 这一过程为归结，称C 为C 和C 的归结式，称C 和C 为C 的亲 12 1 2 1 2 12 本子句。  例4.7 设C =P ∨Q∨R，C = ﹁P ∨S，求C 和C 的归结式C 。 1 2 1 2 12  解：这里L =P，L = ﹁P，通过归结可以得到 1 2  C12= Q ∨R ∨S 4.4.2 鲁滨逊归结原理 2. 命题逻辑的归结（2/8）  (1) 归结式的定义及性质  定理4.3 归结式C 是亲本子句C 和C 的逻辑结论。 12 1 2  这个定理是归结原理中一个重要定理，由它可得到如下 两个推论：  推 论1：设C 和C 是子句集S中的两个子句，C 是C 1 2 12 1 和C 的的归结式，若用C 代替C 和C 后得到新的子句集 2