人工智能第三章确定性推理

1、人工智能第三章确定性推理确定性推理按照推理过程所用知识的确定性，推理可分为确定性 推理和不 确定性推理。自然演绎推理和归结推理是经典的确定性推理，它们 以数理逻辑的有关理论、方法和技术为理论基础，是机械 化的、可 在计算机上加以实现的推理方法。本章在讨论有关推理的一般概念以及命题和谓词逻辑的基础上， 介绍自然演绎推理方法和基于一阶谓词逻辑的归结推理方法。3.1推理概述3.1.1推理的基本概念推理是指从已知事实出发， 运用已掌握的知识，推导出其中蕴含的事实性结论或归纳出某些新 的结论的过程。其中，推理所用的事实可分为两种情况，一种是与 求解问题有关的初始证据；另一种是推理过程中所得到的中间结论，

2、 这些中间结论可以作为进一步推理的已知事实或证据。人工智能系 统的构成：推理机-一些程序来完成的；综合数据库-存放有用 于推理的事实或证据；知识库-存放有用于推理所必须的知识。3.1推理概述3.1.2推理的方法及其分类1.按照推理的逻辑基 础分类可分为演绎推理、归纳推理和默认推理。(1)演绎推理演绎 推理是从已知的一般性知识出发，推理出适合于某种个别情况的结 论的过程。它是一种由一般到个别的推理方法。3.1推理概述(2)归纳推理归纳推理是从大量特殊事例出发，归 纳出一般性结论 的推理过程，是一种由个别到一般的推理方法。其 基本思想是：首先从已知事实中猜测出一个结论，然后对这个结 论 的正确性加

3、以证明确认，数学归纳法就是归纳推理的一种典型例子。 归纳推理又可分为：从特殊事例考察范围看：完全归纳推理、不完 全归纳推理；从使用的方法看：枚举归纳推理、类比归纳推理。3.1推理概述(3)默认推理默认推理又称缺省推理，是在知识不 完全的情况下假 设某些条件已经具备所进行的推理。也就是说，在 进行推 理时，如果对某些证据不能证明其不成立的情况下，先假 设 它是成立的，并将它作为推理的依据进行推理，但在推 理过程中， 当由于新知识的加入或由于所推出的中间结论 与已有知识发生矛盾 时，就说明前面的有关证据的假设是 不正确，这时就要撤消原来的 假设以及由此假设所推出的所有结论，重新按新情况进行推理3.

4、1推理概述2.按所用知识的确定性分类 按推理时所用知识的 确定性来划分，推理可分为确定性推理、不确定性推理。3.按推理 过程的单调性按照推理过程中所推出的结论是否单调地增加，或者说按照推理 过程所得到的结论是否越来越接近最终目标来 分类，推理可分为单 调推理与非单调推理。3.1推理概述3.1.3推理的控制策略推理过程不仅依赖于所用的推 理方法，同时也依赖于 推理的控制策略。控制策略包括推理方向、 搜索策略、冲突消解策略等；而推理方法则是指在推理控制策略确 定之后，在进行具体推理时所要采取的匹配方法或不确定性传递算 法等方法。推理方向用来确定推理的驱动方式，即是数据（证据）驱 动或是目标驱动。所

5、谓数据驱动即指推理过程从初始证 据开始直到 目标结束，而目标驱动则是指推理过程从目标 开始进行反向推理， 直到出现与初始证据相吻合的结果。按照对推理方向的控制，推理 可分为正向推理、反向 推理、混合推理及双向推理四种情况。3.1推理概述正向推理是一种从已知事实出发、正向使用推理规 则的推理方式，它是一种数据（或证据）驱动的推理方式，又称前项 链推理或自底向上推理。反向推理是一种以某个假设目标为出发点， 反向运用推 理规则的推理方式，它是一种目标驱动的推理方式，又 称反向链推理或自顶向下推理。混合推理是把正向推理和反向推理 结合起来所进行的推 理。所谓双向混合推理是指正向推理和反向推 理同时进行

