[논문 리뷰] Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.

Yves Moinard|arXiv (Cornell University)|2002. 01. 01.

Advanced Algebra and Logic인용 수 1

한 줄 요약

이 논문은 함의가 양쪽 모두에서 논리적 동치성을 유지할 조건 하에서 Makinson의 선호함의와 Kraus-Lehmann-Magidor의 선호함의 프레임워크 간의 동치성을 확립한다. 이들의 동치성에 대한 특성 기술을 단순화하고, 더 넓은 선호함의 설정으로 결과를 확장하면서도 모델의 단순성을 유지한다.

ABSTRACT

About ten years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main competitor being a more general version defined by Makinson (MAK). These two versions have already been compared, but it is time to revisit these comparisons. Here are our three main results: (1) These two notions are equivalent, provided that we restrict our attention, as done in KLM, to the cases where the entailment respects logical equivalence (on the left and on the right). (2) A serious simplification of the description of the fundamental cases in which MAK is equivalent to KLM, including a natural passage in both ways. (3) The two previous results are given for preferential entailments more general than considered in some of the original texts, but they apply also to the original definitions and, for this particular case also, the models can be simplified.

연구 동기 및 목표

• 더 일반적인 설정에서 Makinson의 선호함의와 Kraus-Lehmann-Magidor의 선호함의 프레임워크를 재표현하고 비교하기.
• 두 함의 체계가 동치가 되는 조건을 명확히 하기.
• Makinson의 함의가 KLM의 것과 일치하는 경우의 특성 기술을 단순화하여 상하향 번역이 가능하도록 하기.
• 원래 정의를 초월한 더 일반적인 선호함의 설정으로 동치성 결과를 확장하면서도 모델의 단순성을 유지하기.

제안 방법

• 논리적 동치성 유지 조건을 핵심 제약 조건으로 삼아 선호함의 체계 간의 형식적 비교.
• 함의를 좌우 양측에서 논리적 동치성을 존중하는 경우로 제한.
• Makinson와 KLM의 함의 조건 간 자연스럽고 상하향 가능한 번역을 도출.
• 원래 정의를 초월해 더 넓은 선호관계를 포함하는 함의 체계로 프레임워크를 일반화.
• 동치성 결과를 활용하여 함의 체계의 모델을 단순화.

실험 결과

연구 질문

• RQ1 Makinson의 선호함의와 KLM의 선호함의 체계가 언제 동치가 되는가?
• RQ2 두 체계 간의 동치성은 어떻게 더 단순하고 자연스럽게 특성 기술할 수 있는가?
• RQ3 원래 정의를 초월해 더 일반적인 선호함의 설정으로 동치성 결과를 확장할 수 있는가?
• RQ4 동치성 조건이 성립할 경우, 이러한 함의 체계의 모델에서 어떤 구조적 단순화를 달성할 수 있는가?

주요 결과

• 함의가 전건과 후건 양측에서 논리적 동치성을 존중할 경우, Makinson의 선호함의와 KLM의 선호함의 체계는 동치이다.
• 두 함의 체계 간에 자연스럽고 상하향 가능한 번역이 확립되어 비교를 단순화한다.
• 동치성은 원래 정의뿐 아니라 더 일반적인 선호함의 설정으로도 성립한다.
• 동치성 조건 하에서 두 함의 체계의 모델를 단순화할 수 있으며, 정확성은 유지하면서 복잡성을 감소시킬 수 있다.