人工智能导论(3)——确定性推理(Certainty Reasoning)

---

一、概述

确定性推理是人工智能经典三大基本技术（知识表示、推理、搜索策略）之一。
推理是人类求解问题的主要思维方法，智能系统的推理过程实际上是一个思维过程。

为方便记忆和回顾，根据个人学习，总结人工智能基础知识和思维导图形成系列。

二、重点内容

• 推理的概念
• 推理的分类，常用推理方式的特点
• 推理的方向
• 自然演绎推理基本规则
• 归纳演绎推理的基本步骤
• 归纳演绎推理中谓词公式的化简、谓词逻辑的归结，以及归结演绎推理的归结策略

三、思维导图

四、重点知识笔记

1. 推理基本知识

1.1 推理的基本概念

推理是按照某种策略从已有事实和知识推出结论的过程。

医疗诊断专家系统为病人诊治疾病就是一次推理过程

• 知识库存储专家的经验及医学常识
• 数据库存放病人的症状、化验结果等初始事实
• 推理：1）从数据库病人初始事实出发，2）利用知识库中的知识及一定的控制策略，3）对病情做出诊断，并开出医疗处方。

推理的基本任务是从一种判断推出另一种判断。

1.2 推理的分类

人类的思维方式有多种，相应的有多种推理方式。推理从不同的角度有不同的分类方式

1.2.1 按推出新判断的途径分类

1） 演绎推理：从一般到个别的推理。

演绎推理中最常用的形式是三段论法。

三段论由三个判断组成：

• 大前提（一般性知识）：运动员都很强壮
• 小前提（个别性知识）：小明是运动员
• 结论（针对个别事物的新判断）：小明很强壮

2） 归纳推理：从个别到一般的推理

从足够多的个别实例归纳出一般性结论。

• 完全归纳推理：检查全部产品合格→该厂产品合格
• 不完全归纳推理：检查全部样品合格→该厂产品合格

归纳推理是人类思维活动中最基本、最常用的一种推理形式。

3） 默认推理（缺省推理）：知识不完全的情况下，假设某些条件已经具备

已知：A,B,C,D成立，可以得出结论成立。

默认推理：A,B,C成立，得出结论。（在没有证据证明D不成立时，默认假设D成立）