文章目录
1. 承前
一阶谓词逻辑表示法、产生式表示法、框架表示法等知识表示方法可以把知识用某种模式表示出来存储到计算机中去，但是还必须使计算机具有思维能力，即可运用知识求解问题
2. 推理定义
从初始证据出发、按某种策略不断运用知识库中的已知知识、逐步推出结论的过程称为推理
3. 推理分类
3.1 按推出结论的途径划分
- 演绎推理：最常用的是三段论
- 归纳推理：从足够多的事例中归纳出一般性结论的推理过程，又可根据所选事例的广泛性分为完全归纳推理和不完全归纳推理
- 默认推理：在知识不完全的情况下假设某些条件已经具备，所进行的推理
3.2 按所用知识的确定性划分
- 确定性推理：推理所用的知识和证据都是确定的，推出的结论也是确定的
- 不确定性推理：推理时所用的知识与证据都是不确定的，推出的结论也是不确定的
3.3 按推理过程中推出的结论是否逐渐接近目标划分
- 单调推理：不会由于新加入的知识而否定前面推出的结论
- 非单调推理：由于新加入的知识否定了前面推出的结论，使推理回退到前面的某一步，然后重新开始
3.4 按是否运用与推理有关的启发性知识来分
启发性知识是指与问题有关且能加快推理过程，求得问题最优解的知识
- 启发式推理：在推理过程中用到了与推理有关的启发性知识
- 非启发式推理：没有用到~
4. 推理方向
- 正向推理：从已知事实出发的一种推理
- 逆向推理：从某个假设目标出发的一种推理
- 混合推理：正向推理与逆向推理结合
- 双向推理：正向推理与逆向推理同时进行
5. 冲突消解
在推理过程中可能发生如下情况
第三种情况称为发生了冲突
按一定的策略从匹配成功的多个知识中挑出一个知识，用于当前推理过程。这个过程称为冲突消解