证据理论的模态逻辑解释

  有关模态逻辑的知识请看模态逻辑入门笔记，有关证据理论的知识请看证据理论入门笔记。本文主要记录我对文献[1]的理解，文献[2]介绍了一种基于多值映射 (Multivalued mapping) 解释证据理论的方法，多值映射类似模态理论中的关系 $R$。

符号定义

1. $M=<W,R,V>$，模态逻辑的模型 $M$，模态逻辑采用系统 T 或更强的模态逻辑系统，即 $R$ 满足反身性 (reflexive)，每个可能世界能够到达自身。
2. $||p|{|}^M$，命题 $p$ 的真集 (Truth set)，即 ∣ ∣ p ∣ ∣ M = { w ∣ w ∈ W ∧ V ( p , w ) = T } ||p||^M=\{w|w\in W\wedge V(p,w)=T\} ∣∣p∣∣M={w∣w∈W∧V(p,w)=T}。
3. $|A|$，集合 $A$ 的基数，即集合 $A$ 中元素的个数。例如， A = { 1 , 2 , 3 } , ∣ A ∣ = 3 A=\{1,2,3\},|A|=3 A={1,2,3},∣A∣=3。
4. $X$，证据理论的辨识架构。
5. $e_A$，一个命题，表示一个给定的研究元素被分类到集合 $A$ 中。
   e A = ⋁ x ∈ A e { x } , ∀ A ≠ ∅ ; e ∅ = ⋀ x ∈ X ¬ e { x } e_A=\bigvee_{x\in A}e_{\{x\}},\forall A \neq \emptyset;\qquad e_\emptyset=\bigwedge_{x\in X}\neg e_{\{x\}} eA​=x∈A⋁​e{x}​,∀A​=∅;e∅​=x∈X⋀​¬e{x}​

证据理论的模态逻辑解释

1. 信任函数：$$Bel(A)=\sum _{B\subseteq A}m(B)=\frac{|||\square e_A|{|}^M|}{|W|}$$
2. 似然函数：$$Pl(A)=\sum _{B\cap A\ne \varnothing }m(B)=\frac{|||◊e_A|{|}^M|}{|W|}$$
3. 基本概率分配函数：$$m(A)=\frac{|||E_A|{|}^M|}{|W|}$$ $$E_A=\square e_A\wedge (\underset{B\subset A}{\bigwedge }(\neg (\square e_B)))$$

  下面解释上面几个公式（可以参考下图）。首先，假设在每一个可能世界 $w$ 中，有且仅有一个 $x\in W$ 使命题 e { x } e_{\{x\}} e{x}​ 为真 (Singleton Valuation Assumption)，我称之为可能世界 $w$ 对应的 $x$。$w^{\prime }$ 是从一个 $w$ 能够到达的可能世界（可能有好几个 $w^{\prime }$），$w^{\prime }$ 对应的 $x$ 构成集合 $B$，我称之为 $w$ 对应的集合 $B$。
  接下来，有一类 $w$ 的集合，其中 $w$ 对应的集合 $B$ 是集合 $A$ 的子集，即有 $(\forall w^{\prime })(wR{w}^{\prime }\supset V(e_A,w^{\prime })=T)$，则 $V(\square e_A,w)=T$，这类 $w$ 的集合即为 $||\square e_A|{|}^M$。
  还有一类 $w$ 的集合，其中的任意一个 $w$ 能到达的可能世界 $w^{\prime }$，$w^{\prime }$ 对应的 $x$ 构成的集合 $B$ 包含集合 $A$，这类 $w$ 的集合为 ∣ ∣ ⋀ x ∈ A ◊ e { x } ∣ ∣ M ||\bigwedge_{x\in A}\Diamond e_{\{x\}}||^M ∣∣⋀x∈A​◊e{x}​∣∣M。
  另一类 $w$ 的集合，其中 $w$ 对应的集合 $B$ 与集合 $A$相交不为空集，即 $B\cap A\ne \varnothing$，则有$(\exists w^{\prime })(wR{w}^{\prime }\wedge V(e_A,w^{\prime })=T)$，这类 $w$ 的集合即为 $||◊e_A|{|}^M$。
  定义一个集合 B w = { x ∈ X ∣ ( ∃ w ′ ) ( w R w ′ ∧ V ( e { x } , w ′ ) = T ) } B_w=\{x\in X\big|(\exist w')(wRw'\wedge V(e_{\{x\}},w')=T)\} Bw​={x∈X∣∣​(∃w′)(wRw′∧V(e{x}​,w′)=T)}，其实就是上述 3 中的集合 $A$，对于每一个可能世界 $w$，这样的集合有且只有一个，不同的 $w$ 可以有相同的 $B_w$， $B_w$ 由所有 $w$ 可以到达的 $w^{\prime }$ 对应的 $x$ 构成。
  由上述分析可以看出，可能世界 $w$ 对应的集合 $B$ 和集合 $A$ 之间的关系是符合经典 DS 证据理论的，这样也就能更好的理解上述公式。
 

Example

 

证据理论的模态逻辑解释的完整性 (Completeness)

  对于每一个由理数构成的基本概率分配函数，都存在一个系统 T 的模态逻辑模型 $M$ 能推导出该基本概率分配函数。看例子怎么找这个模型 $M$ 。

Example

 

参考文献

[1] Harmanec D , Klir G J , Resconi G . On modal logic interpretation of Dempster–Shafer theory of evidence[J]. International Journal of Intelligent Systems, 2010, 9(10):941-951.

[2] Tsiporkova E , Boeva V , Baets B D . Dempster–Shafer theory framed in modal logic[J]. International Journal of Approximate Reasoning, 1999, 21(2):157-175.