[논문 리뷰] Comparative Uncertainty, Belief Functions and Accepted Beliefs

Didier Dubois, Fargier, Helene외 1명|arXiv (Cornell University)|2013. 01. 30.

Logic, Reasoning, and Knowledge참고 문헌 17인용 수 3

한 줄 요약

이 논문은 비교적 불확실성, 믿음 함수, 수용된 믿음의 추론적으로 닫힌 논리적 표현 간의 공식적 연결을 수립한다. 이는 고전적 추론적 닫힘과 비단조적 불확실성 추론을 동시에 만족시키는 유일한 추론 체계가 Kraus, Lehmann, 그리고 Magidor의 선호 체계임을 증명하고, 가능도/필요도 측도 및 특정 확률 및 믿음 함수의 클래스가 자연스럽게 이러한 믿음 집합을 유도함을 보여준다.

ABSTRACT

This paper relates comparative belief structures and a general view of belief management in the setting of deductively closed logical representations of accepted beliefs. We show that the range of compatibility between the classical deductive closure and uncertain reasoning covers precisely the nonmonotonic 'preferential' inference system of Kraus, Lehmann and Magidor and nothing else. In terms of uncertain reasoning any possibility or necessity measure gives birth to a structure of accepted beliefs. The classes of probability functions and of Shafer's belief functions which yield belief sets prove to be very special ones.

연구 동기 및 목표

• 수용된 믿음 표현에서 추론적 닫힘과 비단조적 불확실성 추론 간의 호환성을 조사한다.
• 가능도 및 필요도와 같은 비교적 불확실성 측도에서 유도되는 논리적 구조를 특성화한다.
• 일관된 수용된 믿음 집합을 생성하는 확률 및 믿음 함수의 클래스를 특정한다.
• 믿음 함수와 불확실성 측도가 추론적 닫힘과 선호 추론과 일치하는 형식적 조건을 규명한다.

제안 방법

• 수용된 믿음을 추론적으로 닫힌 집합으로 모델링하기 위해 형식 논리를 사용한다.
• 특히 가능도 및 필요도 측도를 포함한 비교적 불확실성 프레임워크를 적용하여 믿음의 호환성을 평가한다.
• 믿음 함수와 확률 측도의 성질을 분석하여 일관된 믿음 집합을 생성하는 방식을 분석한다.
• Kraus, Lehmann, 그리고 Magidor의 선호 추론 체계를 비단조적 추론의 기준으로 활용한다.
• 유일하게 이 체계만이 추론적 닫힘과 불확실성 처리 양쪽을 동시에 유지함을 입증한다.
• 호환 가능한 체계의 범위가 정확히 선호 체계임을 확립한다. 다른 체계는 제외된다.

실험 결과

연구 질문

• RQ1 불확실성 하에서 고전적 추론적 닫힘과 호환되는 비단조적 추론 체계는 무엇인가?
• RQ2 가능도 및 필요도 측도는 어떻게 일관된 수용된 믿음 집합을 생성하는가?
• RQ3 어떤 확률 및 믿음 함수의 클래스가 논리적 추론에 대해 닫혀 있는 믿음 집합을 생성하는가?
• RQ4 왜 Shafer의 믿음 함수와 표준 확률 함수는 수용된 믿음의 맥락에서 특별시되는가?
• RQ5 불확실성 추론과 추론적 닫힘을 통합하는 유일한 논리적 구조가 존재하는가?

주요 결과

• 유일하게 추론적 닫힘과 비단조적 추론을 동시에 만족시키는 추론 체계는 Kraus, Lehmann, 그리고 Magidor의 선호 체계이다.
• 가능도 및 필요도 측도는 자연스럽게 논리적으로 닫힌 수용된 믿음의 구조를 유도한다.
• 일관된 믿음 집합을 생성하는 확률 함수의 클래스는 모든 가능한 확률 측도의 진부분이다.
• Shafer의 믿음 함수가 불확실성 하에서 믿음 집합 생성의 더 넓은 프레임워크 내에서 특수한 케이스로 밝혀진다.
• 이 논문은 명확한 경계를 설정한다: 선호 프레임워크를 초월하는 어떤 체계도 동시에 추론적 닫힘과 비단조적 불확실성 추론을 만족시킬 수 없다.