[論文レビュー] A Logic for Arguing About Probabilities in Measure Teams

Tapani Hyttinen, Gianluca Paolini+1 more|arXiv (Cornell University)|Sep 6, 2015

Philosophy and History of Science参考文献 5被引用数 3

ひとこと要約

本稿では、割り当ての集合に確率測度を組み合わせた構造である測度チームにおける一階論理式の確率について推論する論理を導入する。この論理は、測度チームにおける一階確率の性質について完全な公理体系を提供する。応用例として、遺伝学（ハリー＝ヴァインベルクの法則）および量子力学（ベルの不等式）を取り上げ、ω-飽和モデル枠組みにおいて無限測度チームに関して完全性を証明する。

ABSTRACT

We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy-Weinberg Principle of biology and the Bell's Inequalities of quantum physics as examples.

研究の動機と目的

• 確率測度を備えた割り当ての集合（チーム）を用いて、一階論理式の確率について形式的論理を構築すること。
• このような確率の性質を公理化し、その完全性を証明すること。
• ハリー＝ヴァインベルクの平衡やベルの不等式といった科学の基礎的原則を、この枠組みに適用すること。
• 有限の経験的データから離れて、無限測度チームにおいて完全性を確立すること。
• 頻度的確率とチーム意味論およびモデル理論的推論を、論理的枠組みで統合すること。

提案手法

• 測度チームを四元組 $(\Omega, \mathcal{F}, P, \tau)$ として定義する。ここで $\tau$ は確率空間から構造 $\mathcal{A}$ 内の割り当てへ写像し、論理式の満たされ方の可測性条件を満たす。
• チーム意味論を用いて、一階論理式 $\phi$ の確率を、$X$ 内で $\phi$ を満たす割り当ての集合の測度、すなわち $P(\{s \in \Omega \mid \mathcal{A} \models_s \phi\})$ として解釈する。
• 補集合、論理和、確率の有界性に関する公理を含む、健全かつ完全な証明体系を用いて、これらの確率の性質を公理化する。
• 可算な論理式の集合からモデル $\mathcal{R}^X_Q$ を構成し、$\omega$-飽和を用いて無限の割り当て列の型を実現することで、完全性を証明する。
• 具体的な科学的応用例として、遺伝学におけるハリー＝ヴァインベルクの法則と、量子力学におけるベルの不等式を提示し、これらが論理内ですでに導出可能であることを示す。
• 有限および無限の測度チームの両方を扱い、$\omega$-飽和構造を用いて無限チームにおける完全性定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 測度を備えたチームにおける論理式の確率について、完全な一階論理を構築できるか？
• RQ2 頻度的解釈の確率を、チーム意味論および一階論理に形式的に統合できるか？
• RQ3 ハリー＝ヴァインベルクの平衡やベルの不等式といった科学的基礎原則が、この論理枠組み内で導出可能か？
• RQ4 完全性を保証するためのモデル理論的条件（例：$\omega$-飽和）は何か？
• RQ5 有限のデータチームから理想化された無限測度チームへの移行を、この論理はどのように扱うか？

主な発見

• 本稿では、測度チームにおける一階確率の性質について完全な公理体系を確立し、証明論的導出と意味論的含意が一致することを証明した。
• 基礎となる構造が $\omega$-飽和である限り、無限測度チームにおいて完全性定理が成り立つ。これにより、すべての有限に満たせられる確率制約の集合が実現可能であることが保証される。
• ハリー＝ヴァインベルクの法則は形式的に表現可能であり、論理内から導出可能である。これは、この枠組みが集団遺伝学への適用可能性を示している。
• ベルの不等式は、この枠組み内で表現可能かつ証明可能であることが示され、量子力学の基礎的問題への関連性が裏付けられた。
• 命題的確率論理を拡張し、量化子と一階構造を許容するが、論理式の集合が有限であっても、かつ正の有界性を仮定しなくても完全性の結果が得られる。
• 反例により、一般の場合において確率制約の正値性が完全性のための必要条件であることが示され、この体系の論理的限界が明確になった。