4.1-引言.ppt

第4章 自动推理 第4章 自动推理 4.1 引言 4.2 自然演绎推理 4.3 归结演绎推理 4.1 引 言 4.1.1 什么是推理 推理：从一个或几个已知的判断（前提）逻辑地推论出一个新的判断（结论）思维形式称为推理。这是事物的客观联系在意识中的反映。 已知判断：包括已掌握的与求解问题有关的知识及关于问题的已知事实。 推理的结论：由已知判断推出新判断。 实现：推理由程序实现，称为推理机。 4.1.1 什么是推理 理论意义：自动推理的理论与技术是程序推导、程序正确性证明、专家系统、智能机器人等研究领域的重要基础。 发展状况： 自动推理早期的工作主要集中在机器定理证明。 1930年希尔伯特（Herbrand）为定理证明建立了一种重要方法，奠定了机器定理证明的基础。 机器定理证明的主要突破是1965年由鲁宾逊做出的，他建立了所谓的归结原理。使机器定理证明达到了应用阶段。 后来又出现自然演绎法和等式重写式等。这些方法在某些方面优于归结法，但本质上都存在组合问题，都存在难解性的制约。 4.1.2 推理方式及其分类 1、演绎推理、归纳推理、默认推理 按判断推出的途径来划分，可分为演绎推理、归结推理及默认推理 （1）演绎推理 演绎推理是从全称判断推导出特称判断或单称判断的过程 演绎推理有多种形式，经常用的是三段论式 三段论式包括 大前提：已知的一般性知识或假设 小前提：关于所研究的具体情况或个别事实的判断 结论：由大前提推出的适合于小前提所示情况的新判断 4.1.2 推理方式及其分类 (2) 归纳推理 归纳推理是从足够多的事例中归纳出一般性结论的推理过程，是一种从个别到一般的推理。它分为完全归纳推理、不完全归纳推理。 完全归纳推理是在进行归纳时考察了相应事物的全部对象，并根据这些对象是否都具有某种属性，从而推出这个事物是否具有这个属性。 不完全归纳推理是指只考察了相应事物的部分对象就得出了结论。 4.1.2 推理方式及其分类 常用的有： 枚举归纳推理：若已知某类事物的有限可数个具体事物都具有某种属性，则可推出该类事物都具有此属性。 类比推理：在两个或两类事物有许多属性都相同或相似的基础上，推出它们在其他属性上也相同或相似的一种推理。 (3) 默认推理 又称缺省推理，它是在知识不完全的情况下假设某些条件已经具备所进行的推理 摆脱了需要知道全部事实才能进行推理的需求，使得在知识不完全的情况下也能进行推理 4.1.2 推理方式及其分类 2、单调推理、非单调推理 按推理过程中推出的结论是否单调地增加，或推出的结论是否越来越接近目标，可分为单调推理和非单调推理。 单调推理：在推理过程中随着推理的向前及新知识的加入，推出的结论是呈单调增加的趋势，并且越来越接近最终目标，在推理过程中不出现反复的情况，即不会由于新知识的加入否定了前面推出的结论，从而使推理又回到前面的某一步。 4.1.2 推理方式及其分类 2、单调推理、非单调推理 非单调推理：在推理过程中由于新知识的加入，不仅没有加强已推出的结论，反而要否定它，使得推理退回到前面的某一步，重新开始。非单调推理是在知识不完全的情况下发生的。由于知识不完全，为使推理进行下去，就要先做某些假设，并在此基础上进行推理，当以后由于新知识的加入发现原先的假设不正确的时候，就需要推翻该假设以及基于此假设而推出的一切结论，再用新的知识重新进行推理。 4.1.2 推理方式及其分类 3、确定性推理、不确定性推理 在客观世界中存在大量不确定性问题。不确定性来自人类的主观认识与客观实际之间存在差异。事物发生的随机性、人类知识的不完全、不可靠、不精确和不一致，自然语言中存在的模糊性和歧义性都反映了这种差异，都会带来不确定性。 按推理时所用知识的确定性来划分，推理可分为确定性推理、不确定性推理。 4.1.2 推理方式及其分类 3、确定性推理、不确定性推理 确定性推理：推理时所用的知识都是精确的，推出的结论也是确定的，其真值或者为真，或为假，没有第三种情况出现。 如在MYCIN中采用确定性方法是一种简单有效的方法，仅采用一些简单直观的证据合并规则，其缺点是缺乏良好的理论基础。 不确定性推理：推理时所用的知识不都是精确的，推出的结论也不完全是肯定的，真值位于真与假之间，命题的外延模糊不清。 4.1.2 推理方式及其分类 3、确定性推理、不确定性推理 概率论被广泛地用于处理随机性以及人类知识的不可