归结演绎推理.ppt

第三章 确定性推理 智能系统的推理过程实际上是一种思维过程。推理可分为确定性推理与不确定性推理。 本章主要讨论确定性推理。 3.1 推理的基本概念 1.什么是推理 推理是按照某种策略从已知事实出发去推出结论的过程。 推理所用事实可分为两种： 与求解问题有关的初始证据。 推理过程中所得到的中间结论。 3.1 推理的基本概念 通常智能系统的推理过程是通过推理机来完成的。推理机就是用来实现推理的那些程序。 智能系统的推理包括两个基本问题： 推理的方法。 推理的控制策略。 3.1 推理的基本概念 2.推理方法及其分类 推理方法主要解决在推理过程中前提与结论之间的逻辑关系，以及在非精确性推理中不确定性的传递问题。 (1) 按推理的逻辑基础分类 演绎推理（一般到个别） 是从已知的一般性知识出发，去推出蕴涵在这些已知知识中的适合与某种个别情况的结论。其核心是三段论：假言推理、拒取式和假言三段论。 3.1 推理的基本概念 常用的三段论是由一个大前提、一个小前提和一个结论三部分组成。 其中: 大前提是已知的一般性知识或推理过程得到的判断； 小前提是关于某种具体情况或某个具体实例的判断； 结论是由大前提推出的，并且适合于小前提的判断。 3.1 推理的基本概念 例如： 摔跤运动员的身体都是强壮的； （大前提） 李名是一名摔跤运动员； （小前提） 所以，李名的身体是强壮的。 （结论） 3.1 推理的基本概念 归纳推理（个别到一般） 是从一类事物的大量特殊实例出发，去推出该类事物的一般性结论。 按所选事例的广泛性可分为完全归纳推理和不完全归纳推理。 按所选的方法可分为枚举归纳推理、类比归纳推理和差异归纳推理等。 默认推理 是在知识不完全的情况假设某些条件已经具备所进行的推理，也称为缺省推理。 3.1 推理的基本概念 (2) 按所用知识的确定性分类 分为确定性推理与不确定性推理。 确定性推理是指推理所使用的知识和推出的结论都是可以精确表示的，其值要么为真，要么为假。 不确定性推理是指推理所使用的知识不都是精确的，推出的结论也不完全是确定的，其值会位于真与假之间。 3.1 推理的基本概念 (3) 按推理过程的单调性 单调推理与非单调推理。 单调推理是指在推理过程中每当使用新的知识后，所得到的结论会愈来愈接近于目标，而不会出现反复情况。 非单调推理是指在推理过程中当某些新知识加入后，会否定原来推出的结论，使推理过程回到先前的某一步。 3.1 推理的基本概念 3.推理的控制策略及其分类 推理的控制策略是指如何使用领域知识使推理过程尽快达到目标的策略。 由于智能系统的推理过程一般表现为一种搜索过程，因此推理的控制策略分为: 推理策略：主要解决推理方向、冲突消解等问题。 搜索策略：主要解决推理路线、推理效果、推理效率等问题。 3.1 推理的基本概念 推理方向用来确定推理的控制方式，即推理过程是从初始证据开始到目标，还是从目标开始到初始证据。按照对推理方向的控制，推理又分为： 正向推理 逆向推理 混合推理 双向推理 无论哪一种推理方式，系统都需要有一个存放知识的知识库，一个存放初始证据及中间结果的综合数据库和一个用于推理的推理机。 3.1 推理的基本概念 4.正向推理（数据驱动推理、前向链推理） 是从已知事实出发、正向使用推理规则的推理方式。 正向推理算法描述： （1）把用户提供的初始证据放入综合数据库。 （2）检查综合数据库中是否包含了问题的解，若已包含，则求解结束，并成功退出；否则执行下一步。 （3）检查知识库中是否有可用知识，若有，形成当前可用知识集，执行下一步；否则转（5）。 3.1 推理的基本概念 (4）按照某种冲突消解策略，从当前可用知识集中选出一条知识进行推理，并将推出的新事实加入综合数据库中，然后转（2）。 （5）询问用户是否可以进一步补充新的事实，如若可以，则将补充的新事实加入综合数据库中，然后转（3）；否则表示无解，失败退出。 正向推理的优点：直观，允