第三章经典逻辑推理概要.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 子句 3.3.1 子句 定理：设有谓词公式F，其标准形的子句集为S，则F不可满足的充要条件是S不可满足。 3.3.1 子句 例3.3.3 3.3.2 海明伦(Herbrand)理论 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! F规则的表示形式 要求F规则具有如下形式： 其中L为单文字，W为与/或形 把领域知识的表示形式变成规定形式的步骤 把“ ”移到紧靠谓词的位置上 引入Skolem函数消去存在量词 消去全称量词 A B C D 消去公式中的“ ” 恢复为蕴含式 E 用与/或树把已知事实表示出来 用F规则的左部和与/或树的叶节点进行匹配，并将匹配成功的F规则加入到与/或树中 重复第(2)步，直到产生一个含有以目标节点作为终止节点的解图为止 推理过程 例 已知事实：Fido要么会犬叫和咬人，要么Fido就不是狗。 已知规则：①所有Terrier都是狗；②所有会犬叫的东西都是吵人的。 求证：存在某个东西，它要么不是Terrier，要么会吵人。 与/或形逆向演绎推理 从待证明的问题(目标)出发，通过逆向地使用蕴含式(B规则)进行演绎推理，直到得到包含已知事实的终止条件为止 变换过程与正向演绎推理中的已知事实的变换相似 B规则的表示形式 B规则的表示形式为 ，其中，W为任一与/或形公式；L为文字 用与/或树把求解目标表示出来 用B规则的右部和与/或树的叶节点进行匹配，并将匹配成功的B规则加入到与/或树中 重复进行第 (2)步，直到产生某个终止在事实节点上的一致解图为止 推理过程 肯定后件(Q)的错误： 希望通