第三讲-知识推理总结.pptxVIP

知识推理 主 讲 人：韩璐 课前索引 【学习目标】 本章主要讨论命题逻辑和一元谓词逻辑的归结推理方法。同学需要在熟练掌握一般逻辑知识的基础上，学习Skolem标准形和Herbrand定理，从而对归结原理有一个比较透彻的了解。 【课前思考】　◇Herbrand定理和归结法之间的关系。　◇在命题逻辑中，归结法的逻辑基础是什么？　◇什么样的命题可以由归结法来证明？　◇谓词逻辑和命题逻辑的区别和联系是什么？　◇如何证明一个逻辑等式为真？　◇什么是合取范式和析取范式？　◇什么是子句集？　◇什么叫归结　◇什么叫归结策略 第三章 归结推理方法 课前索引 【主要内容】　　理解逻辑是人工智能的基本工具。认识归结方法是实现定理机器证明的一种方法，归结过程简单明了，而且归结法对于谓词逻辑描述的定理集来说是完备的。会用归结法证明定理。理解Herbrad定理给出了一阶逻辑的半可判定算法。 【知识点】　◇ 命题逻辑的归结　◇ 谓词逻辑的前束范式，约束变量换名规则　◇ Skolem标准形的定义，子句和子句集， Skolem定理及推广　◇ H域、H解释、语义树、 Herbrand定理　◇ 合一和置换，归结过程 第三章 归结推理方法 3.1 概述 什么是推理 所谓推理是指按照某种策略从已知事实出发去推出结论的过程。 推理所用的事实可分为两种情况：一种是与求解问题有关的初始证据，另一种是推理过程中所得到的中间结论。 智能系统的推理过程是通过推理机来完成的。推理机是智能系统中用来实现推理的那些程序。 智能系统的推理包括两个基本问题： 一个是推理的方法，另一个是推理的控制策略。 第三章 归结推理方法 3.1 概述 推理方法及其分类 推理方法主要解决在推理过程中前提与结论之间的逻辑关系，以及在非精确性推理中不确定性的传递问题。 1．按推理的逻辑基础分类 常用的推理方法可分为演绎推理、归纳推理和默认推理。 (1)演绎推理 是从已知的一般性知识出发，去推出蕴含在这些已知知识中的适合于某种个别情况的结论。它是一种由一般到个别的推理方法，其核心是三段论。 常用的三段论是由一个大前提、一个小前提和一个结论三部分组成的。 大前提是已知的一般性知识或推理过程得到的判断； 小前提是关于某种具体情况或某个具体实例的判断； 结论是由大前提推出的，并且适合于小前提的判断。 第三章 归结推理方法 3.1 概述 例如，有如下三个判断： ① 计算机系的学生都会编程序； ② 程强是计算机系的一位学生； ③ 程强会编程序。 这是一个三段论推理。其中，①是大前提，②是小前提；③是经演绎推出来的结论。 演绎推理就是从已知的大前提中推导出适应于小前提的结论，即从已知的一般性知识中抽取所包含的特殊性知识。由此可见，只要大前提和小前提是正确的，则由它们推出的结论也必然是正确的。 第三章 归结推理方法 3.1 概述 (2)归纳推理 从一类事物的大量特殊事例出发，去推出该类事物的一般性结论。它是一种由个别到一般的推理方法。 归纳推理的基本思想是：先从已知事实中猜测出一个结论，然后对这个结论的正确性加以证明确认，数学归纳法就是归纳推理的一种典型例子。 按照所选事例的广泛性可分为完全归纳推理和不完全归纳推理； 按照推理所使用的方法可分为枚举归纳推理、类比归纳推理、统计归纳推理和差异归纳推理等。 (3)默认推理 是在知识不完全的情况下假设某些条件已经具备所进行的推理，因此也称为缺省推理。 在推理过程中，如果发现原先的假设不正确，就撤消原来的假设以及由此假设所推出的所有结论，重新按新情况进行推理。 第三章 归结推理方法 3.1 概述 (4)演绎推理与归纳推理的区别 演绎推理是在已知领域内的一般性知识的前提下，通过演绎求解一个具体问题或者证明一个结论的正确性。它所得出的结论实际上早已蕴含在一般性知识的前提中，演绎推理只不过是将已有事实揭示出来，因此它不能增殖新知识。 归纳推理所推出的结论是没有包含在前提内容中的。这种由个别事物或现象推出一般性知识的过程，是增殖新知识的过程。 例如，一位计算机维修员，当他刚开始从事这项工作时，只有书本知识，而无实际经验。但当他经过一段时间的工作实践后，就会通过大量实例积累起来一些经验，这些经验就是由一个个实例归纳出来的一般性知识，采用的是归