人工智能之确定性推理(PPT 92页)

主要内容
3.1 基本概念
3.3 自然演绎推理
3.4 归结演绎推理
3.5 基于规则的演绎推理（与/或形演绎推理）

 

 

第三章   确定性推理
3.1 基本概念
基本概念
演绎推理
归纳推理
默认推理
逆向推理-例
定义3.1     置换（代换）
定义3.2  代换的复合
消解冲突策略
3.3 自然演绎推理
 3.4  归结演绎推理
把谓词公式转化为子句集的步骤：
应用归结原理求问题的答案
归结策略
2、归结策略
2、删除策略
2、删除策略（续）
３、支持集策略
4、线性输入策略
6、祖先过滤形策略
3.5  与/或形演绎推理
2、与/或形逆向演绎推理
3、双向演绎推理
4、代换的一致性及剪枝策略
5、与/或形演绎推理的特点
本章小结
作业（P99~101）

..............................