[논문 리뷰] The Cox Theorem: Unknowns And Plausible Value

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

Bayesian Modeling and Causal Inference참고 문헌 16인용 수 4

한 줄 요약

이 논문은 연속성 또는 미분 가능성에 대한 가정 없이 Cox의 정리를 엄밀하게 증명한다. 불확실한 값에 대한 가능성 있는 값(Plausible Value, 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.

연구 동기 및 목표

• 확률의 곱셈법칙과 덧셈법칙을 연속성 또는 미분 가능성에 대한 가정 없이 엄밀하게 유도하는 것.
• 불확실한 수에 대해 가능성 있는 값(Plausible Value, PV)을 도입하여, 보다 일반적이고 직관적인 확률 이론의 기초를 확장하는 것.
• 측도 이론적 또는 빈도 기반 해석에 의존하지 않고도 확률의 곱셈법칙과 덧셈법칙이 단순하고 직관적인 공리에서 유도됨을 보여주는 것.
• 빈도주의 해석이 적용되지 않는 과학적 맥락에서 라플라스/베이지안 접근 방식의 정당성을 제시하는 것.
• 벡터 공간, 환 위의 모듈러, C*-대수로의 틀을 일반화하여 양자역학과 함수해석학 등에 광범위하게 적용 가능함을 보여주는 것.

제안 방법

• 불확실한 수에 대해 가능성 있는 값(Plausible Value, PV)을 할당하는 새로운 형식적 체계를 도입하여, 주어진 문장 하에서 각 불확실한 수에 대해 PV를 정의한다.
• PV 함수에 대한 공리 정의: 가환성(Additivity, PV(X+Y|A) = PV(X|A) + PV(Y|A)), 실수 위에서의 선형성, 논리 연산에 대한 일관성.
• 공리 4, 6, 8을 사용하여 곱셈법칙 유도: 교환 법칙을 만족하는 등급원소 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에서 유도된다.
• 모듈러, 환 위의 모듈러, C*-대수로의 틀을 일반화하여, C*-대수에서의 상태가 자연스럽게 일관된 PV 할당을 제공함을 보여준다.
• C*-대수에서 자기수반 원소에 제한된 임의의 상태가 가환성과 곱셈법칙을 만족함을 증명하여, 표준 측도 이론적 확률과 연결한다.

실험 결과

연구 질문

• RQ1 확률의 곱셈법칙과 덧셈법칙이 연속성 또는 미분 가능성에 대한 가정 없이 Cox의 정리를 증명할 수 있는가?
• RQ2 불확실한 수에 대해 가능성 있는 값(PV)을 어떻게 일관되게 확장할 수 있으며, 그에 대한 공리는 무엇인가?
• RQ3 확률의 곱셈법칙과 덧셈법칙을 도출하는 데 필요한 최소한의 공리는 무엇인가?
• RQ4 이 틀은 비가환 대수와 양자역학적 맥락으로 어떻게 일반화될 수 있는가?
• RQ5 C*-대수에서의 가능성 있는 값은 표준 확률 이론과 기대값 이론을 회복할 수 있는가?

주요 결과

• 이 논문은 불확실한 수에 대해 가능성 있는 값(Plausible Value, PV)을 도입함으로써, 연속성 또는 미분 가능성에 대한 가정 없이 Cox의 정리를 증명한다.
• 곱셈법칙은 교환 법칙을 만족하는 등급원소 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)로 주어지며, 이는 가환적인 경우 표준 확률 이론을 복원한다.