[논문 리뷰] Plausibility Measures and Default Reasoning

Nir Friedman, Joseph Y. Halpern|arXiv (Cornell University)|1998. 08. 29.

Logic, Reasoning, and Knowledge참고 문헌 39인용 수 55

한 줄 요약

이 논문은 추론의 일관성 기준을 통합하는 프레임워크로 가능성 측도를 도입하며, 이전에 놀랍게 보였던 KLM 공리들—다양한 의미론에서 거의 필수적으로 타당하고 완전하다는 점을 보여준다. 즉, 선호 구조, ǫ-의미론, κ-순위화 등 다양한 의미론에서 성립한다. 핵심 기여는 KLM 공리들이 가능성 구조가 정량적일 때에만 타당하고, 최소한의 풍부성 조건이 충족되면 완전하다는 것을 증명하는 것이다. 이 조건은 기존의 모든 프레임워크에서 거의 항상 만족되므로, 공리들이 광범위하게 적용 가능한 이유를 설명한다.

ABSTRACT

We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as probability measures, belief functions, and possibility measures. We focus on one application of plausibility measures in this paper: default reasoning. In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, $ε$-semantics, possibilistic structures, and $κ$-rankings, that have been shown to be characterized by the same set of axioms, known as the KLM properties. While this was viewed as a surprise, we show here that it is almost inevitable. In the framework of plausibility measures, we can give a necessary condition for the KLM axioms to be sound, and an additional condition necessary and sufficient to ensure that the KLM axioms are complete. This additional condition is so weak that it is almost always met whenever the axioms are sound. In particular, it is easily seen to hold for all the proposals made in the literature.

연구 동기 및 목표

• 선호 구조, ǫ-의미론, κ-순위화 등 다양한 추론 접근 방식을 하나의 형식적 프레임워크로 통합하는 것.
• 다양한 의미론에서 추론을 특징짓는 KLM 공리들이 왜 이렇게 널리 적용 가능한지 설명하는 것.
• KLM 공리들이 가능성 구조에서 타당한데서만 그 구조가 정량적일 때이고, 최소한의 풍부성 조건이 충족되면 완전하다는 것을 보여주는 것.
• 모든 표준 추론 의미론이 이 풍부성 조건을 만족하는 정량적 가능성 구조로 자연스럽게 매핑됨을 보여주는 것.
• KLM 공리들이 추론의 '보존적 핵심'을 형성하는 이유를 공식적으로 기초화하여, 이를 의미 있게 확장하는 것이 어렵다는 것을 밝혀내는 것.

제안 방법

• 부분 순서 집합 위에서 정의된 가능도 측도를 도입하며, 확률, 신뢰 함수, 가능성 측도의 일반화로 간주하고, 단 하나의 공리인 단조성만을 요구한다.
• 가능도가 포함관계를 존중하고 최소한의 풍부성 조건을 만족하는 정량적 가능성 구조를 정의한다.
• 지식 기반에서 성립하는 추론이, 그 기반을 만족하는 P의 모든 구조에서 성립할 때 성립하는, 가능성 구조의 집합 P를 통해 추론을 특징짓는다.
• KLM 공리들이 가능성 구조에서 타당한데서만 그 구조가 정량적일 때에만 성립한다는 것을 증명한다.
• KLM 공리들의 완전성이 성립하기 위해서는 집합 P가 최소한의 풍부성 조건을 만족해야 하며, 이 조건은 모든 알려진 추론 의미론에서 쉽게 만족됨을 확립한다.
• 표준 모델 구성과 유한 모델 정리 기법을 사용하여, 무한 구조에서의 만족 가능성은 유한 구조에서도 유지되며, 가능도 성질이 그대로 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 왜 KLM 공리들은 선호 구조, ǫ-의미론 등 다양한 의미론에서 추론을 특징짓는가?
• RQ2 어떤 구조적 조건이 KLM 공리들이 타당함과 동시에 특정 프레임워크에서 추론에 대해 완전하다는 것을 보장하는가?
• RQ3 일관된 가능성 기반의 통합 프ORMAL 프레임워크로 기존의 추론 접근 방식을 통합할 수 있는가?
• RQ4 어떤 조건에서 KLM 공리 집합이 가능성 구조의 집합에 대해 완전해지는가?
• RQ5 KLM 프레임워크를 현재의 보존적 핵심을 넘어서 의미 있게 확장하는 것은 가능한가?

주요 결과

• KLM 공리들이 가능성 구조에서 타당한데서만 그 구조가 정량적일 때에만 성립하며, 이는 타당성에 대한 필수적이고 정확한 조건을 제공한다.
• KLM 공리들의 완전성은 가능성 구조의 집합이 최소한의 풍부성 조건을 만족할 경우에 성립하며, 이 조건은 실질적으로 항상 만족된다.
• 기존의 모든 추론 의미론—선호, ǫ-의미론, 가능도론, κ-순위화—은 모두 이 풍부성 조건을 만족하는 정량적 가능성 구조로 매핑되며, 이는 KLM 공리들의 보편성에 대한 설명이 된다.
• KLM 공리들은 우연이 아니라, 기본적인 구조적 요구 조건을 만족하는 프레임워크에서는 거의 필수적으로 나타나는 것이다.
• 유한 모델 정리에 따르면, 무한 가능성 구조에서의 만족 가능성은 유한 구조에서도 유지되며, 가능도 및 추론 성질이 그대로 유지된다.
• 유한 도메인을 가진 합리적이고 정상적인 정량적 가능성 공간은 κ-순위화와 가능도 측도 모두와 동치이며, 다양한 불확실성 형식화 간의 다리를 놓는다.