4.5-小结及习题.pdfVIP

第4章确定性推理  4.1 推理的基本概念  4.2 推理的逻辑基础  4.3 自然演绎推理  4.4 归结演绎推理  4.5 小结与习题 4.5.1 小结—知识结构 推理的基本概念 推理的基本概念 推理的方式及其分类 推理的控制策略 谓词与个体 确 推理的逻辑基础 谓词的永真与可满足性 定 置换与合一 性 推 自然演绎推理的基本概念 理 自然演绎推理 推理规则 子句型 归结演绎推理 归结原理 归结反演与答案的提取 4.5.1 小结—知识点  推理的基本问题： 1、什么是推理？ 2、推理如何分类？ 3、推理的控制策略？ 什么是推理  推理：从一个或几个已知的判断（前提）逻 辑地推论出一个新的判断（结论）思维形式 称为推理。这是事物的客观联系在意识中的 反映。 已知判断：包括已掌握的与求解问题有关的知识 及关于问题的已知事实。 推理的结论：由已知判断推出新判断。  实现：推理由程序实现，称为推理机。 推理方式及其分类 1、演绎推理、归纳推理、默认推理 按判断推出的途径来划分，可分为演绎 推理、归结推理及默认推理 2 、单调推理、非单调推理 按推理过程中推出的结论是否单调地增 加，或推出的结论是否越来越接近目标，可 分为单调推理和非单调推理。 推理方式及其分类 3 、确定性推理、不确定性推理 在客观世界中存在大量不确定性问题。不确定 性来自人类的主观认识与客观实际之间存在差异。 事物发生的随机性、人类知识的不完全、不可靠、 不精确和不一致，自然语言中存在的模糊性和歧 义性都反映了这种差异，都会带来不确定性。 按推理时所用知识的确定性来划分，推理可 分为确定性推理、不确定性推理。 推理的控制策略  推理的控制策略 主要包括推理方向、搜索策略、冲 突消解策略、求解策略及限制策略等。 小结—知识点  自然演绎推理问题： 1、什么是自然演绎推理？ 2、自然演绎推理有哪些推理规则？ 3、避免产生两类错误。 自然演绎推理—基本概念、推理规则  定义：自然演绎推理是指从一组已知的事实出发， 直接运用命题逻辑或谓词逻辑中的推理规则推出 结论的过程。  推理规则：  P规则：在推理的任何步骤上都可引入前提，继 续进行推理。  T规则：推理时，如果前面步骤中有一个或多个 公式永真蕴涵公式S ，则可把S 引入推理过程中。 自然演绎推理—基本概念、推理规则  假言推理：假言推理的一般形式是： P，P→Q==》Q 它表示：由P→Q及P为真，可推出Q为真。  拒取式推理：拒取式推理的一般形是： P→Q，~Q==》~P 它表示：由P→Q为真及Q为假，可推出P为假。 自然演绎推理—两类错误 避免产生两类错误：  肯定后件(Q)的错误：当P→Q为真时,希望通过 肯定后件Q推出前件P为真,这是不允许的.  否定前件(P)的错