[論文レビュー] Toward a Characterization of Uncertainty Measure for the Dempster-Shafer Theory

David Harmanec|arXiv (Cornell University)|Feb 20, 2013

Multi-Criteria Decision MakingDecision Sciences参考文献 10被引用数 19

ひとこと要約

本稿は、Dempster-Shafer理論における不確実性測度の公理的要件のセットを提案し、最近導入された測度AUがこれらの条件を満たすすべての測度の中で最小であることを示している。著者らは、提示された公理の下でAUの一意性を証明することで、信念関数の不確実性評価の基礎的理解に貢献している。

ABSTRACT

This is a working paper summarizing results of an ongoing research project whose aim is to uniquely characterize the uncertainty measure for the Dempster-Shafer Theory. A set of intuitive axiomatic requirements is presented, some of their implications are shown, and the proof is given of the minimality of recently proposed measure AU among all measures satisfying the proposed requirements.

研究の動機と目的

• 直感的な公理的原則を用いて、Dempster-Shafer理論における不確実性測度を形式的に特徴づけること。
• 任意の有効な不確実性測度が満たすべき最小限の要件を特定すること。
• 提案された公理を満たすすべての測度の中で、測度AUが最小であることを証明すること。
• AIアプリケーションにおける信念関数理論の不確実性の基礎的特徴づけに貢献すること。
• 今後の証拠理論における不確実性測度の開発のための厳密な公理的基盤を提供すること。

提案手法

• 著者らは、信念関数構造との整合性および単調性を含む、直感的な公理的要件のセットを定義している。
• これらの公理の論理的含意を分析し、不確実性のモデル化においてそれらの必要性と整合性を示している。
• AUの最小性の証明には、公理を満たすすべての他の潜在的測度とAUを比較する手法が用いられている。
• 分析は、Dempster-Shaferフレームワークにおける識別フレームおよびマス関数に基づく形式的推論に依存している。
• 論理的帰納と比較を用いて、公理を満たすより小さい測度は存在しえないことを確立している。
• アプローチは理論的かつ公理的であり、実験的検証ではなく構造的性質に焦点を当てている。

実験結果

リサーチクエスチョン

• RQ1 Dempster-Shafer理論における有効な不確実性測度が満たすべき公理的条件は何か？
• RQ2 測度AUは、提案された公理を満たすすべての測度の中で一意に最小であるか？
• RQ3 提案された公理は、信念関数理論における不確実性測度の形をどのように制約するか？
• RQ4 直感的な原則の最小集合を用いて、不確実性の形式的特徴づけは達成可能か？
• RQ5 マス関数の構造とそれによって生じる不確実性測度の間にはどのような関係があるか？

主な発見

• 提案された公理のセットは、Dempster-Shafer理論における不確実性測度の整合的で直感的な基盤を提供する。
• 測度AUは、公理を満たすすべての測度の中で最小であることが証明されており、それ以上の小さい測度は条件を満たせない。
• 公理は、単調性や信念関数の意味論との整合性といった、重要な構造的性質を含意している。
• 証明により、与えられた制約の下でAUが一意の最小解であることが確立され、その理論的優位性が裏付けられた。
• 結果として、不確実性の形式的特徴づけが得られ、証拠理論の理論的基盤が前進した。
• 本研究は、Dempster-Shaferフレームワーク内でのAUが標準的不確実性測度としての適切さを確認している。