第四章： 经典逻辑推理

《第四章： 经典逻辑推理》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第四章：经典逻辑推理经典逻辑推理是根据经典逻辑的逻辑规则进行的一种推理，又称为机械-自动定理证明，主要的方法有：主要的推理方法有：自然演绎推理真归结演绎推理其值只有是一种精确推理与/或性推理假呛口小辣椒博客www.taobao6166.com4.1基本概念1什么是推理/理的基本概念(1)推理：按某种策略由已知判断推出另一种判断的思维过程(2)判断分为•已知判断•由已知判断推出新判断，推理的结论(3)在人工智能系统中，推理是由程序实现的，称为推理机。4.1推理概述4.1.2推理的方法及其分类1.按照推理的逻辑基础分类可分为演绎推理、归纳推

2、理和默认推理。（1）演绎推理演绎推理是从已知的一般性知识出发，推理出适合于某种个别情况的结论的过程。它是一种由一般到个别的推理方法。1.大前提：已知的一般性的知识或假设2.小前提：具体情况或个别事实的判断3.结论：由大前提推出适合于小前提所示情况的判断例如：所有的足球运动员的身体都是强壮的高波是一名足球运动员所以高波的身体是强壮的在任何情况下，由演绎推理推到出的结论都是蕴含在大前提的一般性知识之中的。3.1推理概述（2）归纳推理归纳推理是从足够的事例中归纳出一般性结论的推理过程，是一种由个别到一般的推理方法。其基本思想是：首先从已知事实

3、中猜测出一个结论，然后对这个结论的正确性加以证明确认，数学归纳法就是归纳推理的一种典型例子。归纳推理又可分为：从特殊事例考察范围看：完全归纳推理、不完全归纳推理；从使用的方法看：枚举归纳推理、类比归纳推理。归纳推理可以分为：1.完全归纳推理：是指在进行归纳时考察了事物的全部对象，并根据这些对象是否具有某些属性，从而推出这个事物是否具有这个属性。2.不完全归纳推理：只考察了相应事物的部分对象就得到了结论。例如：对某厂的每一个产品都进行严格检查，且都严格，则推到出改产生产的产品时合格的必然结论。我们也可以抽查，随机地抽查了部分产品，只要他们

4、都合格，我们就说该厂的产品是合格的。4.1推理概述（3）默认推理默认推理又称缺省推理，是在知识不完全的情况下假设某些条件已经具备所进行的推理。也就是说，在进行推理时，如果对某些证据不能证明其不成立的情况下，先假设它是成立的，并将它作为推理的依据进行推理，但在推理过程中，当由于新知识的加入或由于所推出的中间结论与已有知识发生矛盾时，就说明前面的有关证据的假设是不正确，这时就要撤消原来的假设以及由此假设所推出的所有结论，重新按新情况进行推理定理一：A,B,C不共线D是AB中点DE//AC求证：E是AC中点定理二：D是AB中点A,B,C可以共

5、线E是AC中点求证：DE//AC无法证明A，B，C共线，则默认A，B，C是不共线的4.1推理概述2.按所用知识的确定性分类按推理时所用知识的确定性来划分，推理可分为确定性推理、不确定性推理。1.推理时所用的知识都是精确的，推出的结论也是正确的，其真值或为真或为假。2.不确定性推理：推理时所用的知识不都是精确的，推出的结论也不完全是肯定的，其真值位于真与假之间，命题的外延模糊不清。3.按推理过程的单调性按照推理过程中所推出的结论是否单调地增加，或者说按照推理过程所得到的结论是否越来越接近最终目标来分类，推理可分为单调推理与非单调推理。1.

6、单调推理：在推理的过程中随着推理的向前推进以及新知识的加入，推出的结论呈单调增加的趋势，并且越来越接近最终目标，在推理的过程中不会出现反复情况。2.非单调推理：在推理过程中由于新知识的加入，不仅没有加强已推出的结论，反而否定了它，使得推理退回到前面的某一步，重新开始。多是在知识不完全的情况下发生。4.启发式推理、非启发式推理启发性知识是指与问题有关且能加快推理进程，求解问题最优解的知识。5.基于知识的推理，统计推理，直觉推理1.基于知识的推理：根据掌握的事实，通过运用知识进行推理，例如：医生诊断疾病2.统计推理：根据对某事物的数据统计进

7、行推理。例如:对农作物产量的统计，决定是否增产。3.直觉推理：根据常识进行的推理。例如：走路时重物落下，躲闪。4.1推理概述4.1.3推理的控制策略推理过程不仅依赖于所用的推理方法，同时也依赖于推理的控制策略。控制策略包括推理方向、搜索策略、冲突消解策略、求解策略、限制策略；而推理方法则是指在推理控制策略确定之后，在进行具体推理时所要采取的匹配方法或不确定性传递算法等方法。推理方向用来确定推理的驱动方式，即是数据（证据）驱动或是目标驱动。所谓数据驱动即指推理过程从初始证据开始直到目标结束，而目标驱动则是指推理过程从目标开始进行反向推理，

8、直到出现与初始证据相吻合的结果。按照对推理方向的控制，推理可分为正向推理、反向推理、混合推理及双向推理四种情况。�推理的驱动方式正向推理知识库逆向推理要求数据库状态库混合推理推理机双向推理�(1)正向推理：