确定性推理

推理的基本概念

推理的定义

演绎推理、归纳推理、默认推理

演绎推理：三段论式

归纳推理：个别->一般

• 完全归纳推理（必然性推理）
• 不完全归纳推理（非必然性推理）

默认推理(default reasoning，缺省推理)

知识不完全的情况下假设某些条件已经具备所进行的推理。

默认成立

确定性推理、不确定性推理

确定性推理：推理时所用的知识与证据都是确定的， 推出的结论也是确定的，其真值或者为真或者为假。

不确定性推理：推理时所用的知识与证据不都是确定 的，推出的结论也是不确定的。

• 似然推理（概率论）
• 近似推理或模糊推理（模糊逻辑）

单调推理、非单调推理

单调推理：随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。

非单调推理：由于新知识的加入，不仅没有加强已 推出的结论，反而要否定它，使推理退回到前面的某一步， 重新开始。

启发式推理、非启发式推理

启发性知识：与问题有关且能加快推理过程、提高搜索 效率的知识。

推理方式及其分类

自然演绎推理

自然演绎推理:从一组已知为真的事实出发，运用经典 逻辑的推理规则推出结论的过程。

推理规则:P规则、T规则、假言推理、拒取式推理

谓词公式化为子句集的方法

八步

消去蕴含和等价

移动否定符号

变量标准化

消去存在量词

化为前束型

鲁宾逊归结原理

归结反演

应用归结原理证明定理的过程称为归结反演。

用归结反演证明的步骤是: (1)将已知前提表示为谓词公式F。 (2)将待证明的结论表示为谓词公式Q，并否定得到「 Q 。 (3)把谓词公式集{F，Q} 化为子句集S。 (4)应用归结原理对子句集S中的子句进行归结，并把每次

归结得到的归结式都并入到S中。如此反复进行，若出 现了空子句，则停止归结，此时就证明了Q为真。