[논문 리뷰] On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness

Teresa Alsinet, Lluı́s Godo외 1명|arXiv (Cornell University)|2013. 01. 30.

Logic, programming, and type systems참고 문헌 5인용 수 24

한 줄 요약

이 논문은 가능성적 불확실성과 퍼지 논리를 통합하는 PLFC라는 논리를 도입하며, 그 의미 이론을 형식화하고, 타당성과 반증 기반의 해상법을 개발한다. 퍼지 리터럴에 대한 새로운 최일반 일치기구를 제안하고, 불확실성과 퍼지성의 동시 존재 하에서 자동 추론이 가능한 증명 절차를 구축함으로써, 고전적 가능성 논리를 퍼지 상수와 퍼지로 제한된 기댓값을 다룰 수 있도록 확장한다.

ABSTRACT

Possibilistic logic is a well-known graded logic of uncertainty suitable to reason under incomplete information and partially inconsistent knowledge, which is built upon classical first order logic. There exists for Possibilistic logic a proof procedure based on a refutation complete resolution-style calculus. Recently, a syntactical extension of first order Possibilistic logic (called PLFC) dealing with fuzzy constants and fuzzily restricted quantifiers has been proposed. Our aim is to present steps towards both the formalization of PLFC itself and an automated deduction system for it by (i) providing a formal semantics; (ii) defining a sound resolution-style calculus by refutation; and (iii) describing a first-order proof procedure for PLFC clauses based on (ii) and on a novel notion of most general substitution of two literals in a resolution step. In contrast to standard Possibilistic logic semantics, truth-evaluation of formulas with fuzzy constants are many-valued instead of boolean, and consequently an extended notion of possibilistic uncertainty is also needed.

연구 동기 및 목표

• PLFC의 의미 이론을 형식화함. 이는 가능성적 불확실성과 퍼지 논리를 통합하는 논리이다.
• PLFC에서 자동 추론을 위한 타당한 해상법 스타일의 계산법을 개발함.
• 반증 기반 증명 절차에서 퍼지 리터럴을 해결하기 위한 최일반 치환 기구를 정의함.
• 고전적 가능성 논리를 퍼지 상수와 퍼지로 제한된 기댓값을 다룰 수 있도록 확장함.

제안 방법

• 퍼지 상수를 포함한 공식에 대해 다가치 진리 평가를 제안하여 고전적 부울 의미 이론을 대체함.
• 퍼지 진리 값에 맞추어 확장된 가능성적 불확실성의 개념을 도입함.
• 반증 기반에 기반한 PLFC 절단에 대한 해상법 계산법을 정의하고 타당성을 보장함.
• 해상법 단계에서 두 리터럴에 적합한 새로운 최일반 일치기구를 도입하며, 이는 퍼지 맥락에 맞게 조정됨.
• 해상법 계산법과 새로운 일치 기구에 기반한 일阶 증명 절차를 구성함.
• 증명 절차가 반증에 대해 완전함을 보장하여 PLFC에서의 자동 추론을 가능하게 함.

실험 결과

연구 질문

• RQ1 어떻게 가능성 논리를 퍼지 상수와 퍼지로 제한된 기댓값을 다룰 수 있도록 공식적으로 확장할 수 있는가?
• RQ2 어떤 의미 이론이 가능성 프레임워크 내에서 퍼지 요소를 포함한 공식의 진리 평가를 지원하는 데 필요한가?
• RQ3 어떻게 타당성과 완전성을 보장하는 해상법 기반 추론 체계를 PLFC에 설계할 수 있는가?
• RQ4 반증 계산법에서 퍼지 리터럴을 해결하기 위해 필요한 새로운 일치 기구는 무엇인가?
• RQ5 어떻게 불확실성과 퍼지성을 동시에 다루는 논리에서 자동 추론을 달성할 수 있는가?

주요 결과

• 논문은 PLFC에 대해 공식적인 다가치 의미 이론을 수립하여 고전적 부울 진리 값 대신 퍼지 진리 정도를 도입한다.
• 퍼지 공식의 다가치 의미 이론과 일치하도록 확장된 가능성적 불확실성의 개념을 정의한다.
• PLFC에 대한 타당한 해상법 스타일의 계산법을 공식적으로 정의하여 반증 기반 추론을 가능하게 한다.
• 퍼지 리터럴을 효과적으로 해결하기 위해 필수적인 새로운 최일반 일치기구를 도입한다.
• PLFC에 대한 완전한 일阶 증명 절차를 개발하였으며, 이는 해상법 계산법과 새로운 일치 기구를 통합한다.
• 이러한 접근은 고전적 가능성 논리를 퍼지성과 불확실성을 통합적으로 다룰 수 있도록 확장하며, 자동 추론 프레임워크를 제공한다.