人工智能第三章确定性推理方法题库.ppt

按照推理过程所用知识的确定性，推理可分为确定性推理和不确定性推理。 自然演绎推理和归结推理是经典的确定性推理，它们以数理逻辑的有关理论、方法和技术为理论基础，是机械化的、可在计算机上加以实现的推理方法。 本章在讨论有关推理的一般概念以及命题和谓词逻辑的基础上，介绍自然演绎推理方法和基于一阶谓词逻辑的归结推理方法。 ;3.1 推理概述 ;3.1.2 推理的方法及其分类 1. 按照推理的逻辑基础分类 可分为演绎推理、归纳推理和默认推理。 （1）演绎推理 演绎推理是从已知的一般性知识出发，推理出适合于某种个别情况的结论的过程。它是一种由一般到个别的推理方法。;3.1 推理概述 ;（3）默认推理 默认推理又称缺省推理，是在知识不完全的情况下假设某些条件已经具备所进行的推理。也就是说，在进行推理时，如果对某些证据不能证明其不成立的情况下，先假设它是成立的，并将它作为推理的依据进行推理，但在推理过程中，当由于新知识的加入或由于所推出的中间结论与已有知识发生矛盾时，就说明前面的有关证据的假设是不正确，这时就要撤消原来的假设以及由此假设所推出的所有结论，重新按新情况进行推理;2. 按所用知识的确定性分类 按推理时所用知识的确定性来划分，推理可分为确定性推理、不确定性推理。 3. 按推理过程的单调性 按照推理过程中所推出的结论是否单调地增加，或者说按照推理过程所得到的结论是否越来越接近最终目标来分类，推理可分为单调推理与非单调推理。 ;3.1.3 推理的控制策略 推理过程不仅依赖于所用的推理方法，同时也依赖于推理的控制策略。控制策略包括推理方向、搜索策略、冲突消解策略等；而推理方法则是指在推理控制策略确定之后，在进行具体推理时所要采取的匹配方法或不确定性传递算法等方法。 推理方向用来确定推理的驱动方式，即是数据（证据）驱动或是目标驱动。所谓数据驱动即指推理过程从初始证据开始直到目标结束，而目标驱动则是指推理过程从目标开始进行反向推理，直到出现与初始证据相吻合的结果。 按照对推理方向的控制，推理可分为正向推理、反向推理、混合推理及双向推理四种情况。; 正向推理是一种从已知事实出发、正向使用推理规则的推理方式，它是一种数据（或证据）驱动的推理方式，又称前项链推理或自底向上推理。 反向推理是一种以某个假设目标为出发点，反向运用推理规则的推理方式，它是一种目标驱动的推理方式，又称反向链推理或自顶向下推理。 混合推理是把正向推理和反向推理结合起来所进行的推理。 所谓双向混合推理是指正向推理和反向推理同时进行，使推理过程在中间的某一步骤相汇合而结束的一种推理方法。 ;3.1.4 推理的冲突消解策略 推理过程中的冲突消解策略，就是确定如何从多条匹配规则中选出一条规则作为启用规则，将它用于当前的推理。 目前已有的多种冲突消解策略的基本思想都是对匹配的知识或规则进行排序，以决定匹配规则的优先级别，优先级高的规则将作为启用规则。 常用排序方法有如下几种:;按就近原则排序 按知识特殊性排序 按上下文限制排序 按知识的新鲜性排序 按知识的差异性排序 按领域问题的特点排序 按规则的次序排序 按前提条件的规模排序 ;3.2 命题逻辑;3.2.2 命题公式 1. 连接词 ～：称为“非”或“否定”。 ∨：称为“析取”。 ∧：称为“合取”。 →：称为“条件”或者“蕴含”。 ?：称为“双条件”。P ? Q表示“P当且仅当Q”。;2.命题公式 定义3.3 以下面的递归形式给出命题公式的定义： （1）原子命题是命题公式。 （2）A是命题公式，则～A也是命题公式。 （3）若A和B都是命题公式，则A∧B、A∨B、 A→B、A?B （4）只有按（1）—（3）所得的公式才是命题公式。 ;命题公式的缺点： 无法把所描述的客观事物的结构和逻辑特征反映出来 不能把不同事物的共同特征反映出来 P:“张三是李四的老师”；仅用字母P看不出张三和李四之间的师生关系。 为了克服命题逻辑的局限性，引入了下面的谓词逻辑;3.3 谓词逻辑;3.3 谓词逻辑;谓词的一般形式： P(x1,x2,…,xn ) 其中P是谓词，而x1,x2,…,xn是个体。谓词通常用大写字母表示，个体通常用小写字母表示。 项：在谓词中，个体可以是常量，也可以是变量，还可以是一个函数。例如，“小刘的哥哥是个工人”，可以表示为worker(brother(Liu))，其中brother(Liu)是一个函数。个体常数、变量和函数