[논문 리뷰] A New Representation Theorem for Many-valued Modal Logics

Zoran Majkić|arXiv (Cornell University)|2011. 03. 01.

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

한 줄 요약

이 논문은 진리 유지 추론을 기반으로 한 다가치 모달 논리에 대한 새로운 표현 정리(Representation Theorem)를 제안하며, 대수적 모델과 크립케 스타일의 관계적 구조 사이의 직접적인 연결 고리를 확립한다. 완전 분배 격자에서의 조인-기본 원소(join-irreducible elements)를 가능한 세계로 사용하는 표준적, 자기참조적인 크립케 의미론을 제공하며, 주요 결과로 벨냅의 4가지 값 이중격자에서의 모순저항적 흐린 논리와 자기지식 논리에 대한 압축된 표현을 확보한다.

ABSTRACT

We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of a given logic and relational structures used to define the Kripke possible-world semantics for it. Such a new framework offers a new semantics for many-valued logics based on the truth-invariance entailment. Consequently, it is substantially different from current definitions based on a matrix with a designated subset of logic values, used for the satisfaction relation, often difficult to fix. In the case when the many-valued modal logics are based on the set of truth-values that are complete distributive lattices we obtain a compact autoreferential Kripke-style canonical representation. The Kripke-style semantics for this subclass of modal logics have the joint-irreducible subset of the carrier set of many-valued algebras as set of possible worlds. A significant member of this subclass is the paraconsistent fuzzy logic extended by new logic values in order to also deal with incomplete and inconsistent information. This new theory is applied for the case of autoepistemic intuitionistic many-valued logic, based on Belnap's 4-valued bilattice, as a minimal extension of classical logic used to manage incomplete and inconsistent information as well.

연구 동기 및 목표

• 기존의 매트릭스 기반 의미론의 한계를 극복하기 위해 다가치 모달 논리에서 표현 정리의 새로운 프레임워크를 개발하는 것.
• 대수적 모델과 크립케 스타일의 관계적 의미론 사이의 더 강력하고 직접적인 대응 관계를 확립하는 것.
• 진리값이 완전 분배 격자가 되는 다가치 논리에 대해 표준적, 자기참조적인 크립케 표현을 제공하는 것.
• 특히 벨냅의 4가지 값 이중격자에서 불완전하고 모순되는 정보를 처리하기 위해 이 프레임워크를 모순저항적 및 흐린 논리에 적용하는 것.
• 이중격자 이중성(duality)을 활용하여 자동지식 인식 이론적 다가치 논리의 표현 정리를 제시하는 것.

제안 방법

• 기존의 매트릭스 기반 접근 방식 대신, 특수한 부분집합을 고정할 필요 없이 진리 유지 추론 관계를 의미론의 기초로 제안한다.
• 완전 분배 격자의 진리값 집합을 기반으로 한 표준적 멱집합 확장 대수를 정의한다.
• 진리값 격자의 조인-기본 원소(0 포함)의 집합을 크립케 프레임에서 가능한 세계의 집합으로 사용한다.
• 진리 순서와 지식 순서 격자 간의 이sov모피즘을 적용하여 이중 표현을 구성한다(예: 벨냅의 D-이중격자).
• 단사 준동형사상과 이sov모피즘을 사용하여 대수적 모델, 진리 순서, 지식 순서 표현 간의 가환 다이어그램(Commutative Diagram)을 수립한다.
• 이sov모피즘을 멱집합으로 확장하고, 부분대수로의 축소를 통해 모달 구조와 추론 관계를 유지한다.

실험 결과

연구 질문

• RQ1 매트릭스 의미론에서 임의의 특수 부분집합에 의존하지 않도록 다가치 모달 논리의 표현 정리를 어떻게 재정의할 수 있는가?
• RQ2 진리값이 완전 분배 격자가 되는 다가치 논리에서 가능한 세계가 조인-기본 원소(0 포함)로 구성된 표준적 크립케 스타일 의미론은 무엇인가?
• RQ3 벨냅의 이중격자에서 진리 순서와 지식 순서 간의 이중성은 어떻게 자동지식 인식 이론적 논리의 표현에 활용될 수 있는가?
• RQ4 진리값의 대수적 구조에서 직접적으로 압축되고 자기참조적인 크립케 모델을 구성할 수 있는가?
• RQ5 조인-기본 원소는 이러한 논리의 크립케 모델에서 가능한 세계를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 제안된 진리 유지 의미론은 매트릭스 기반 추론의 실질적인 대안을 제공하며, 진리값 부분집합을 고정할 필요 없이 작동한다.
• 진리값이 완전 분배 격자인 다가치 논리에서는 조인-기본 원소(0 포함)의 집합을 가능한 세계로 사용하는 표준적 크립케 스타일 모델이 구성된다.
• 결과적으로 도출된 크립케 프레임은 원래의 다가치 대수와 모달 연산자를 포함한 고유한 부분대수로 이sov모피즘을 이루며, 의미론의 보존을 보장한다.
• 벨냅의 4가지 값 이중격자에 대한 표현 정리는 진리 순서와 지식 순서 양쪽에서 인식 이론적 논리의 이중 표현을 가능하게 한다.
• 정리 5의 가환 다이어그램은 대수적 모델, 진리 순서, 지식 순서 표현 간에 확장된 이sov모피즘 $\partial_{\mathcal{P}}$ 와 축소 사상 $\partial^{*}_{\mathcal{P}}$ 를 통해 이sov모피즘이 성립함을 확인한다.
• 이 프레임워크는 복잡한 자연 이중성 정리에서 유도된 이중 표현과 대비하여, 크립케 모델의 단순하고 압축적이며 자기참조적인 기술을 가능하게 한다.