推理的基本概念
推理的定义
从初始证据出发,按某种策略不断运用知识库中的已知知识,逐步推出结论的过程为推理。
推理方式及分类
-
演绎推理、归纳推理、默认推理
演绎推理:一般 → 个例
归纳推理:个别 → 一般
-
完全归纳推理(必然性推理):考察相应事物的全部对象
-
不完全归纳推理(非必然推理):考察部分对象
-
枚举归纳推理:如果已知某类事物的有限可数个具体事物具有某种属性,则可能推出该类事物都有此属性。
-
一类比归纳推理:是在两个或两类事物有许多属性都相同或相似的基础上,推出它们在其他属性上也相同或相似的一种归纳推理。
演绎推理与归纳推理的区别:
默认推理(缺省推理)
知识不完全的情况下假设某些条件已经具备所进行的推理。
1. 确定性推理,不确定性推理
2. 单调推理、非单调推理
3. 启发式推理、非启发式推理
推理的方向
推理的控制策略:如何使用领域知识使推理尽快达到目标的策略
控制策略的分类:推理策略主要解决推理方向、冲突消解等问题,如推理方向控制策略、求解策略、限制策略、冲突消解策略。
-
正向推理
已知事实 → 结论
实现正向推理需要解决的问题:
-
确定匹配(知识与已知事实)的方法
-
按什么策略搜索知识库
-
冲突消解策略
正向推理简单,易实现,但目的性不强,效率低。
1. 逆向推理
以某个假设目标作为出发点
2. 混合推理
3. 双向推理
冲突消解策略
自然演绎推理
自然演绎推理:从一组已知为真的事实出发,运用经典逻辑的推理规则推出结论的过程。
推理规则:P规则、T规则、假言推理、拒取式推理
-
CP规则:如果能从R和前提集合中推出S来,则可从前提集合中推出R→S来