[논문 리뷰] Coping with the Limitations of Rational Inference in the Framework of Possibility Theory

Salem Benferhat, Didier Dubois외 1명|HAL (Le Centre pour la Communication Scientifique Directe)|2013. 02. 13.

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

한 줄 요약

이 논문은 가능성 이론 내에서의 유추의 한계를 다루며, 해석 순서를 정교화하기 위해 독립성 제약 조건을 도입함으로써 더 직관적인 기본 추론을 가능하게 한다. 유추의 가정, 특히 지식 기반에 포함되지 않은 문장 기호에 대해 추가하는 것만으로도 합리적 폐쇄에서의 직관에 어긋나는 결론을 수정할 수 있으며, 선호성 의미론을 위반하지 않으면서도 원하는 결과를 보장할 수 있음을 보여준다.

ABSTRACT

Possibility theory offers a framework where both Lehmann's "preferential inference" and the more productive (but less cautious) "rational closure inference" can be represented. However, there are situations where the second inference does not provide expected results either because it cannot produce them, or even provide counter-intuitive conclusions. This state of facts is not due to the principle of selecting a unique ordering of interpretations (which can be encoded by one possibility distribution), but rather to the absence of constraints expressing pieces of knowledge we have implicitly in mind. It is advocated in this paper that constraints induced by independence information can help finding the right ordering of interpretations. In particular, independence constraints can be systematically assumed with respect to formulas composed of literals which do not appear in the conditional knowledge base, or for default rules with respect to situations which are "normal" according to the other default rules in the base. The notion of independence which is used can be easily expressed in the qualitative setting of possibility theory. Moreover, when a counter-intuitive plausible conclusion of a set of defaults, is in its rational closure, but not in its preferential closure, it is always possible to repair the set of defaults so as to produce the desired conclusion.

연구 동기 및 목표

• 가능성 이론 내에서 합리적 폐쇄 추론에 의해 발생하는 직관에 어긋나는 결과를 해결하기 위해.
• 유일한 가능성 분포를 사용하고 있음에도 불구하고 합리적 폐쇄가 특정 경우에 실패하는 이유를 규명하기 위해.
• 특히 독립성 제약 조건을 포함한 암묵적 지식을 추론 과정에 통합하는 메커니즘을 제안하기 위해.
• 합리적 폐쇄에서 발생하는 잘못된 결과를 독립성 가정을 통해 수정함으로써 올바른, 원하는 결론을 도출할 수 있음을 보여주기 위해.
• 기본 추론 프레임워크에서 사용하기 위해 질적 가능성 이론 내에서 독립성을 체계화하기 위해.

제안 방법

• 조건부 지식 기반에 포함되지 않은 문장 기호 간의 독립성 제약 조건을 도입한다.
• 기타 기본 규칙에 의해 정의된 '정상적' 상황을 위한 기본 규칙에 독립성 가정을 적용한다.
• 독립성에서 유도된 제약 조건을 사용하여 질적 가능성 이론을 활용해 해석 순서를 표현한다.
• 합리적 폐쇄가 직관에 어긋나는 결과를 도출할 경우, 기본 집합을 수리하는 메커니즘을 정의한다.
• 확장된 제약 조건 집합 하에서 일관되고 직관적인 해석을 선택하기 위해 선호성 의미론을 활용한다.
• 수리된 집합이 원하는 결과를 도출하면서도 합리적 폐쇄 성질을 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 유일한 가능성 분포를 사용하고 있음에도 불구하고 합리적 폐쇄가 때로 직관에 어긋나는 결과를 도출하는 이유는 무엇인가?
• RQ2 표준 합리적 폐쇄에서 부족한 암묵적 지식은 무엇이며, 이것이 이러한 실패를 초래하는가?
• RQ3 관련 없는 문장 기호 간의 독립성 제약 조건은 가능성 이론 내 기본 추론을 어떻게 향상시킬 수 있는가?
• RQ4 합리적 폐쇄가 실패할 경우, 기본 지식 기반을 체계적으로 수리하여 원하는 타당한 결론을 도출할 수 있는가?
• RQ5 독립성 가정이 일관되고 직관적인 해석 순서를 보장하기 위한 형식적 조건은 무엇인가?

주요 결과

• 합리적 폐쇄가 직관에 어긋나는 결과를 도출하는 것은 특정 가능성 분포의 선택 때문이 아니라, 암묵적인 제약 조건이 누락되어 있기 때문이다.
• 특히 지식 기반에 포함되지 않은 문장 기호에 대한 독립성 제약 조건이 합리적 폐쇄의 모순을 해결할 수 있다.
• 타당한 결론이 합리적 폐쇄에는 포함되지만 선호성 폐쇄에는 포함되지 않을 경우, 독립성 가정을 통해 기본 집합을 수리하여 이를 포함시킬 수 있다.
• 수리 메커니즘은 합리적 폐쇄 의미론을 유지하면서도 결과를 직관적인 기대와 일치시킨다.
• 가능성 이론 내에서 독립성을 형식적으로 표현하고 기본 추론 프레임워크에 통합할 수 있으며, 이는 기존의 질적 프레임워크를 변경하지 않는다.
• 제안된 방법은 주어진 제약 조건 하에서 결론이 논리적으로 일관되면서도 의미적으로 직관적인 결과를 보장한다.