证据理论（3）—— 计算两个证据体的距离

  计算两个证据体的距离的主要思想是：定义一个由幂集 $2^{\Omega }$ 中的元素作为基底的向量空间 $S_{2^{\Omega }}$，一个证据源的基本概率分配函数 (bpa) 就是该证据源在 $S_{2^{\Omega }}$ 上的向量，然后在此基础上定义和计算距离。

证据体 (Body of evidence, BOE)

  证据体是所有焦元和它对应的 bpa 所构成的集合，表示如下： ( B , m ) = { [ A , m ( A ) ] ∣ A ∈ 2 Ω    a n d    m ( A ) > 0 } (B,m)=\{[A,m(A)]|A\in2^\Omega \; and\;m(A)>0\} (B,m)={[A,m(A)]∣A∈2Ωandm(A)>0} 例如： ( B , m ) = { [ { A , B } , 0.8 ] , [ Ω , 0.2 ] } (B,m)=\{[\{A,B\},0.8],[\Omega,0.2]\} (B,m)={[{A,B},0.8],[Ω,0.2]}。

度量空间 (Metric spaces)

  定义了距离的向量空间称为度量空间。向量空间 $S$ 上距离的定义如下：$$\begin{array}{rl}d:& S\times S\to R\\ & (A,B)\mapsto d(A,B)\end{array}$$ 距离 $d$ 满足以下条件 ($\forall A,B\in S$)：

1. 非负性：$d(A,B)\ge 0$，当且仅当 $A=B$ 时，有 $d(A,B)=0$；
2. 反身性：$d(A,B)=d(B,A)$；
3. 三角不等式：$d(A,B)\le d(A,C)+d(C,B),\forall C\in S$

两个证据体的距离

  两个证据体的距离的计算公式如下：$$d(m_1,m_2)=(\overrightarrow{m_1}-\overrightarrow{m_2}{)}^T\underline{\underline{D}}(\overrightarrow{m_1}-\overrightarrow{m_2})$$ 实际使用如下公式：$$d_{BPA}(m_1,m_2)=\sqrt{\frac{1}{2}(\overrightarrow{m_1}-\overrightarrow{m_2}{)}^T\underline{\underline{D}}(\overrightarrow{m_1}-\overrightarrow{m_2})}$$ $\overrightarrow{m_1},\overrightarrow{m_2}$ 表示两个证据源的 bpa 构成的向量，$\underline{\underline{D}}$ 是一个 $2^N\times 2^N$ 矩阵，$\underline{\underline{D}}$的行指标对应证据源1，列指标对应证据源2，$\underline{\underline{D}}$ 中的每一个元素为：$$\underline{\underline{D}}(A,B)=\frac{|A\cap B|}{|A\cup B|}$$ $|A|$ 表示集合 $A$ 的基数，即集合 $A$ 中元素的个数。

Example

示例引自参考文献[2]的附录。
Ω = { A , B , C } m 1 : m 1 ( { A } ) = 0.3 , m 1 ( { A , B } ) = 0.4 , m 1 ( Ω ) = 0.3 m 2 : m 2 ( { B } ) = 0.2 , m 2 ( { C } ) = 0.3 , m 2 ( Ω ) = 0.5 \begin{aligned} &\Omega=\{A,B,C\} &\quad &\quad \\ &m_1:m_1(\{A\})=0.3,& m_1(\{A,B\})=0.4,\quad & m_1(\Omega)=0.3 \\ &m_2:m_2(\{B\})=0.2,& m_2(\{C\})=0.3, \quad & m_2(\Omega)=0.5 \\ \end{aligned} ​Ω={A,B,C}m1​:m1​({A})=0.3,m2​:m2​({B})=0.2,​m1​({A,B})=0.4,m2​({C})=0.3,​m1​(Ω)=0.3m2​(Ω)=0.5​
证据源1的 BOE 为： ( B 1 , m 1 ) = { [ { A } , 0.3 ] , [ { A , B } , 0.4 ] , [ Ω , 0.3 ] } (B_1,m_1)=\{[\{A\},0.3],[\{A,B\},0.4],[\Omega,0.3]\} (B1​,m1​)={[{A},0.3],[{A,B},0.4],[Ω,0.3]}
证据源2的 BOE 为： ( B 2 , m 2 ) = { [ { B } , 0.2 ] , [ { C } , 0.3 ] , [ Ω , 0.5 ] } (B_2,m_2)=\{[\{B\},0.2],[\{C\},0.3],[\Omega,0.5]\} (B2​,m2​)={[{B},0.2],[{C},0.3],[Ω,0.5]}
为了减少计算量，可以将两个 BOE 中的集合元素取一个并集，得到新的集合（可以视为一个新的幂集）表示如下： 2 Ω 1 ∪ 2 = { { A } , { B } , { C } , { A , B } , Ω } 2^{\Omega_{1\cup2}}=\{\{A\},\{B\},\{C\},\{A,B\},\Omega\} 2Ω1∪2​={{A},{B},{C},{A,B},Ω} 将 $m_1,m_2$ 按 $2^{{\Omega }_{1\cup 2}}$ 中集合出现的顺序表示成向量的形式：$$\overrightarrow{m_1}=\left[\begin{array}{c}0.3\\ 0\\ 0\\ 0.4\\ 0.3\end{array}\right]\overrightarrow{m_2}=\left[\begin{array}{c}0\\ 0.2\\ 0.3\\ 0\\ 0.5\end{array}\right]$$ 矩阵 $\underline{\underline{D}}$ 表示为：$$\underline{\underline{D}}=\left[\begin{array}{ccccc}1& 0& 0& \frac{1}{2}& \frac{1}{3}\\ 0& 1& 0& \frac{1}{2}& \frac{1}{3}\\ 0& 0& 1& 0& \frac{1}{3}\\ \frac{1}{2}& \frac{1}{2}& 0& 1& \frac{2}{3}\\ \frac{1}{3}& \frac{1}{3}& \frac{1}{3}& \frac{2}{3}& 1\end{array}\right]$$ $$\overrightarrow{m_1}-\overrightarrow{m_2}=\left[\begin{array}{c}0.3\\ -0.2\\ -0.3\\ 0.4\\ -0.2\end{array}\right]$$ $$\begin{array}{rl}{d}_{BPA}(m_1,m_2)& =\sqrt{\frac{1}{2}\left[\begin{array}{ccccc}0.3& -0.2& -0.3& 0.4& -0.2\end{array}\right]\left[\begin{array}{ccccc}1& 0& 0& \frac{1}{2}& \frac{1}{3}\\ 0& 1& 0& \frac{1}{2}& \frac{1}{3}\\ 0& 0& 1& 0& \frac{1}{3}\\ \frac{1}{2}& \frac{1}{2}& 0& 1& \frac{2}{3}\\ \frac{1}{3}& \frac{1}{3}& \frac{1}{3}& \frac{2}{3}& 1\end{array}\right]\left[\begin{array}{c}0.3\\ -0.2\\ -0.3\\ 0.4\\ -0.2\end{array}\right]}\\ & =0.4359\end{array}$$

参考文献

[1] Jousselme A L , Grenier D , éloi Bossé. A new distance between two bodies of evidence[J]. Information Fusion, 2001, 2(2):91-101.

[2] Beynon M J . The Role of the DS/AHP in Identifying Inter-Group Alliances and Majority Rule Within Group Decision Making[J]. Group Decision & Negotiation, 2006, 15(1):21-42.