华中科技大学人工智能第四章确定性推理1论述.ppt

第四章 确定性推理 4.1 确定性推理概述 推 理 推理是指按照某种策略从巳知事实出发去推出结论的过程 智能系统的推理过程实际上就是一种思维过程。 智能系统的推理过程是通过推理机来完成的。 推理机就是智能系统中用来实现推理的程序。 按照推理过程所用知识的确定性，推理可分为确定性推理和不确定性推理。 事 实 事实是推理过程中按知识表示方式表示的已知的知识 推理所用的事实可分为两种情况: 与求解问题有关的初始证据． 推理过程中所得到的中间结论。 推理的基本问题 智能系统的推理包括两个基本问题： 一个是推理的方法 一个是推理的控制策略 推理方法主要解决： 在推理过程中前提与结论之间的逻辑关系 在非精确性推理中不确定性的传递问题 推理方法的分类 推理可以有多种不同的分类方法 按照推理的逻辑基础分类： 演绎推理 归纳推理 默认推理 按照所用知识的确定性分类： 确定性推理 不确定性推理 按照推理过程的单调性分类（推理过程所得到的结论是否越来越接近目标）： 单调推理 非单调推理 演绎推理 从已知的一般性知识出发，去推出蕴含在这些已知知识中的适合于某种个别情况的结论。 它是一种由一般到个别的推理方法。 核心是三段论 归纳推理 从一类事物的大量特殊事例出发，去推出该类事物的一般性结论。 它是一种由个别到一般的推理方法。 基本思想： 先从已知事实中猜测出一个结论，然后对这个结论的正确性加