[論文レビュー] The Cox Theorem: Unknowns And Plausible Value

Maurice J. Dupré, Frank J. Tipler|ArXiv.org|Nov 26, 2006

Bayesian Modeling and Causal Inference参考文献 16被引用数 4

ひとこと要約

本稿は、未知のものに妥当な値（PV）を導入することで、連続性や微分可能性を仮定せずにコックスの定理を厳密に証明する。確率の積則と和則は、連続性や微分可能性を仮定しないで導出される。主な貢献は、離散的命題に対しても適用可能な最小限で直感的な公理に基づく、妥当な推論の基礎的枠組みを提供することである。

ABSTRACT

We give a proof of Cox's Theorem on the product rule and sum rule for conditional plausibility without assuming continuity or differentiablity of plausibility. Instead, we extend the notion of plausibility to apply to unknowns giving them plausible values. Our proof is enormously simpler than others that have recently appeared in the literature, yet completely rigorous. For example, we do not need to investigate the 11 possibilities for conditional plausibilities as described on page 25 of Jaynes' recent book Probability Theory.

研究の動機と目的

• 妥当な関数の連続性や微分可能性を仮定せずに、コックスの定理を厳密に導出すること。
• 未知の数に妥当な値（PV）を導入することで、妥当性の概念を未知のものへと拡張し、確率論のより一般的で直感的な基礎を築くこと。
• 測度論的または頻度論的解釈に依存せず、単純で直感的な公理から確率の積則と和則が導かれることが示されること。
• 頻度論的解釈が不適切な科学的文脈において、ラプラス的／ベイズ的確率論の正当性を裏付けること。
• この枠組みをベクトル空間、環上の加群、C*-代数へと一般化し、量子力学や関数解析への広範な適用可能性を示すこと。

提案手法

• 未知の数に対し妥当性を拡張し、与えられた命題のもとで各未知の数に妥当な値（PV）を割り当てる新しい形式的枠組みを導入する。
• PV関数の公理を定義する：加法性（PV(X+Y|A) = PV(X|A) + PV(Y|A)）、実数上の線形性、論理的演算における一貫性。
• 公理4、6、8を用いて積則を導出する：可換な冪等的命題に対して PV(e₁Y|e₂) = PV(Y|e₁e₂)PV(e₁|e₂) が成り立つ。
• 加法性を用いて和則を確立する：PV(A|B) + PV(¬A|B) = 1 が、未知の変数についての PV(X|A) + PV(¬X|A) = 1 から導かれる。
• この枠組みを環上の加群およびC*-代数へ一般化し、C*-代数上の状態が自然に一貫性のあるPV割り当てをもたらすことを示す。
• C*-代数上の任意の状態が自己随伴元に制限された場合、加法性および積則を満たすことを証明し、標準的な測度論的確率論と接続する。

実験結果

リサーチクエスチョン

• RQ1 妥当性関数の連続性や微分可能性を仮定せずに、コックスの定理を証明することは可能か？
• RQ2 妥当性はどのように未知のものへ一貫的に拡張できるのか？その妥当な値（PV）を支配する公理は何か？
• RQ3 確率の積則と和則を導くために必要な最小限の公理の集合は何か？
• RQ4 この枠組みは非可換代数や量子力学的状況へどのように一般化できるか？
• RQ5 C*-代数における妥当な値は、標準的な確率論および期待値理論を回復できるか？

主な発見

• 本稿は、未知のものに妥当な値（PV）を導入することで、連続性や微分可能性の仮定なしにコックスの定理を証明した。
• 積則は、可換な冪等的命題 e₁, e₂ に対して PV(e₁Y|e₂) = PV(Y|e₁e₂)PV(e₁|e₂) として導出された。
• 和則は PV(A|B) + PV(¬A|B) = 1 として確立され、未知の変数における PV(X|A) + PV(¬X|A) = 1 からの加法性に由来する。
• 公理4、6、8 のみで確率の全法則が導出可能であり、妥当性関数の変更なしに成立する。
• この枠組みはC*-代数へ一般化可能であり、代数上の状態が一貫性のあるPV割り当てをもたらし、積則と和則を満たす。
• C*-代数における自己随伴元 X の妥当な値は、PV(X|A) = f(XA)/f(A) で与えられ、可換な場合には標準的な確率論が回復される。