[논문 리뷰] First-Order Conditional Logic Revisited

Nir Friedman, Joseph Y. Halpern외 1명|arXiv (Cornell University)|1998. 08. 28.

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

한 줄 요약

이 논문은 통계적 조건문(예: ' большин의 새들은 날 수 있다')과 주관적 조건문(예: '나는 트위티가 날 수 없을 것이라 믿는다')을 구분함으로써 일阶 조건논리의 재검토를 시도하며, 단지 KLM 성질과 표준 일阶 모달논리 공리만을 사용하는 보편성과 완전성 있는 공리체계를 제공하는 가능성 기반 의미론을 제안한다. 이는 다른 접근 방식에서 나타나는 무한 급수 복권 역설과 같은 문제를 피하는 가장 자연스러운 일阶 논리로의 확장임을 보여준다.

ABSTRACT

Conditional logics play an important role in recent attempts to formulate theories of default reasoning. This paper investigates first-order conditional logic. We show that, as for first-order probabilistic logic, it is important not to confound statistical conditionals over the domain (such as ``most birds fly''), and subjective conditionals over possible worlds (such as ``I believe that Tweety is unlikely to fly''). We then address the issue of ascribing semantics to first-order conditional logic. As in the propositional case, there are many possible semantics. To study the problem in a coherent way, we use plausibility structures. These provide us with a general framework in which many of the standard approaches can be embedded. We show that while these standard approaches are all the same at the propositional level, they are significantly different in the context of a first-order language. Furthermore, we show that plausibilities provide the most natural extension of conditional logic to the first-order case: We provide a sound and complete axiomatization that contains only the KLM properties and standard axioms of first-order modal logic. We show that most of the other approaches have additional properties, which result in an inappropriate treatment of an infinitary version of the lottery paradox.

연구 동기 및 목표

• 일阶 논리에서 도메인에 대한 통계적 조건문과 가능한 세계에 대한 주관적 조건문 간의 구분을 명확히 하기.
• 인공지능의 기본 추론을 위해 필수적인 일阶 조건논리에 대한 일관된 의미론의 부재를 해결하기.
• 가능성 구조가 일阶 조건문을 해석하기 위한 통합적이고 자연스러운 프레임워크를 제공함을 보여주기.
• 일阶 경우에서는 명제 논리와는 달리 조건논리의 기존 접근 방식이 상당히 다름을 보여주기.
• 추가적인 특수 조건 없이 오직 KLM 성질과 일阶 모달논리 공리만을 사용하는 타당하고 완전한 공리체계 제공하기.

제안 방법

• 저자들은 일阶 조건문을 해석하기 위한 일반적인 의미론 프레임워크로 가능성 구조를 사용한다.
• 개체, 가능한 세계, 가능성 수준의 세 가지 유형을 가진 논리 체계를 정의한다.
• 가능성 순서를 이용해 조건문의 진리 조건을 정의하며, 조건문 A → B는 가장 가능성 높은 A-세계들에서 B가 참일 경우에 성립한다.
• 표준 모달논리 및 조건논리 추론 기법을 사용하여 이 의미론에 대해 논리의 타당성과 완전성을 증명한다.
• 기존 의미론(예: 선호성 기반, 확률론적)과 비교하여, 다른 접근 방식이 의도하지 않은 성질을 유도함을 보여준다.

실험 결과

연구 질문

• RQ1 일阶 논리에서 통계적 조건문(예: '대부분의 새들은 날 수 있다')과 주관적 조건문(예: '나는 트위티가 날 수 없을 것이라 믿는다')을 어떻게 형식적으로 구분할 수 있는가?
• RQ2 역설을 유발하지 않으면서 일阶 조건논리에서 기본 추론을 지원하는 의미론은 무엇이 가장 적합한가?
• RQ3 왜 조건논리의 명제 수준 의미론은 일阶 경우로 자연스럽게 일반화되지 않는가?
• RQ4 오직 KLM 성질과 일阶 모달논리 공리만을 사용하여 일阶 조건논리의 타당하고 완전한 공리체계를 달성할 수 있는가?
• RQ5 기타 일阶 조건문에 대한 의미론은 무한 급수 복권 역설에서 관찰된 바와 같은 문제적 행동을 유도하는가?

주요 결과

• 가능성 구조는 일阶 조건논리에 대해 자연스럽고 일반적인 의미론을 제공하며, 다양한 접근 방식을 통합한다.
• 제안된 논리는 가능성 의미론에 대해 타당하고 완전하며, 오직 KLM 성질과 표준 일阶 모달논리 공리만을 사용한다.
• 명제 논리와는 달리, 일阶 조건문은 의미론 간에 상당한 차이를 보이며, 많은 접근 방식이 의도하지 않은 성질을 유도한다.
• 기타 일阶 조건논리 접근 방식은 무한 급수 복권 역설에 부적절하게 대응하는 성질을 암시함을 입증한다.
• 기본 추론의 형식화에서 통계적 조건문과 주관적 조건문의 구분은 필수적이며 반드시 유지되어야 한다.