第三章 经典逻辑推理(精品·公开课件).ppt

第3章 经典逻辑推理 掌握内容 3.1 基本概念 3.1.1 什么是推理 3.1.2 推理方式及其分类 演绎推理 在任何情况下，由演绎推导出的结论都是蕴涵在大前提的一般性知识中 只要大前提和小前提是正确的，则由它们推出的结论必然是正确的 归纳推理 默认推理 摆脱了需要知道全部事实才能进行推理的需求，使得在知识不完全的情况下也能进行推理 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.3 推理的控制策略 3.1.4 模式匹配 3.1.4 模式匹配 3.1.4 模式匹配 3.1.4 模式匹配 3.1.4 模式匹配 3.1.4 模式匹配 3.2 自然演绎推理 3.2.1 自然演绎推理的基本概念 3.2.1 自然演绎推理的基本概念 避免产生两类错误： 3.2.2 利用演绎推理解决问题 3.2.2 利用演绎推理解决问题 3.3 归结演绎推理 3.3.1 子句 3.3.1 子句 3.3.1 子句 3.3.1 子句 定理：设有谓词公式F，其标准形的子句集为S，则F不可满足的充要条件是S不可满足。 3.3.2 海明伦理论 3.3.2 海明伦理论 3.3.2 海明伦理论 3.3.2 海明伦理论 3.3.3 鲁宾逊归结原理 3.3.3 鲁宾逊归结原理 3.3.3 鲁宾逊归结原理 3.3.3 鲁宾逊归结原理 3.3.3 鲁宾逊归结原理 3.3.4 归结策略 3.3.4 归结策略 3.3.4 归结策略 3.3.5 使用归结原理证明问题 3.3.5 使用归结原理证明问题 3.3.5 使用归结原理证明问题 3.3.5 应用归结原理求取问题的答案 3.3.6 用归结原理求解问题 3.4 与/或形演绎推理 3.4.1 与/或形正向演绎推理 3.4.1 与/或形正向演绎推理 3.4.1 与/或形正向演绎推理 在与/或树中，每个节点表示相应事实表达式的一个子表达式，叶节点为谓词公式中的文字 对于用析取符号“ ”连接而成的表达式，用一个连接符把它们连接起来。 对于合取符号“ ”连接而成的表达式，无须用连接符连接 3.4.1 与/或形正向演绎推理 3.4.1 与/或形正向演绎推理 3.4.1 与/或形正向演绎推理 3.4.2 与/或形逆向演绎推理 3.4.2 与/或形逆向演绎推理 3.4.2 与/或形逆向演绎推理 3.4.3 与/或形双向演绎推理 与/或形双向演绎推理 由表示目标及表示已知事实的两个与/或树结构组成，这些与/或树分别由正向演绎的F规则及逆向演绎的B规则进行操作，并且仍然限制F规则为单文字的左部，B规则为单文字的右部。 3.4.4 代换的一致性及剪枝策略 3.4.4 代换的一致性及剪枝策略 Thank You! 与/或形逆向演绎推理 从待证明的问题(目标)出发，通过逆向地使用蕴含式(B规则)进行演绎推理，直到得到包含已知事实的终止条件为止 变换过程与正向演绎推理中的已知事实的变换相似 B规则的表示形式 B规则的表示形式为 ，其中，W为任一与/或形公式；L为文字 用与/或树把目标公式表示出来 用B规则的右部和与/或树的叶节点进行匹配，并将匹配成功的B规则加入到与/或树中 重复进行第 (2)步，直到产生某个终止在事实节点上的一致解图为止 推理过程 代换的一致性 设代换集合 中第i个代换 为 其中， 为项， 为变元，则代换集 是一致的充要条件是如下两个元组 可合一 例 设已知事实 （1）只要不怕困难的人，就会获得胜利。 （2）运动员都是不怕困难的人。 （3）王力是运动员。 求证：王力会获得胜利。 优点 缺点 定理证明过程自然，容易理解 拥有丰富的推理规则，推理过程灵活， 便于在它的推理规则中嵌入领域启发式知识 容易产生组合爆炸，推理过程中得到的中间结论一般呈指数形式递增 自然演绎推理的 优缺点 返回 文字 原子谓词公式及其否定统称为文字 子句 任何文字的析取式称为子句 空子句 不包含任何文字的子句称为空子句 空子句中不包含任何文字，不能被任何解释满足，所以空子句是永假的，不可满足的 消去存在量词