证据理论是Dempster于1967年首先提出,由他的学生Shafer于1976年进一步发展起来的一种不精确推理理论,也称为Dempster/Shafer 证据理论(D-S证据理论)。主要是基于“证据”和“组合”来处理不确定性推力问题的数学方法。
1、识别框架:由互不相容的基本命题(假定)组成的完备集合,表示对某一问题的所有可能答案,但其中只有一个答案是正确的。
2、mass函数(BPA):识别框架的子集称为命题。分配给各命题的信任程度称为基本概率分配。m(A)反映着对A的信度大小。
3、信任函数:信任函数Bel(A)表示对命题A的信任程度。
4、似然函数:似然函数Pl(A)表示对命题A非假的信任程度,也即对A似乎可能成立的不确定性度量。
5、合成规则(以两个mass函数为例)。