[論文レビュー] On Transformations between Probability and Spohnian Disbelief Functions

Phan H. Giang, Prakash P. Shenoy|arXiv (Cornell University)|Jan 23, 2013

Bayesian Modeling and Causal Inference参考文献 17被引用数 10

ひとこと要約

本稿は、順序的同型性に基づく確率測度とスポーンの無信念関数の間の新規な変換を導入する。これは、確率が高いほど信念度も高いことを保証する。提案されたマッピングは、非確率的不確実性の意味論を明確にし、ハイブリッドエキスパートシステムにおける意思決定を支援する。前向き変換は順序的一致性を保ちながら、既存の文献における手法とは異なり、そのようにする。

ABSTRACT

In this paper, we analyze the relationship between probability and Spohn's theory for representation of uncertain beliefs. Using the intuitive idea that the more probable a proposition is, the more believable it is, we study transformations from probability to Sphonian disbelief and vice-versa. The transformations described in this paper are different from those described in the literature. In particular, the former satisfies the principles of ordinal congruence while the latter does not. Such transformations between probability and Spohn's calculi can contribute to (1) a clarification of the semantics of nonprobabilistic degree of uncertain belief, and (2) to a construction of a decision theory for such calculi. In practice, the transformations will allow a meaningful combination of more than one calculus in different stages of using an expert system such as knowledge acquisition, inference, and interpretation of results.

研究の動機と目的

• 形式的変換を用いて、確率的信念度と非確率的信念度の間の意味的関係を明確化すること。
• 確率とスポーンの無信念関数の間の既存の変換手法における一貫性の欠如を是正すること。
• 確率とスポーンの信念記法の間の意味的統合を可能にすることで、スポーンの信念記法に基づく意思決定理論の開発を支援すること。
• エキスパートシステムワークフローの各段階にわたり、確率とスポーンの無信念関数の複数の不確実性計算体系を実用的に統合すること。
• 確率的推論とスポーンの順序的認識的信念枠組みとの間の原則的ブリッジを確立すること。

提案手法

• 順序的同型性の原則に基づき、確率からスポーンの無信念関数への前向き変換を提案する。
• 前向きマッピングと整合性を持つように、スポーンの無信念関数から確率への逆変換を定義する。
• 確率値の対数変換を、確率を無信念値にマッピングするコアメカニズムとして用いる。
• より確率の高い命題が無信念枠組み内でより高い信念水準に割り当てられるように保証するため、順序的同型性を制約として適用する。
• 変換の性質、特に信念の順序的順序における単射性と単調性を分析する。
• 理論的分析と文献における先行手法との比較を通じて、変換を検証する。

実験結果

リサーチクエスチョン

• RQ1 確率とスポーンの無信念関数を、信念の順序が保存されるように、形式的に相互に変換する方法は何か？
• RQ2 提案された変換の理論的性質、特に一貫性と単調性に関しては何か？
• RQ3 既存の変換手法はなぜ順序的同型性を保てないのか？提案手法はどのようにしてこれを克服するか？
• RQ4 提案された変換は、非確率的不確実性枠組みにおける意思決定をどのように向上させ得るか？
• RQ5 ハイブリッドエキスパートシステムは、知識獲得、推論、結果解釈の各段階で、これらの変換をどのように活用できるか？

主な発見

• 確率からスポーンの無信念関数への前向き変換は、順序的同型性を保持しており、より確率の高い命題が一貫して高い無信念値に割り当てられることを保証する。
• 既存の手法とは対照的に、スポーンの無信念関数から確率への逆変換は順序的同型性を保たないため、マッピングの方向性に重要な差が生じる。
• 変換フレームワークにより、非確率的信念度が確率的直観に anchored されることで、意味的解釈が原則的に行えるようになる。
• この手法により、確率的および非確率的推論が1つのエキスパートシステム内で統合可能となり、段階に応じて異なる不確実性計算体系を活用できる。
• 理論的分析により、変換が信念の順序的順序において単射的かつ単調的であることが確認され、論理的整合性が裏付けられる。
• 結果として、スポーンの無信念関数が構造的かつ一貫したマッピングを通じて確率と意味的に関連づけられ、意思決定理論における解釈可能性と適用可能性が向上することが示された。