跳至内容

证据理论

证据理论 (Evidence Theory),又称 Dempster-Shafer (D-S) 理论,由 Dempster (1967) 和 Shafer (1976) 发展而成。与传统概率论不同,D-S 理论允许将信念质量 (Belief Mass) 分配到命题的子集上(而非仅仅分配到单个事件),从而能够显式表达"不知道"或"不确定"。

核心概念

识别框架

设识别框架 Θ={θ1,θ2,,θn}\Theta = \{\theta_1, \theta_2, \dots, \theta_n\} 为所有可能假设的穷尽互斥集合。

基本概率赋值 (BPA)

基本概率赋值函数 m:2Θ[0,1]m: 2^\Theta \to [0, 1] 满足:

m()=0,AΘm(A)=1 m(\emptyset) = 0, \quad \sum_{A \subseteq \Theta} m(A) = 1

m(A)m(A) 表示恰好分配给命题 AA 的信念质量——注意是"恰好分配给 AA",而非"AA 为真的概率"。

关键区别:在概率论中,P(θ1)=0.3P(\theta_1) = 0.3 意味着 θ1\theta_1 发生的概率为 0.3。在 D-S 理论中,m({θ1,θ2})=0.4m(\{\theta_1, \theta_2\}) = 0.4 意味着有 0.4 的信念支持"θ1\theta_1θ2\theta_2",但不知道具体是哪一个。这种"不知道"是概率论无法表达的。

信任函数与似然函数

信任函数 (Belief Function) 和似然函数 (Plausibility Function) 分别给出命题 AA 的信念下界和上界:

Bel(A)=BAm(B),Pl(A)=BAm(B) Bel(A) = \sum_{B \subseteq A} m(B), \quad Pl(A) = \sum_{B \cap A \neq \emptyset} m(B)
  • Bel(A)Bel(A)完全支持 AA 的总信念AA 为真的最低确信度)
  • Pl(A)Pl(A)不否定 AA 的总信念AA 为真的最高可能性)
  • 真实概率介于两者之间:Bel(A)P(A)Pl(A)Bel(A) \leq P(A) \leq Pl(A)

区间 [Bel(A),Pl(A)][Bel(A), Pl(A)] 的宽度反映了关于 AA 的不确定性大小。

Dempster 合成规则

当有多个独立的证据源时,Dempster 合成规则用于将它们的 BPA 融合为一个综合 BPA:

m12(A)=BC=Am1(B)m2(C)1K,K=BC=m1(B)m2(C) m_{12}(A) = \frac{\sum_{B \cap C = A} m_1(B) \cdot m_2(C)}{1 - K}, \quad K = \sum_{B \cap C = \emptyset} m_1(B) \cdot m_2(C)

其中 KK 称为冲突系数,反映两个证据源之间的矛盾程度。当 KK 接近 1 时,两个证据高度矛盾,合成结果可能不可靠——这是 D-S 理论的一个已知局限。

在决策中的应用

证据理论在决策中的典型应用包括:

应用场景说明
多源信息融合将来自不同传感器、专家或数据库的不完整信息融合为综合判断
不确定性建模当评价信息无法精确为概率分布时,用 BPA 表达
故障诊断多个检测指标各有不完整信息,通过 D-S 融合做综合诊断
风险评估处理信息缺失和专家判断不一致的风险评价问题

与模糊理论的关系

证据理论和模糊集理论都处理不确定性,但从不同角度:

维度模糊集证据理论
不确定性来源概念边界的模糊性信息的不完整性
数学工具隶属度函数基本概率赋值
“不知道"的表达通过犹豫度间接表达直接分配给子集
融合方式聚合算子Dempster 合成规则

在一些研究中,模糊集和证据理论会结合使用——例如用模糊集表达评价信息,用 D-S 理论融合多源证据。

什么时候用证据理论而不是模糊决策
  • 如果不确定性来自"专家评价的模糊性",优先考虑模糊决策
  • 如果不确定性来自"信息不完整、证据来自多个独立源",考虑证据理论
  • 如果两者都有,可以将模糊集与证据理论结合
  • 在实验室中,模糊决策的使用频率远高于证据理论