[논문 리뷰] Logics of Essence and Accident

Jie Fan|arXiv (Cornell University)|2015. 06. 05.

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

한 줄 요약

이 논문은 기본 본질 연산자를 사용하여 본질과 우연성을 de dicto로 형식화하고, 그 모델 이론과 이분산 프레임워크를 수립하며, 이전 연구에서 존재하던 문법-의미 불일치 문제를 해결하는 비반사적이고 새로운 캐논리컬 모델 구축 방법을 제안한다. 이는 대칭 프레임을 포함한 다양한 프레임 클래스에서 완전성을 입증하고, 특수 프레임에 대해 공리들을 자동으로 계산할 수 있는 방법을 제공한다. 이는 이전 문헌에서 제기된 열린 질문들을 해결한다.

ABSTRACT

In the literature, essence is formalized in two different ways, either de dicto, or de re. Following \cite{Marcos:2005}, we adopt its de dicto formalization: a formula is essential, if once it is true, it is necessarily true; otherwise, it is accidental. In this article, we study the model theory and axiomatization of the logic of essence and accident, i.e. the logic with essence operator (or accident operator) as the only primitive modality. We show that the logic of essence and accident is less expressive than modal logic on non-reflexive models, but the two logics are equally expressive on reflexive models. We prove that some frame properties are undefinable in the logic of essence and accident, while some are. We propose the suitable bisimulation for this logic, based on which we characterize the expressive power of this logic within modal logic and within first-order logic. We axiomatize this logic over various frame classes, among which the symmetric case is missing, and our method is more suitable than those in the literature. We also find a method to compute certain axioms used to axiomatize this logic over special frames in the literature. As a side effect, we answer some open questions raised in \cite{Marcos:2005}.

연구 동기 및 목표

• 이전의 본질과 우연의 논리에 대한 공리체계에서 캐논리컬 프레임은 반사적이지만 의미는 임의의 프레임에서 정의된다는 점에서 발생하는 문법-의미 불일치 문제를 해결하기 위해.
• 모달 논리 및 일阶논리 내에서 이 논리의 표현력을 특징짓는 데 적합한 이분산 개념을 개발하기 위해.
• 특히 대칭 프레임에 대한 격차를 메우며, 다양한 프레임 클래스에서 이 논리에 대해 더 적절하고 일반적인 공리체계를 제공하기 위해.
• 문헌 [11]에서 제기된 프레임 정의 가능성과 완전성에 관한 열린 질문들을 해결하기 위해.
• 특정 프레임 유형에서 논리를 특징짓는 데 필요한 공리를 자동으로 계산할 수 있는 방법을 제공하기 위해.

제안 방법

• 반사성을 강제하지 않는 새로운 캐논리컬 모델 구축 방법을 제안하며, 캐논리컬 관계는 집합 $\{\varphi \mid \circ\varphi \land \varphi \in s\}$를 통해 정의된다.
• 캐논리컬 관계를 기반으로 한 맞춤형 이분산을 도입하여, 모델 간의 비교와 표현력 분석을 수행한다.
• 반사적 프레임에서 $\mathcal{L}(\Box)$에서 $\mathcal{L}(\circ)$로의 번역을 통해 대칭 프레임에서의 완전성 결과를 도출한다.
• 프레임 대응 및 정의 가능성 기법을 적용하여 논리에서 표현 가능한 프레임 성질을 파악한다.
• 정련된 캐논리컬 모델을 사용한 표준 증명 이론적 방법(완전성, 타당성)을 활용하여 다양한 프레임 클래스에서의 강한 완전성을 확립한다.
• 프레임 조건과 그 논리적 동치를 분석하여 특수 프레임 클래스에 대해 공리를 체계적으로 계산하는 방법을 개발한다.

실험 결과

연구 질문

• RQ1 본질과 우연의 논리에 대해 이전 연구에서 나타난 반사성 편향을 피하는 캐논리컬 모델을 구성할 수 있는가?
• RQ2 본질과 우연의 논리에서 정의 가능한 프레임 성질은 무엇이며, 그렇지 않은 것은 무엇인가?
• RQ3 본질과 우연의 논리의 표현력은 표준 모달 논리와 어떻게 비교되는가?
• RQ4 대칭 프레임에서의 올바른 공리체계는 무엇이며, 이를 체계적으로 유도할 수 있는가?
• RQ5 특정 프레임 유형에서 논리를 특징짓는 데 필요한 공리를 자동으로 계산할 수 있는 방법을 개발할 수 있는가?

주요 결과

• 비반사적 모델에서는 본질과 우연의 논리가 모달 논리보다 표현력이 떨어지지만, 반사적 모델에서는 동일하게 표현 가능하다.
• 일부 프레임 성질(예: 비반사성)은 정의할 수 없지만, 다른 성질(예: 대칭성, 유클리드성, 추이성)은 정의할 수 있다.
• 본질과 우연의 논리에서 모델 간 논리적 동치를 올바르게 포착하는 새로운 이분산 관계가 제안된다.
• 제안된 캐논리컬 모델 구축 방법은 반사성을 강제하지 않음으로써 이전 연구에서 존재하던 문법-의미 불일치 문제를 해결한다.
• 논리는 $\mathcal{S}5$-프레임에서 공리체계 $\mathbf{KB5}^\circ$를 통해 강한 완전성을 입증하였으며, $\mathcal{L}(\Box)$에서의 번역을 통해 대칭 프레임에서도 완전성이 확립되었다.
• 특수 프레임 클래스에 대해 공리를 자동으로 계산할 수 있는 체계적 방법이 개발되어 [11]에서 제기된 열린 문제를 해결하였다.