[논문 리뷰] "Knowing value" logic as a normal modal logic

Tao Gu, Yanjing Wang|arXiv (Cornell University)|2016. 04. 29.

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

한 줄 요약

이 논문은 기존에 비정상적이라고 여겨졌던 '값을 아는' 논리가, Kv 연산자의 부정을 특수한 이항 다이아몬드 모달리티로 간주함으로써 정상적 모달 논리로 재해석될 수 있음을 보여준다. 삼항 접근 가능성 관계 $ R_i^c $ 를 도입함으로써 의미론이 단순화되고, 이로 인해 투명한 정상 체계를 얻게 되어, 완전성 증명이 더 쉬워지고 '값을 아는가'와 같은 지식 표현의 깊이 있는 이해가 가능해진다.

ABSTRACT

Recent years witness a growing interest in nonstandard epistemic logics of "knowing whether", "knowing what", "knowing how", and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may be invalid. In this paper, we show that the conditional "knowing value" logic proposed by Wang and Fan \cite{WF13} can be viewed as a disguised normal modal logic by treating the negation of the Kv operator as a special diamond. Under this perspective, it turns out that the original first-order Kripke semantics can be greatly simplified by introducing a ternary relation $R_i^c$ in standard Kripke models, which associates one world with two $i$-accessible worlds that do not agree on the value of constant $c$. Under intuitive constraints, the modal logic based on such Kripke models is exactly the one studied by Wang and Fan (2013,2014}. Moreover, there is a very natural binary generalization of the "knowing value" diamond, which, surprisingly, does not increase the expressive power of the logic. The resulting logic with the binary diamond has a transparent normal modal system, which sharpens our understanding of the "knowing value" logic and simplifies some previously hard problems.

연구 동기 및 목표

• 지식의 종류인 '값을 아는가', '어떻게 아는가', '무엇을 아는가'에 대한 지식 논리에서 비정상성 문제를 해결하기 위해.
• 삼항 접근 가능성 관계를 도입하여 '값을 아는' 논리(Kv)의 복잡한 일阶 Kripke 의미론을 단순화하기 위해.
• 비정상 논리로 간주되는 이 논리를 은폐된 이항 다이아몬드 모달리티를 통해 정상 모달 논리로 재구성함을 보여주기 위해.
• 더 강력한 완전성 및 결정 가능성 결과를 지원할 수 있는 투명하고 공리화된 정상 체계를 제공하기 위해.

제안 방법

• 세 개의 세계를 연결하는 삼항 관계 $ R_i^c $ 를 도입하여, 한 세계에서 두 개의 $ i $-접근 가능한 세계가 상수 $ c $ 의 값에서 다름을 나타내도록 한다.
• 이항 다이아몬드 모달리티 $ \newcommand{\rDiamond}{\raisebox{.2ex}{\text{\textperiodcentered}}}\rDiamond_i^c $ 를 사용하여 Kv 연산자를 재구성하며, $ \rDiamond_i^c \top $ 가 참이 되는 조건은 $ c $ 의 값이 다른 두 개의 $ i $-도달 가능한 세계가 존재할 때이다.
• 최대 일致 집합을 사용하여 캐논리컬 모델을 정의하고, 논리적 닫힘과 일치 조건에서 캐논리컬 관계 $ R_i^c $ 를 유도한다.
• $ \rDiamond_i^c $ 에 대한 존재성 보조정리를 증명하여, $ \rDiamond_i^c \top \notin s $ 이면 캐논리컬 모델 내에서 그러한 쌍이 존재하지 않음을 보장한다.
• 공식 복잡도에 대한 귀납법을 사용하여 캐논리컬 모델에서 진리 보존성을 확립한다: $ \text{M}, s \Vdash \phi \iff \phi \in s $.
• 새로운 삼항 모델에 대해 $ \mathbb{SMLKV} $ 체계의 강력한 완전성을 증명하고, 이를 원래의 $ \textbf{ELKv}^r $ 모델로 이행한다.

실험 결과

연구 질문

• RQ1 비정상적 '값을 아는' 논리는 의미론 재구성으로 인해 정상 모달 논리로 재구성될 수 있는가?
• RQ2 삼항 접근 가능성 관계를 통해 '값을 아는' 논리의 일阶 Kripke 의미론은 어떻게 단순화될 수 있는가?
• RQ3 값의 불일치를 위한 이항 다이아몬드 모달리티를 도입해도 원래 논리의 표현 능력은 유지되는가?
• RQ4 단순화된 의미론에 대해 투명하고 완전한 공리 체계를 개발할 수 있는가?

주요 결과

• ‘값을 아는’ 논리는 $ \neg \text{Kv}_i(\phi, c) $ 를 이항 다이아몬드 $ \rDiamond_i^c \phi $ 로 간주함으로써 정상 모달 논리로 동치로 재해석될 수 있다.
• 세 개의 세계를 연결하는 삼항 관계 $ R_i^c $ 는 $ c $ 의 값이 다른 두 개의 $ i $-접근 가능한 세계를 포함함으로써 논리에 대해 단순하고 직관적인 의미론을 제공한다.
• 이항 다이아몬드 $ \rDiamond_i^c $ 를 갖는 최종 논리는 복잡한 문법에도 불구하고 원래의 ‘값을 아는’ 논리와 동일한 표현 능력을 유지한다.
• $ \mathbb{SMLKV} $ 체계는 새로운 삼항 모델에 대해 강력한 완전성을 지니며, 이 완전성은 원래의 $ \textbf{ELKv}^r $ 모델로도 이행된다.
• 캐논리컬 모델 구성은 모델 내 진리가 최대 일치 집합에 속하는 것과 정확히 일치함을 검증하여 완전성 증명의 타당성을 입증한다.