[论文解读] 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

一句话总结

本文提出了一种用于在测度团队（measure teams）中推理一阶公式的概率的逻辑——测度团队是将赋有概率测度的赋值集合结构化而成的结构。该文为这些概率的一阶性质提供了完备的公理化系统，并通过在遗传学（哈代-温伯格原理）和量子物理（贝尔不等式）中的应用加以说明，证明了在ω-饱和模型框架下，针对无限测度团队的完备性。

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$ 的概率解释为满足 $\phi$ 的赋值在 $X$ 中的测度，即 $P(\{s \in \Omega \mid \mathcal{A} \models_s \phi\})$。
• 通过一个可靠且完备的证明系统公理化这些概率的性质，包括概率的补集、析取和有界性等公理。
• 通过从可数公式集合构造模型 $\mathcal{R}^X_Q$ 的方式证明完备性，利用 $\omega$-饱和性来实现无限赋值序列上的类型。
• 将该框架应用于具体科学实例：遗传学中的哈代-温伯格原理与量子力学中的贝尔不等式，表明它们可在该逻辑中推导得出。
• 同时处理有限与无限测度团队，通过 $\omega$-饱和结构建立无限团队上的完备性定理。

实验结果

研究问题

• RQ1 能否为配备测度的赋值集合中公式概率的推理发展出一个完备的一阶逻辑？
• RQ2 频率概率解释如何能被形式化地整合进团队语义学与一阶逻辑中？
• RQ3 如哈代-温伯格平衡与贝尔不等式等基础科学原理，是否可在该逻辑框架中推导得出？
• RQ4 哪些模型论条件（如 $\omega$-饱和性）是该逻辑完备性的必要且充分条件？
• RQ5 该逻辑如何处理从有限数据团队到理想化无限测度团队的过渡？

主要发现

• 本文为测度团队中概率的一阶性质建立了完备的公理化系统，证明了语法可导出性与语义蕴含的一致性。
• 当底层结构为 $\omega$-饱和时，该完备性定理在无限测度团队上成立，确保所有有限可满足的概率约束集合均可实现。
• 哈代-温伯格原理在逻辑中被形式化并可推导，展示了其在群体遗传学中的适用性。
• 贝尔不等式被证明可在该框架中表达并可证明，说明其在量子基础研究中的相关性。
• 该逻辑通过允许量化和一阶结构，扩展了命题概率逻辑，即使在公式集合有限且未必为正有界的情况下，也获得了完备性结果。
• 通过一个反例表明，在一般情况下，概率约束的正性是完备性的必要条件，凸显了该系统逻辑边界的本质。