[论文解读] 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的可加性。
• 将该框架推广至环上的模以及C*-代数，证明C*-代数上的态自然产生一致的PV赋值。
• 证明C*-代数上任意态限制在自伴元素上均满足可加性与乘法规则，从而与标准测度论概率建立联系。

实验结果

研究问题

• RQ1 科克斯定理能否在不假设可置信度函数连续性或可微性的前提下被证明？
• RQ2 可置信度如何一致地扩展至未知数？其合理取值受哪些公理支配？
• 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的可加性。
• 仅公理4、6和8即可推导出完整的概率规则，无需修改可置信度函数。
• 该框架可推广至C*-代数，其中代数上的态自然产生满足乘法与加法规则的一致PV赋值。
• C*-代数中自伴元素的合理取值为 PV(X|A) = f(XA)/f(A)，其中f为一个态，在交换情形下可恢复标准概率。