第三章 自动推理
一、定义
所谓推理，就是从初始证据出发，按照某种策略，不断运用知识库中已有的知识，逐步匹配，直到推出结论的过程。
二、推理的类型
1.归纳：从特殊到一般
2.演绎：从一般到特殊
三、推理的方向
1.正向推理
1.1假言推理
1.2拒式假言推理
2.反向推理
反向推理例子：
四、推理的确定性
1.确定性：
推理用的知识/证据/得到的结论非真即假
2.不确定性
推理用的知识/证据/得到的结论存在概率性
五、总结
计算机实现推理：反向、演绎
机器学习：归纳
六、确定性推理
1.归结原理采用反证法
2.Horn子句表示推理知识进行推理
七、不确定性推理
1.不确定性分类：
2.不确定性计算：
3.多规则合成：
例题：
八、专家系统
核心：
推理机、知识库