人工智能第三章归结推理方法.ppt

第三章 归结推理方法;归结 推理;第三章 归结推理方法;概述;第三章 归结推理方法;定义 能够分辨真假的语句称作命题。 定义 一个语句如果不能再进一步分解成更简单的语句，并且又是一个命题，则称此命题为原子命题。 原子命题是命题中最基本的单位。我们一般用P、Q、R、…大写拉丁字母表示命题，而命题的真与假分别用“T”与“F”表示。 用大写英文字母表示的命题既可以是一个特定的命题，也可以是一个抽象的命题。前者称为命题常量，后者称为命题变量。对于命题变量而言，只有把确定的命题代入后，它才可能有明确的逻辑值（T或F）。 ;3.1.1 命题;3.1.2 命题公式;命题表示公式（1）;命题表示公式（2）;命题公式的解释p79;公式逻辑真值表;求下列公式的真值表，并求成真赋值和成假赋值: ┐p∧q）→┐r;命题逻辑基础;命题逻辑基础;;;例3.2：求的（（Ｐ∨Ｑ）→Ｒ）→Ｐ合取范式 解： （（Ｐ∨Ｑ）→Ｒ）→Ｐ 　　　＝ （～（Ｐ∨Ｑ）∨Ｒ）→Ｐ 　　　＝ ～ （～（Ｐ∨Ｑ）∨Ｒ）∨Ｐ 　　　＝ （（Ｐ∨Ｑ）∧～Ｒ）∨Ｐ 　　　＝（Ｐ∨Ｑ∨Ｐ）∧（～Ｒ∨Ｐ） 　　　 ＝（Ｐ∨Ｑ）∧（～Ｒ∨Ｐ）;命题证明方法1 （自然演绎推理） ---P83;常用的推理规则：　（１）前提引入规则　（２）结论引入规则　（３）置换规则：等价的可以置换;请用如下前提推出结论。前提：如果马会飞或者羊吃草，则母鸡就会是飞鸟；如果母鸡是飞鸟，那么烤熟的鸭子还会跑；烤熟的鸭子不会跑。结论：羊不吃草。;什么叫归结;命题证明方法2--命题逻辑的归结反演法;例：前提： p→（~（r∧s）→q)， p， ~s 　　要证的结论： q 　　证明： ① p→（~（r∨s）→q) ② p　　　前提引入 　　　　　 ③ ~（r∨s）→q 　　　　　 假言推理 　　　　　 ④ ~q 　 引入否定结论 ⑤ （r∧s） 　　 拒取式 　　　　　 ⑥～ s　　　　　　 前提引入 　　　　　 ⑦ s　　　　　　 简化⑤ ⑧～ s ∧s ⑥ ⑦合取 永假矛盾。;命题逻辑的归结法;归结式 设C1, C2是子句集中的两个子句，如果C1中的文字L1与 C2中文字L2互补，则可以从C1和 C2中分别消去文字L1 和文字L2，并将中余下的部分按析取关系构成一个新 子句C12，这个过程就叫归结。 如子句：C1=P∨Q, C2=~P∨W ， 归结式： C12 = W∨Q ? 性质：归结式 C12 是亲本子句C1和 C2逻辑结论。 C1ΛC2 → C12 ，注意：反之不一定成立。 ;命题逻辑的归结法;命题逻辑归结例题（1）;命题逻辑归结例题（2）;;第三章 归结推理方法;第三章 归结推理方法;3.2 谓词逻辑基础;谓词归结原理基础;谓词归结原理基础;谓词归结原理基础;3.2.2一阶谓词逻辑;;约束变元与自由变元;;替换规则：对某个自由变量用与原公式中所有个体变量 符号不同的变量去替代，且处处替代。 ?xP(x,y)∧R(x,y)替换?xP(x,z)∧R(x,z) 2.谓词公式的解释 对谓词公式的各变量常量去替代，就构成了一个谓词 公式的解释。 当存在解释能使谓词公式为真时，则称这个解释满足谓词公式。 这个解释就是这个谓词公式的模型。 两个谓词公式等价，当且仅当所有的解释下两个谓词公式的值是相同的。 永真式 不可满足式 归结原理就是对谓词公式的正确性证明转化为不可满足性证明。;;;;谓词公式的解释;例子;3.2.3谓词归结原理基础;谓词归结原理基础;量词扩展证明;量词分配定律。 ;前束范式的定义 p93;【例】 (?x)(?y)A(x, y) (?x)(?y)(?z)(A(x)?B(y, z)) A(x, y) 都是前束范式， 但 (?x)P(x)?(?x)Q(x) 不是前束范式。