附加3 人工智能：推理技术.pptVIP

智能控制导论 附加三 推理技术 推理的基本概念： 所谓推理是指从已知事实出发，运用已掌握的知识，推 导出其中蕴含的事实性结论或归结出某些新的结论的过程。 其中，推理所用的事实可分为两种情况，一种是与求解问题 有关的初始证据；另一种是推理过程中所得到的中间结论， 这些中间结论可以作为进一步推理的已知事实或证据。 一般来说，人工智能系统中的智能推理过程是由一些程 序来完成的，这些程序在人工智能系统中称为推理机。除了 推理机以外，一个智能系统通常还包括综合数据库和知识 库，综合数据库中存放有用于推理的事实或证据，而知识库 中则存放有用于推理所必需的知识，当进行推理时，推理机 根据综合数据库中的已有事实，到知识库中去发现与之匹配 的知识，并从所有的匹配知识中选择一条适当的知识（称为 启用知识）进行推理，如果得到的是一些中间结论，还需要 把它们作为已知事实或证据放入综合数据库中，并继续寻找 可以匹配的知识，如此反复进行，直到推出最终结论为止。 这种推理过程实际上也就是一个问题求解过程。 1. 推理方法及其分类 按照推理的逻辑基础进行分类 演绎推理、归纳推理和默认推理 按所用知识的确定性分类 不确定性推理和不确切性推理 按推理过程的单调性分类 单调推理和非单调推理 （1）演绎推理 演绎推理是从已知的一般性知识出发，推理出适合于某 种个别情况的结论的过程。它是一种由一般到个别的推理方 法。 最常用的演绎推理形式是三段论，包括大前提、小前提和结 论三部分。 例如：音乐系的学生至少会弹奏一种乐器；（大前提） 李聪是音乐系的一名学生；（小前提） 李聪至少会弹奏一种乐器。（结论） （2）归纳推理 归纳推理是从大量特殊事例出发，归纳出一般性结论的 推理过程，是一种由个别到一般的推理方法。如果从归纳时 对所选择的特殊事例的考察范围来看，可把归纳推理分为完 全归纳推理和不完全归纳推理。如果从推理所使用的方法来 看，可把归纳推理分为枚举归纳推理、类比归纳推理等。 （3）默认推理（缺省推理）【属于非单调推理】 默认推理是指在知识不完全的情况下，默认某些条件已 经具备所进行的推理。在推理过程中，如果发现原先的默认 不正确，就撤销原来的默认条件以及由此默认条件所推出的 结论，重新按新情况进行推理。 （4）确定性推理 确定性推理是指推理所使用的证据、知识以及推出的结 论都是可以精确表示的，其真值要么为真，要么为假，不会 有第三种情况出现。 （5）不确定性推理 不确定性推理是指推理所使用的证据、知识不都是确定 的。推出的结论也不完全是确定的，其真值会位于真与假之 间。 （6）单调推理 单调推理是指在推理过程中，由于新知识的加入和使 用，使推理所得到的结论会越来越接近最终目标，而不会出 现反复情况，即不会由于新知识的加入否定了前面推出的结 论，从而使推理过程又退回到前面的某一步。 （7）非单调推理 非单调推理是指在推理过程中，当某些新知识的加入后 不但没有加强已经推出的结论，反而会否定原来已推出的结 论，使推理过程要退回到先前的某一步，重新进行推理。 2. 基于谓词逻辑的机器推理 基于谓词逻辑的机器推理也称自动推理。它是人工智能 早期的主要研究内容之一。一阶谓词逻辑是一种表达力很强 的形式语言，而且这种语言很适合当前的数字计算机。因而 就成为知识表示的首选。基于这种语言，不仅可以实现类似 于人推理的自然演绎法自动推理，而且也可实现不同于人的 归结（或称消解）法自动推理。 3. 归结演绎推理 归结演绎推理是基于一种称为归结原理(亦称消解原理 principle of resolution)的推理规则的推理方法。归结原 理是由鲁滨逊(J.A.Robinson)于1965年首先提出。它是谓词 逻辑中一个相当有效的机械化推理方法。归结原理的出现， 被认为是自动推理，特别是定理机器证明领域的重大突破。 4. 子句集 定义1 原子谓词公式及其否定称为文字，若干个文字 的一个析取式称为一个子句，由r个文字组成的子句叫r—文 字子句，1—文字子句叫单元子句，不含任何文字的子句称为 空子句，记为NIL。例如： P∨Q∨﹁R、P(x,y)∨﹁ Q(x) 定义2 对一个谓词公式G，通过以下步骤所得的子句集合S，称为G的子句集。 (1)消去蕴含词→和等值词←→。 (2)缩小否定词﹁的作用范围，直到其仅作用于原子公式。 (3)适当改名，使量词间不含同名指导变元和约束变元。 (4)消去存在量词。 (5)消去所有全称量词。 (6)化公式为合取