[논문 리뷰] A Godel Modal Logic

Xavier Caicedo, Ricardo Óscar Rodríguez|ArXiv.org|2009. 03. 16.

Advanced Algebra and Logic참고 문헌 6인용 수 9

한 줄 요약

이 논문은 [0,1]-값을 가진 세계와 접근성 관계를 사용하여 고델 모달 논리에 대한 다가값 Kripke 의미론을 제안하며, $\boxdot$-분할과 $\bigcirc$-분할에 대해 강한 완전성 공리계를 제공한다. 주요 기여는 $\boxdot$-분할이 날카운 접근성 관계에 의해 특징지어지며, $\bigcirc$-분할은 완전히 흐린 프레임이 필요하다는 것을 보여주는 것이다. 이는 비대칭적인 유한 모델 성질과 T, S4, S5의 모방 체계에 대한 완전성 결과를 수반한다.

ABSTRACT

In this paper we consider an approach where both propositions and the accessibility relation are infinitely many-valued over Gödel algebras. In particular, we consider separately the $\Box $-fragment and the $\Diamond $-fragment of our Gödel modal logic and prove that both logics are complete with respect to the class of models with values in the linear Hetying algebra [0,1]. In addition, we show that the first fragment is uniquely determined by the class of models having crisp accessibility relation but it has not the finite model property. On the contrary, the second fragment is not characterized by crisp accessibility models alone but it has the finite model property. Finally, we show that the approach can be extended to include finitely many rational truth-values à la Pavelka.

연구 동기 및 목표

• 고델 논리에 기반한 다가값 Kripke 의미론을 개발하여, 진리 값과 접근성 관계가 모두 [0,1]에 속하도록 한다.
• 유도된 논리의 $\boxdot$-분할과 $\bigcirc$-분할에 대해 강한 완전성 공리계를 제공한다.
• $\boxdot$ 및 $\bigcirc$ 분할 간의 프레임 요구 조건과 유한 모델 성질의 차이를 조사한다.
• 고델 모방 체계인 고전적 모달 체계 T, S4, S5를 다가값 프레임 조건을 사용하여 특징짓는다.
• 진리 상수 집합에 대한 추가 조건을 포함한 언어로 결과를 확장하여, 상수 집합의 위상적 이산성과 잘서열성 조건 하에서 강한 완전성을 보장한다.

제안 방법

• 세부적으로 $\langle W, S, e \rangle$로 이루어진 고델-Kripke 모델을 정의한다. 여기서 $W$는 세계의 집합이며, $S: W \times W \to [0,1]$는 흐린 접근성 관계이고, $e: W \times \text{Var} \to [0,1]$는 흐린 할당이다.
• 고델 연산을 사용하여 진리 평가를 귀납적으로 확장한다: $a \cdot b = \min(a,b)$, $a \Rightarrow b = 1$ if $a \leq b$, 그렇지 않으면 $b$이며, $\Box\varphi$와 $\Diamond\varphi$는 접근 가능한 세계들에 대한 하한과 상한을 통해 정의한다.
• 강한 완전성을 보장하기 위해 캐논리컬 모델을 사용하여 $\boxdot$-분할에 대해 증명하며, 이는 날카운(이값) 접근성 관계를 갖는 프레임에 의해 특징지어진다는 것을 보여준다.
• 다른 캐논리컬 구성 방식을 사용하여 $\bigcirc$-분할에 대해 강한 완전성을 증명하며, 이는 진정한 흐린 접근성 관계가 필요하다는 것을 보여준다.
• 모델의 세계 수나 진리 값의 수에 관해 $\boxdot$-분할은 유한 모델 성질을 갖지 않지만, $\bigcirc$-분할은 이를 갖는다.
• 프레임워크를 진리 상수 집합 $Q \subseteq [0,1]$를 포함하도록 확장하며, R1–R7의 보조 공리들을 추가하여, $Q$의 이산성과 잘서열성 조건 하에서 타당성과 강한 완전성을 보장한다.

실험 결과

연구 질문

• RQ1 고델 논리를 사용하여 다가값 환경에서 흐림성과 다기능성을 동시에 다룰 수 있는 모달 논리의 확장을 어떻게 수행할 수 있는가?
• RQ2 $\boxdot$-분할과 $\bigcirc$-분할이 프레임 요구 조건과 유한 모델 성질에서 비대칭적인 행동을 보이는 이유는 무엇인가?
• RQ3 고델 모방 체계인 T, S4, S5는 다가값 프레임 조건을 사용하여 특징지워질 수 있는가?
• RQ4 강한 완전성은 [0,1]-값 접근성 관계를 갖는 다가값 Kripke 의미론 하에서 $\boxdot$ 및 $\bigcirc$-분할에 대해 달성 가능한가?
• RQ5 진리 상수 집합 $Q \subseteq [0,1]$에 대해 어떤 조건이 강한 완전성을 보장하는가?

주요 결과

• $\boxdot$-분할은 날카운(이값) 접근성 관계를 갖는 프레임에 의해 특징지어지며, $\bigcirc$-분할은 진정한 흐린 접근성 관계가 필요하다.
• $\boxdot$-분할은 세계 수나 진리 값의 수에 관해 유한 모델 성질을 갖지 않지만, $\bigcirc$-분할은 이를 갖는다.
• T, S4, S5 체계의 고델 모방 체계는 각각 반사성, 전이성, 대칭성의 고전적 프레임 조건의 다가값 형태로 특징지워진다.
• 공리 $\rhd_{\boxdot}$와 $\rhd_{\bigcirc}$는 캐논리컬 모델에서 대칭성을 포괄하지 못하므로, 대칭 프레임을 공리화하기 위해 더 강력한 공리의 필요성이 제기된다.
• 위상적으로 이산적이고 잘서열된 진리 상수 집합 $Q \subseteq [0,1]$을 추가하면, 확장된 논리 $\mathcal{G}_{\boxdot}(Q)$와 $\mathcal{G}_{\bigcirc}(Q)$에 대해 강한 완전성이 달성되며, 보조 공리들이 타당성과 완전성을 보장한다.
• 두 연산자 $\boxdot$와 $\bigcirc$를 모두 포함한 전체 논리는 두 분할의 합집합으로는 포괄되지 않지만, 파이어셔-서비의 연결 공리들을 추가하면 강한 완전성이 달성된다.