[論文レビュー] Independence with Lower and Upper Probabilities

Lonnie Chrisman|arXiv (Cornell University)|Feb 13, 2013

Logic, Reasoning, and Knowledge参考文献 35被引用数 15

ひとこと要約

この論文は、区間確率表現が認識論的独立性を退化した場合を除き適切に捉えることができないことを示している—たとえば、境界が点確率であるか、空虚な場合である。これらの制限は、確率区間を認識論的不確実性と誤解して解釈することに起因し、代わりに不確実性が無知を表すのではなく、構造的近似を反映するという存在論的解釈を提案することで、表面的な矛盾が解消される。

ABSTRACT

It is shown that the ability of the interval probability representation to capture epistemological independence is severely limited. Two events are epistemologically independent if knowledge of the first event does not alter belief (i.e., probability bounds) about the second. However, independence in this form can only exist in a 2-monotone probability function in degenerate cases i.e., if the prior bounds are either point probabilities or entirely vacuous. Additional limitations are characterized for other classes of lower probabilities as well. It is argued that these phenomena are simply a matter of interpretation. They appear to be limitations when one interprets probability bounds as a measure of epistemological indeterminacy (i.e., uncertainty arising from a lack of knowledge), but are exactly as one would expect when probability intervals are interpreted as representations of ontological indeterminacy (indeterminacy introduced by structural approximations). The ontological interpretation is introduced and discussed.

研究の動機と目的

• 下限および上限確率が、ある事象の知識が別の事象に関する信念の範囲に影響を与えない「認識論的独立性」を表現できるかどうかを調査すること。
• 区間確率モデル内での認識論的独立性が成立する条件を同定すること。
• 2-単調性および他の下限確率関数のクラスが、独立性に課す制約を分析すること。
• 認識論的独立性のモデル化における表面的な制限は、フレームワーク自体の欠陥ではなく、確率区間を認識論的不確実性と解釈することに起因するという主張を行うこと。

提案手法

• 本論文は、下限／上限確率フレームワーク内での2つの事象が認識論的に独立であるための数学的条件を分析する。
• 2-単調な下限確率関数を検討し、独立性が成立するための必要条件を導出する。
• 認識論的不確実性（知識の欠如）と存在論的不確実性（モデル内の構造的近似）の区別を行う。
• 確率区間を、無知ではなくモデルの単純化に起因する不確実性を反映すると解釈する存在論的解釈を導入し、これを擁護する。
• 形式論理および確率境界理論を用いて、認識論的解釈下では独立性が退化した場合にのみ成立することを示す。
• 異なる解釈下での区間確率の振る舞いを比較し、存在論的解釈下では一貫性が保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 下限および上限確率フレームワーク内では、どのような条件下で2つの事象が認識論的に独立と見なせるか？
• RQ2 なぜ区間確率は退化した場合を除き、独立性を適切に表現できないのか？
• RQ3 確率区間の解釈—認識論的か存在論的か—が、独立性の妥当性にどのように影響するか？
• RQ4 2-単調性などの数学的制約（例：2-単調性）は、不確実性確率モデル内での認識論的独立性の存在をどのように制限するか？
• RQ5 不確実性の性質を再解釈することで、区間確率が独立性をモデル化する際の表面的な制限を解消できるか？

主な発見

• 区間確率モデルにおける認識論的独立性は、境界が点確率であるか、完全に空虚な場合にのみ可能である。
• 非退化した独立性を表現できないという失敗は、フレームワーク自体の欠陥ではなく、不確実性を認識論的不確実性と解釈することに起因する。
• 確率区間を存在論的に解釈する—すなわち、不確実性が無知を表すのではなく、モデルの単純化に起因するものと見なす—ことで、制限は消失し、独立性は期待通りに動作する。
• 2-単調性の条件は、認識論的独立性の存在を極めて制限し、自明なケースに限定する。
• 存在論的解釈は、不確実性確率の整合的な基礎を提供し、認識論的解釈下で生じるパラドックスを解消する。
• 本論文は、観察された制限は解釈の結果に起因するものであり、下限および上限確率表現自体に内在する欠陥ではないと結論づける。