6、，使推理过程在中间的某一步骤相汇合而结束的一种推 理 方法。3.1推理概述3.1.4推理的冲突消解策略推理过程中的冲突消 解策略，就是确定如何从多条匹配规则中选出一条规则作为启用规 则，将它用于当前的推理。目前已有的多种冲突消解策略的基本思 想都是对匹配的知识或规则进行排序，以决定匹配规则的优先级别， 优先级高的规则将作为启用规则。常用排序方法有如下几种：3.1推理概述(1)按就近原则排序(2)按知识特殊性排序(3)按上下文限制排序(4)按知识的新鲜性 排序(5)按知识的差异性排序(6)按领域问题的特点排序(7)按规则的 次序排序(8)按前提条件的规模排序3.2命题逻辑3.2.1命题定义3.1

7、能够分辨真假的语句称作命题。 定义3.2 一个语句如果不能再进一步分解成更简单的语句，并且又是一个命 题，则称此命题为原子命题。原子命题是命题中最基本的单位。我 们一般用P、Q、R、大写拉丁字母表示命题，而命题的真与假分别 用“T”与“F”表示。用大写英文字母表示的命题既可以是一个特定的命 题，也可以是一个抽象的命题。前者称为命题常量，后者称为命题 变量。对于命题 变量而言，只有把确定的命题代入后，它才可能有 明确的逻辑值(T或F)。3.2命题逻辑表3.1命题逻辑真值表3.2.2命题公式1.连接词P Q:称为“非”或“否定”。PVQ PAQ PQ P T Q T T T T T T F T F

8、 F F V:称为“析取”。F T TF T F A:称为“合取”。F F F F T T :称为“条件”或者“蕴含”。：称 为“双条件”。P Q表示“P当且仅当Q”。P F F T T3.2命题逻辑2.命题公式定义3.3以下面的递归形式给出命题公式的定义： (1)原子命题是命题公式。(2)A是命题公式，则A也是命题公式。(3) 若A和B都是命题公式，则AAB、AVB、AB、A B (4)只有按(1)(3) 所得的公式才是命题公式。3.2命题逻辑命题公式的缺点：无法把所描述的客观事物的结构和逻辑特征 反映出来不能把不同事物的共同特征反映出来P:“张三是李四的老 师”;仅用字母P看不出张三和李四

9、之间的师生关系。为了克服命题 逻辑的局限性，引入了下面的谓词逻辑3.3谓词逻辑3.3.1谓词与个体在谓词逻辑中，将原子命题分解 为谓词与个体两部分。个体是指可以独立存在的物体，可以是抽象 的或具体的。谓词则是用于刻画个体的性质、状态或个体间的关系 的。例如：“李白是诗人”可表示为：poet(LiBai) poet称为谓词，用 以刻画“是诗人”;LiBai称为个体3.3谓词逻辑一个谓词可以与一个个体相关联，此种谓词称作一元谓词，它刻画了个体的性质。一个谓词也可以与多个个体 相关联，此种谓词称为多元谓词，它 刻画了个体间的“关系”。3.3谓词逻辑谓词的一般形式：P(x1,x2，,xn )其中P是谓

10、词， 而x1,x2，,xn是个体。谓词通常用大写字母表示，个体通常用小写 字母表示。项：在谓词中，个体可以是常量，也可以是变量，还可 以是一个函数。例如，“小刘的哥哥是个工人”,可以表 示为 worker(brother(Liu),其中brother(Liu)是一个函数。个体常数、变量 和函数统称为项。谓词的语义：由使用者根据需要人为地定义.3.3谓词逻辑谓词的元数：谓词中包含的个体数目称为谓词的元 数，例如P(x)是一元谓词，P(x,y)是二元谓词，而P(x1,x2，,xn )则是 n元谓词。谓词的阶数：在谓词P(x1,x2，,xn )中，若xi(i = 1,2，,n)都是个体 常量、变元或函数，则称它为一阶谓词。如果某个xi本身又是一个 一阶谓词，则称它为二阶谓词，依次类推。谓词和函数的区别：谓 词具有逻辑值“真”或“假”，而函数则是某个个体到另一个个体(按数学 上的概念是自变 量到因变量)之间的映射。3.3谓词逻辑3.3.2谓词公式1.连接词,V,A, 2.量词为 刻画谓词与个体间的关系，引入了两个量词：全称量词(x),和存在量 词(x)。3.谓词演算公式定义3.4谓词演算中，由单个谓词构成的 不含任何连接词的公式，叫做原子谓词公式。3.3谓词逻辑由原子公式的定义出发，可定义