人工智能（二）确定性推理（启发式推理、消解推理）

人工智能（二）确定性推理（启发式推理、消解推理）

推理就是由已知判断推出另一个判断的思维过程。
知识+推理=人类智慧
专家知识库+推理机=人工智能

一、推理的方法及其分类

##按逻辑基础分类

1.演绎推理（三段论）

从一般性知识出发，推出蕴含在已知知识中的适合于个别情况的结论。是一种由一般到个别的推理方法，核心是三段论。

2.归纳推理

是一种由个别到一般的推理。按照所选事物的广泛性又可分为完全归纳推理和不完全归纳推理
完全归纳推理：是指在进行归纳时需要考察相应事物的全部对象，推出该类事物是否具有此属性；
不完全归纳推理：在进行归纳时，只考察了相应事物的部分对象就得出了关于该事物的结论。
按照推理所使用的方法可分为枚举、类比、统计和差异归纳推理等

3.类比归纳推理

是指两个或两类事物有许多相似或相同的属性的基础上，推出他们在其他属性上也相同或相似。

##按推理过程所用知识的确定性分类

确定性推理、不确定性推理（模糊推理）

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

##按是否利用启发式知识分类

启发式、非启发式

（1）启发式：A算法、A*算法（估价函数）
（2）非启发式：状态空间的广度优先搜索、深度优先搜索、代价树搜索

二、消解推理

1.谓词演算公式向子句集的转换步骤

一个例子，说实在话，我只能看懂例子

2.消解推理反演

~~