第三章 自动推理

一、定义

所谓推理，就是从初始证据出发，按照某种策略，不断运用知识库中已有的知识，逐步匹配，直到推出结论的过程。

二、推理的类型

1. 归纳：从特殊到一般
2. 演绎：从一般到特殊

三、推理的方向

1. 正向推理
1.1 假言推理
1.2 拒式假言推理

2. 反向推理

反向推理例子：

四、推理的确定性

1. 确定性：
推理用的知识 / 证据 / 得到的结论非真即假
2. 不确定性：
推理用的知识 / 证据 / 得到的结论存在概率性

五、总结

计算机实现推理：反向、演绎
机器学习：归纳

六、确定性推理

1. 归结原理采用反证法



2. Horn子句表示推理知识进行推理

七、不确定性推理

1. 不确定性分类：

2. 不确定性计算：

3. 多规则合成：

例题：

八、专家系统

核心： 推理机、知识库