Dempster-Shafer证据理论（证据推理融合）

证据理论起源于1967年Dempster提出的由多值映射导出的上概率和下概率，之后Shafer进一步将其完善，建立了命题和集合之间的一一对应关系，把命题的不确定性问题转化为集合的不确定性问题，满足比概率论弱的情况，形成了一套关于证据推理的数学理论。

一般的集合为：

其中元素是两两互斥的。

证据推理融合的集合为：

这里用m表示概率；

证据推理融合的公式为：

                                         

其中称为规范化因子。

举例说明：假设中国的卫星观测器

欧洲的卫星观测器

现在需要求出它们融合后的值。

进行归一化

此上就是证据推理融合。