[논문 리뷰] Numerical Representations of Acceptance

Didier Dubois, Henri Prade|arXiv (Cornell University)|2013. 02. 20.

Logic, Reasoning, and Knowledge참고 문헌 15인용 수 11

한 줄 요약

이 논문은 확신이 그 부정에 대한 확신을 초월할 때 어떤 명제를 接수하는 개념을 형식화하는 수치적 불확실성 측정값인 수용 함수를 제안한다. 필수성 측정값이 논리적 함의와 결합에 대해 닫혀 있음을 입증하여, 확률 또는 신뢰 함수와 달리 논리적 함의와 결합에 대한 닫힘 성질을 만족함을 보이며, AGM 모델을 초월한 더 일반적인 신념 수정 프레임워크를 제공한다.

ABSTRACT

Accepting a proposition means that our confidence in this proposition is strictly greater than the confidence in its negation. This paper investigates the subclass of uncertainty measures, expressing confidence, that capture the idea of acceptance, what we call acceptance functions. Due to the monotonicity property of confidence measures, the acceptance of a proposition entails the acceptance of any of its logical consequences. In agreement with the idea that a belief set (in the sense of Gardenfors) must be closed under logical consequence, it is also required that the separate acceptance o two propositions entail the acceptance of their conjunction. Necessity (and possibility) measures agree with this view of acceptance while probability and belief functions generally do not. General properties of acceptance functions are estabilished. The motivation behind this work is the investigation of a setting for belief revision more general than the one proposed by Alchourron, Gardenfors and Makinson, in connection with the notion of conditioning.

연구 동기 및 목표

• 명제에 대한 신뢰 수준이 그 부정에 대한 신뢰 수준을 초월할 때 수용 개념을 수치적 신뢰 수준에 기반해 형식화하는 것.
• 논리적 함의와 결합에 대해 논리적 닫힘 성질을 만족하는 불확실성 측정값을 특정하는 것.
• AGM 모델을 초월한 더 일반적인 신념 수정 프레임워크를 조건화와 수용 함수에 기반해 개발하는 것.
• 확률 및 신뢰 함수가 수용을 적절히 모델링하지 못하는 이유를 밝히며, 필수성 측정값과의 대비를 제시하는 것.

제안 방법

• 수용 함수를 정의하여, 어떤 명제에 대한 신뢰도가 그 부정에 대한 신뢰도를 엄밀히 초월하는 신뢰 측정값으로 간주한다.
• 신뢰 측정값의 단조성 성질을 적용하여 논리적 함의에 대한 닫힘을 도출한다.
• 자연스럽게 수용 기준을 만족하는 필수성 측정값을 사용해 수용 함수를 특성화한다.
• 필수성 측정값과 확률 및 신뢰 함수의 수용 행동을 대조한다.
• 논리적 닫힘과 결합 성질을 활용해 형식체계를 검증한다.
• 수용 함수를 조건화 및 신념 수정과 연결하여, AGM 프레임워크를 초월한 확장성을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 불확실성 측정값이 명제의 수용을 표현하기 위해 만족해야 할 성질은 무엇인가?
• RQ2 필수성 측정값은 확률 및 신뢰 함수와 비교해 수용을 어떻게 모델링하는가?
• RQ3 수용 함수는 논리적 함의와 결합에 대해 닫혀 있는가? 그리고 이것이 중요한 이유는 무엇인가?
• RQ4 수용 함수는 AGM 신념 수정 프레임워크를 어떻게 일반화하는가?
• RQ5 조건화는 제안된 수용 기반 신념 수정 모델에서 어떤 역할을 하는가?

주요 결과

• 필수성 측정값은 논리적 함의와 결합에 대해 닫혀 있는 수용의 핵심 성질을 만족한다.
• 확률 및 신뢰 함수는 일반적으로 신뢰 순서의 단조성 부족으로 인해 수용 기준을 만족하지 못한다.
• 수용 함수는 명제에 대한 신뢰도가 그 부정에 대한 신뢰도를 초월하는 불확실성 측정값으로 공식적으로 특성화된다.
• 이 프레임워크는 특히 조건화 처리에 있어서 AGM 모델보다 더 일반적인 조건에서의 신념 수정을 가능하게 한다.
• 수용 함수는 논리적 함의에 대해 닫혀 있는 신념 집합을 자연스럽게 모델링하며, Gardenfors의 정의와 일치한다.
• 논문은 필수성 측정값이 제안된 형식체계에서 수용을 완전히 포괄하는 유일한 표준 불확실성 측정값임을 입증한다.