基本概念

不确定性推理是建立在非经典逻辑基础上的一种推理，它是对不确定性知识的运用与处理。

严格地说，所谓不确定性推理就是从不确定性的初始证据出发，通过运用不确定性的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。

基本概念

推理方式

从推出结论的途径划分：演绎、归纳、默认

演绎

从全称判断推导出单称判断的过程，由一般知识推理细化出适合某一情况的结论。从一般到个别。

一阶谓词逻辑

命题

非真即假，陈述句，唯一的真值。

如果满足上述条件而暂时无法确定真值也算，明天是晴天、存在外星人都是命题。