[논문 리뷰] An Algebraic Semantics for Possibilistic Logic

Luca Boldrin, Claudio Sossai|arXiv (Cornell University)|2013. 02. 20.

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

한 줄 요약

이 논문은 가능성 논리의 언어에 새로운 결합자(⊗)와 부정 연산자를 추가하여 가능성 함수의 격자—즉, 양철(quantale)에 기반한 대수적 의미론을 제안한다. 이는 다양한 출처의 정보로부터의 동적 해석을 가능하게 하며, 소리 있고 완전한 게ン체닝 스타일의 계산법을 제시함으로써 비고전적, 가능성 기반 추론의 기초를 마련한다. 진리 기능성은 파벨카 스타일의 프레임워크에서 분석된다.

ABSTRACT

The first contribution of this paper is the presentation of a Pavelka - like formulation of possibilistic logic in which the language is naturally enriched by two connectives which represent negation (eg) and a new type of conjunction (otimes). The space of truth values for this logic is the lattice of possibility functions, that, from an algebraic point of view, forms a quantal. A second contribution comes from the understanding of the new conjunction as the combination of tokens of information coming from different sources, which makes our language "dynamic". A Gentzen calculus is presented, which is proved sound and complete with respect to the given semantics. The problem of truth functionality is discussed in this context.

연구 동기 및 목표

• 불확실성 하에서의 추론을 지원하는 공식적인 대수적 프레임워크를 개발하는 것.
• 서로 다른 출처에서 온 정보의 융합을 모델링하는 새로운 결합자(⊗)로 논리 언어를 풍부화하는 것.
• 가능성 함수로 구성된 의미론을 제공하여 불확실성의 대수적 처리를 가능하게 하는 것.
• 비고전적, 가능성 기반 환경에서 파벨카 스타일의 접근을 사용하여 진리 기능성을 공식화하는 것.
• 제안된 논리에 대해 신뢰할 수 있고 완전한 게ン체닝 계산법을 수립하는 것.

제안 방법

• 가능성 논리를 두 가지 새로운 연결자—부정 연산자와 서로 다른 출처에서 온 정보를 조합하는 동적 결합자(⊗)—로 확장한다.
• 진리값을 가능성 함수로 모델링하여, 대수적으로 양철이 되는 격자로 구성되며, 불확실성 정도에 대한 대수적 연산을 가능하게 한다.
• 양철의 구조에 맞추어 조정된 구조적 규칙을 갖춘 게ン체닝 스타일의 순차 계산법을 정의하여 논리적 일관성을 확보한다.
• 대수적 의미론에 대해 계산법의 타당성과 완전성을 증명한다.
• 비고전적, 가능성 기반 논리 환경에서 진리 기능성 문제를 분석한다.
• 양철의 대수적 구조를 활용하여 논리 연결자와 진리값의 행동을 해석한다.

실험 결과

연구 질문

• RQ1 다양한 출처에서 온 정보의 융합을 모델링할 수 있는 동적 결합자를 가능성 논리에 어떻게 통합할 수 있는가?
• RQ2 논리적 프레임워크에서 가능성 함수의 의미론을 가장 잘 포착하는 대수적 구조는 무엇인가?
• RQ3 이 확장된 논리에 대해 타당성과 완전성이 보장되는 게ン체닝 계산법을 구성할 수 있는가?
• RQ4 비고전적, 가능성 이론 기반 환경에서 진리 기능성은 어떻게 행동하는가?
• RQ5 파벨카 스타일의 프레임워크는 논리적 추론에서 불확실성의 형식적 처리를 어떻게 가능하게 하는가?

주요 결과

• 제안된 논리는 표준 가능성 논리에 정보의 융합을 모델링하는 새로운 결합자(⊗)를 추가하여 동적 성격을 지닌다.
• 가능성 함수의 공간은 양철을 이룬다. 이는 불확실성 하에서의 추론을 위한 강력한 대수적 기초를 제공한다.
• 대수적 의미론에 대해 게ン체닝 계산법이 타당성과 완전성 모두를 확보함을 증명하였다. 이는 논리 체계의 타당성을 검증한다.
• 논리가 비고전적 진리값을 사용하더라도, 주어진 의미론 하에서 진리 기능성이 유지됨을 입증하였다.
• 파벨카 스타일의 프레임워크를 사용함으로써 논리적 추론에서 신뢰도와 불확실성의 정도를 형식적으로 다룰 수 있다.
• 대수적 의미론은 가능성 함수에 대한 연산을 통해 논리 연결자의 명확한 해석을 가능하게 한다.