[논문 리뷰] Cox's Theorem and the Jaynesian Interpretation of Probability

Alexander Terenin, David Draper|arXiv (Cornell University)|2015. 07. 23.

Philosophy and History of Science참고 문헌 35인용 수 6

한 줄 요약

이 논문은 반복적인 사건에 대한 일관성 공리(axiom)를 도입하여 Cox의 정리를 재구성함으로써, 공정한 주사위를 굴리는 것과 같은 표준 확률적 상황에 더 넓은 적용을 가능하게 한다. 이는 불확실성 하에서의 가능성 추론으로서의 확률 해석을 강화하며, 베이즈 규칙을 통한 확률 이론이 불확실성 하에서의 합리적 추론을 위한 유일한 일관된 프레임워크임을 보여준다.

ABSTRACT

There are multiple proposed interpretations of probability theory: one such interpretation is true-false logic under uncertainty. Cox's Theorem is a representation theorem that states, under a certain set of axioms describing the meaning of uncertainty, that every true-false logic under uncertainty is isomorphic to conditional probability theory. This result was used by Jaynes to develop a philosophical framework in which statistical inference under uncertainty should be conducted through the use of probability, via Bayes' Rule. Unfortunately, most existing correct proofs of Cox's Theorem require restrictive assumptions: for instance, many do not apply even to the simple example of rolling a pair of fair dice. We offer a new axiomatization by replacing various technical conditions with an axiom stating that our theory must be consistent with respect to repeated events. We discuss the implications of our results, both for the philosophy of probability and for the philosophy of statistics.

연구 동기 및 목표

• 공정한 주사위를 굴리는 것과 같은 기본적인 확률적 예제에서 실패하는 기존 Cox의 정리 증명의 한계를 해결하기 위해.
• 불확실성 하에서 가능성 추론으로서의 Jaynes 해석을 더 일반적이고 철학적으로 탄탄한 기초로 발전시키기 위해.
• 이전 증명에서 제한적인 기술적 가정을 대체하여 반복적인 사건에 대한 일관성에 기반한 단 하나의 직관적인 공리로 대체하기 위해.
• 이 새로운 공리를 적용할 경우 조건부 확률 이론이 불확실성 하에서의 합리적 추론을 위한 유일한 프레임워크로 남아 있음을 보여주기 위해.

제안 방법

• 반복적이고 동일한 사건에 적용될 때 이론이 일관성 있어야 한다는 새로운 공리를 제안한다.
• 연속성이나 미분 가능성과 같은 전통적인 기술적 조건을 이 일관성 요구 조건으로 대체하여 적용 범위를 넓힌다.
• 이 새로운 공리를 사용하여 Cox의 정리를 재구성하고, 가능성에 대한 함수 방정식이 여전히 표준 확률 미적분으로 이어짐을 보여준다.
• 유도된 프레임워크가 확률의 공리들을 만족하고, 유일하게 베이즈 규칙을 믿음 갱신의 규칙으로 회복함을 보여준다.
• 표준 예제, 예를 들어 공정한 주사위 한 쌍을 굴리는 것과 같은 사례에 대해 수정된 프레임워크를 적용하여 실용적 일관성을 검증한다.
• 논리적이고 대수적 추론을 사용하여, 새로운 일관성 조건을 만족시키는 유일한 함수들은 조건부 확률과 등가인 함수들임을 보여준다.

실험 결과

연구 질문

• RQ1 제한적인 기술적 가정이 간단한 확률적 예제에서 실패하는 바에 따라 Cox의 정리를 제한 없이 증명할 수 있는가?
• RQ2 반복적인 사건에 대한 일관성 조건이 가능성 추론을 위한 유일한 프레임워크인 확률 미적분을 도출하는 데 충분한가?
• RQ3 수정된 공리 체계는 베이지안 추론을 통계적 추론에 적용할 때 철학적 정당성을 어떻게 향상시키는가?
• RQ4 이 새로운 일관성 원칙을 사용하여 Jaynes의 확률을 가능성 추론으로서의 해석을 강화할 수 있는가?
• RQ5 새로운 프레임워크는 모순 없이 주사위 굴리기와 같은 표준 확률적 상황을 모델링할 수 있는가?

주요 결과

• 반복적인 사건에 대한 일관성이라는 새로운 공리는 Cox의 정리에서 제한적인 기술적 조건을 대체하며, 공정한 주사위를 굴리는 것과 같은 표준 케이스에서 확률 이론의 타당한 유도를 가능하게 한다.
• 수정된 프레임워크는 확률의 규칙과 베이즈 규칙을 오직 유일하게 회복하며, 불확실성 하에서 믿음을 갱신하는 데 있어 오직 일관된 방법임을 보여준다.
• 이전 증명이 실패하는 경우, 예를 들어 대칭적인 결과를 가진 이산적이고 유한한 표본 공간에서도 증명이 그대로 유지된다.
• 유도된 이론은 표준 조건부 확률과 등가이며, 가능성 추론을 위한 오직 일관된 프레임워크가 확률 미적분임을 확인한다.
• 복잡한 분석적 가정 대신 단순하고 직관적인 일관성 조건에 기반하여, 베이지안 추론의 철학적 기초가 강화된다.