人工智能原理及应用第3章 确定性推理方法

3.1 推理概述
3.1.2 推理的方法
3．演绎推理与归纳推理的区别： 演绎推理是在已知领域内的一般性知识的前提下，通过演绎求
解一个具体问题或者证明一个结论的正确性。它所得出的结论实际 上早已蕴含在一般性知识的前提中，演绎推理只不过是将已有事实 揭露出来，因此它不能增殖新知识。
归纳推理所推出的结论是没有包含在前提内容中的。这种由个 别事物或现象推出一般性知识的过程，是增殖新知识的过程。 4．推理的其它分类：
推理所用的事实可分为两种情况，一种是与求解问题有关的初始 证据；另一种是推理过程中所得到的中间结论，这些中间结论可以 作为进一步推理的已知事实或证据。 例：①商品是用来交换的，所以，有些用来交换的是商品。 ②老虎是要吃人的，东北虎是老虎；所以，东北虎是要吃人的。
智能系统的推理包括两个方面的基本问题：一个方面是推理的方 法，另一个方面是推理的控制策略。
3.1.1 推理的概念 3.1.2 推理的方法 3.1.3 推理的控制策略 3.1.4 推理中的冲突
3.1 推理概述
3.1.1 推理的概念
所谓推理是指按照某种策略从已知事实出发去推出结论的过程。 知识推理是指在计算机或智能机器中，在知识表达的基础上，利用 形式化的知识模型，进行机器思维求解问题，实现状态转移的智能 操作序列。
演绎推理是一种由一般到个别的推理方法，其核心是三段论， 由一个大前提、一个小前提和一个结论这三部分组成的。其逻辑式
为： (A B) (B C) （A C）
大前提是已知的一般性知识或推理过程得到的判断； 小前提是关于某种具体情况或某个具体实例的判断； 结论是由大前提推出的，并且适合于小前提的判断。
3.1 推理概述
3.1.2 推理的方法
推理有很多种方法，根据知识表示方式分类分为“图搜索”方法 及“逻辑论证”方法；根据逻辑基础分类可分为演绎推理、归纳推理、 默认（缺省）推理；根据知识的确定性分类分为确定性推理与非确 定性推理；根据推理过程的单调性分类分为单调推理、非单调推理。 1．演绎推理：
3.1 推理概述
3.1.2 推理的方法
2．归纳推理 归纳推理的基本思想是：先从已知事实中猜测出一个结论，然
后对这个结论的正确性加以验证。例如常用的数学归纳法。 归纳推理的类型按照所选取的事例的广泛性可分为完全归纳推
理、不完全归纳推理。归纳推理按照推理所使用的方法可分为枚举 归纳推理、类比归纳推理、默认推理等。 （1）枚举归纳推理：是由已观察到的事物都有某属性，而没有观 察到相反的事例，从而推出某类事物都有某属性。 （2）类比归纳推理：指在两个或两类事物有许多属性都相同或相 似的基础上，推出它们在其它属性上也相同或相似的一种归纳推理。 （3）默认推理：称为缺省推理，它是在知识不完全的情况下假设 某些条件已经具备所进行的推理。
推理策略主要解决推理方向、求解策略、冲突消解策略等问题。 搜索策略主要解决推理线路、推理效果、推理效率等问题。 按照对推理方向的控制，推理可分为正向推理、反向推理、混 合推理及双向推理四种情况。一般都要求系统具有三个要素： 一个存放知识的知识库 一个存放初始事实和中间结果的数据库 一个用于推理的推理机
N
DB中有解吗？
成功退出
N
KB中有可用知识吗？
把用户补充的新事实加 入到DB中
Y
(5)。
Y
N
形成可用知识集
（4）按照某种冲突消解策略， N
Y
从当前可用知识集中选出一条 规则进行推理，并将推出的新
N
可用知识集空吗？
事实加入综合数据库种，然后
N
按照冲突消解策略从该知识集
3.1 推理概述
3.1.3 推理的控制策略
把初始证据放入DB
3.1.3.1 正向推理 正向推理是由已知事实出发， 正向使用推理规则向结论方向 的推理，算法步骤描述如下：
N
DB中有解吗？
成功退出
N
KB中有可用知识吗？
把用户补充的新事实加 入到DB中
Y
（1）把用户提供的初始证据 放入综合数据库；
（2）检查综合数据库中是否 包含了问题的解，若已包含， 则求解结束，并成功推出；否 则执行下一步；
3.1 推理概述
3.1.2 推理的方法
1．演绎推理： 例：有如下三个判断： ①计算机系的学生都会编程序；（一般性知识） ②程强是计算机系的一位学生；（具体情况） ③因此程强会编程序。（结论）
这是一个三段论推理。其中：“①计算机系的学生都会编程序” 是大前提，“②程强是计算机系的一位学生”是小前提，那么“③ 程强会编程序”是经演绎推出来的结论。其结论蕴含在大前提中， 这就是典型的演绎推理三段论。
人工智能原理及应用
AI & its Applications
第3章 确定性推理方法
二零一二年元月
确定性推理方法

知识是人工智能研究的一个核心问题，它包括两个方面：
知识表示和知识推理，即如何在人工智能中清晰地表示人类的
常识，并运用这些常识去进行符合人类行为的推理。

按照推理过程所用知识的确定性，推理可分为确定性推理
和不确定性推理。自然演绎推理和归结推理是经典的确定性推
理，它们以数理逻辑的有关理论、方法和技术为理论基础，是
机械化的、可在计算源自文库上加以实现的推理方法。
第3章 主要内容
3.1推理概述 3.2确定性推理的逻辑基础 3.3演绎推理方法 3.4归结推理方法 3.5归结过程中的控制策略
3.1 推理概述
Y
N
形成可用知识集
N Y
N
可用知识集空吗？
N
按照冲突消解策略从该知识集 中选出一条知识进行推理
用户可补充新事实吗？
N
失败退出
推出的是新事实吗？
Y
把新事实放入DB
3.1 推理概述
3.1.3 推理的控制策略
把初始证据放入DB
3.1.3.1 正向推理
（3）检查知识库中是否有可 用知识，若有，形成当前可用 知识集，执行下一步；否则转
（1）确定性推理与不确定推理 （2）单调推理与非单调推理 （3）启发式推理与非启发式推理
3.1 推理概述
3.1.3 推理的控制策略
推理的控制策略是指如何使用领域知识使推理过程尽快达到目 标的策略，主要是指推理方向的选择、推理时所用的搜索策略及冲 突解决策略等。推理的控制策略包括推理策略和搜索策略。