[論文レビュー] On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence

F. Correa da Silva, Alan Bundy|arXiv (Cornell University)|Mar 27, 2013

Logic, Reasoning, and Knowledge参考文献 3被引用数 5

ひとこと要約

この論文は、特定のインシデント計算（Incidence Calculus）のインスタンスとデムプスター＝シャーマン理論（Dempster-Shafer Theory of Evidence）の間で形式的な同等性を確立し、定められた条件下で両者のフレームワークが同一の結果をもたらすことを示している。著者らは、インシデント集合を質量関数にマッピングし、デムプスターの結合規則による一貫した結合を示すことで、両システムにおける不確実性の表現と推論が、これらのケースにおいて構造的に同等であることを証明した。

ABSTRACT

Incidence Calculus and Dempster-Shafer Theory of Evidence are both theories to describe agents' degrees of belief in propositions, thus being appropriate to represent uncertainty in reasoning systems. This paper presents a straightforward equivalence proof between some special cases of these theories.

研究の動機と目的

• 不確実性の度合いを表現するインシデント計算とデムプスター＝シャーマン理論の関係を調査すること。
• インシデント計算の特定のインスタンスが、形式的にデムプスター＝シャーマン理論へマッピング可能かどうかを特定すること。
• 両理論が不確実性推論において同一の結果をもたらす条件を確立すること。
• 特定のケースにおいて、両フレームワーク間の同等性を厳密に証明すること。
• 非加法的不確実性表現の2つの代表的アプローチの間の理論的関係を明確にすること。

提案手法

• インシデント計算におけるインシデント集合を、デムプスター＝シャーマン理論における基本確率割り当て（質量関数）にマッピングすること。
• 集合論的演算を用いて、インシデント構造から信念構造への変換を定義すること。
• インシデント集合から導出された質量関数に、デムプスターの結合規則を適用すること。
• 結合結果が、インシデント計算における同一の事後信念度と一致することを検証すること。
• 形式論理と集合論を用いて、特定の制約下で両システムが同型であることを証明すること。
• 特に集合の整合性と非空性に注目し、同等性が成立する条件を分析すること。

実験結果

リサーチクエスチョン

• RQ1 インシデント計算とデムプスター＝シャーマン理論が同一の信念度をもたらす条件は何か？
• RQ2 インシデント集合を、デムプスター＝シャーマン理論の質量関数へ体系的にマッピングできるか？
• RQ3 インシデント計算における信念の結合は、デムプスターの結合規則に同等か？
• RQ4 両理論が形式的に同等であるためには、どのような構造的性質が満たされる必要があるか？
• RQ5 両理論の論理的および集合論的基盤は、不確実性表現においてどのように一致するか？

主な発見

• 特定のインシデント構造とデムプスター＝シャーマン理論における質量関数の間には、形式的な同型が存在する。
• DSフレームワークにおけるデムプスターの結合規則を用いた信念の結合は、インシデント計算の演算結果を再現する。
• インシデント集合が非空であり、識別フレームワークと整合している場合、同等性が成立する。
• インシデント集合から質量関数への変換は、論理的整合性と不確実性の伝播を保持する。
• 証明により、定義された特殊ケースにおいて両理論が構造的に同等であることが示された。
• 結果として、指定された文脈において、両フレームワークを不確実性推論の文脈で相互に交換して使用できることを検証した。