[논문 리뷰] Belief as Willingness to Bet

Jan van Eijck, Bryan Renne|arXiv (Cornell University)|2014. 12. 16.

Logic, Reasoning, and Knowledge참고 문헌 13인용 수 7

한 줄 요약

이 논문은 지식을 확률적 확신(K)으로, 믿음을 1/2 임계값에서 베판할 의사가 있는 것으로 모델링하는 모달 논리 프레임워크 KB.5를 제안한다. 스코트의 정리를 사용하여 완전성을 확립하며, 지식적 이웃성 의미론을 도입하고, 확률적 및 모달적 구조 간의 연결을 제공함으로써 정성적 확률 논리의 기초를 마련한다.

ABSTRACT

We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$. Identifying knowledge with the former and belief with the latter, we may think of $c$ as the agent's betting threshold, which leads to the motto "belief is willingness to bet." The logic $\mathsf{KB.5}$ for $c=\frac 12$ has an $\mathsf{S5}$ $K$ modality along with a sub-normal $B$ modality that extends the minimal modal logic $\mathsf{EMND45}$ by way of four schemes relating $K$ and $B$, one of which is a complex scheme arising out of a theorem due to Scott. Lenzen was the first to use Scott's theorem to show that a version of this logic is sound and complete for the probability interpretation. We reformulate Lenzen's results and present them here in a modern and accessible form. In addition, we introduce a new epistemic neighborhood semantics that will be more familiar to modern modal logicians. Using Scott's theorem, we provide the Lenzen-derivative properties that must be imposed on finite epistemic neighborhood models so as to guarantee the existence of a probability measure respecting the neighborhood function in the appropriate way for threshold $c=\frac 12$. This yields a link between probabilistic and modal neighborhood semantics that we hope will be of use in future work on modal logics of qualitative probability. We leave open the question of which properties must be imposed on finite epistemic neighborhood models so as to guarantee existence of an appropriate probability measure for thresholds $c eq\frac 12$.

연구 동기 및 목표

• 믿음을 확률이 1/2를 초과할 때의 베판 의사로 정의함으로써, K(확신)와 B(임계값 믿음) 연산자를 가진 모달 논리로 믿음을 형식화하는 것.
• 스코트의 정리에 기반한 확률 실현에 대한 현대적이고 접근하기 쉬운 재구성 방식을 사용해 레넨젠의 KB.5 논리에 대한 완전성 결과를 재제시하는 것.
• 유한 모델에서 믿음과 지식을 모델링하기 위해 새로운 직관적인 프레임워크인 지식적 이웃성 의미론을 도입하는 것.
• 유한 지식적 이웃성 모델이 임계값 c = 1/2를 존중하는 확률 측도를 갖도록 할 수 있는 조건을 규명하는 것.
• 이러한 결과를 임계값 c ≠ 1/2와 다중 에이전트 설정으로 확장하는 것에 대해 열어두며, 정의 가능성과 모델 구성에서의 주요 기술적 과제를 부각하는 것.

제안 방법

• 스코트의 정리를 사용하여 유한 집합 W의 부분집합들에 대한 정성적 확률 순서가 언제 확률 측도에 의해 실현될 수 있는지 특성화한다.
• 이 정리를 적용하여 KB.5 논리에서 K와 B 모달 연산자 간의 네 가지 공리(스코트 결과로부터 유도된 하나의 복잡한 체계 포함)를 도출한다.
• 지식적 이웃성 모델을 KB.5의 의미론으로 도입하며, 이웃성은 믿음이 성립하는 세계들의 집합을 나타낸다.
• 유한 이웃성 모델에 대해 특정 집합 이론적 연산에 대한 닫힘 조건 등의 조건을 설정하여, c = 1/2에 대해 호환 가능한 확률 측도의 존재를 보장한다.
• 완전성을 유한 중간 임계값 이웃성 모델 위에서 증명하기 위해 닫힘 구조와 정의 가능성 보조정리를 사용한다.
• 세게르베르그의 표기법(예: (φi E ψi)i=1^m)을 사용하여 스코트의 대수적 조건을 모달 언어로 표현한다.

실험 결과

연구 질문

• RQ1 믿음을 합리적 임계값 c = 1/2에서의 베판 의사로 형식화할 수 있는가? 이는 모달 논리로 어떻게 이루어질 수 있는가?
• RQ2 이 임계값 하에서 지식(K)과 믿음(B) 연산자를 포함하는 논리의 완전성을 보장하기 위해 필요한 최소 공리들은 무엇인가?
• RQ3 유한 지식적 이웃성 모델이 믿음과 지식 모달 연산자를 실현하는 확률 측도를 가질 수 있도록 만족해야 할 구조적 조건은 무엇인가?
• RQ4 스코트의 정리(확률 실현에 관한)는 모달 논리와 지식적 이웃성 의미론과 어떻게 관련이 있는가?
• RQ5 임계값 c ≠ 1/2와 다중 에이전트 설정으로의 확장을 고려할 때의 주요 과제는 무엇인가?

주요 결과

• 임계값 c = 1/2를 가진 논리 KB.5는 스코트 조건을 만족하는 유한 중간 임계값 이웃성 모델의 클래스에 대해 타당하고 완전하다.
• 논문은 스코트의 정리와 이웃성 의미론을 사용하여 레넨젠의 완전성 증명을 현대적이고 접근하기 쉬운 방식으로 재구성한다.
• 믿음과 지식을 모델링하기 위해 더 직관적이고 현대의 모달 논리학자들에게 친숙한 새로운 지식적 이웃성 의미론을 도입한다.
• 믿음과 지식 연산자가 임계값 c = 1/2에서 실현되는 데 필요한 유한 이웃성 모델의 필요 및 충분 조건을 규명한다.
• 완전성 증명은 관련된 모든 집합이 논리 내의 공식에 의해 정의 가능하도록 보장하는 정의 가능성 보조정리와 닫힘 구조에 의존한다.
• 다중 에이전트 설정으로의 확장은 정의 가능성과 (sc) 조건을 다수의 에이전트가 존재하는 상황에서 유지하는 데 기술적 과제가 있어 아직 열려 있다.