[논문 리뷰] Iterated revision and the axiom of recovery: a unified treatment via epistemic states

Samir Chopra, Aditya Ghose외 1명|ArXiv.org|2002. 07. 10.

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

한 줄 요약

이 논문은 가능한 세계들에 대한 선호 순위를 표현하는 지식 상태를 사용하여 반복적 믿음 수정을 위한 통합 프레임워크를 제안한다. 이는 동일한 출처에서 온 정보일 경우 복구의 공리와 관련된 공리들이 합리적으로 유지될 수 있음을 보여주며, 다르치케-펄의 (C2) 공리의 약화된 형태인 복구 유사 공리(S1, S2)를 도입하여, 복구에 대한 반례가 논리적 결함이 아니라 출처의 불일치에서 기인함을 밝힌다.

ABSTRACT

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom--while agreeing that some of their insight deserves to be preserved--and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This provides a framework in which iterated revision becomes possible and makes explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem that connects the semantic conditions that we impose on iterated revision and the additional syntactical properties mentioned. We also show some interesting similarities between our framework and that of Darwiche-Pearl. In particular, we show that the intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2).

연구 동기 및 목표

• 반례가 존재하는 바에 따라 복구 공리의 타당성을 재평가함으로써 믿음 수정 이론에서 오랫동안 지속된 AGM 복구 공리의 논란을 해결하고자 한다.
• 정보 입력이 동일한 출처에서 올 경우 복구 공리가 여전히 합리적이며, 최소 변화 및 코어 유지 원칙을 유지함을 보여주고자 한다.
• 선호 순위를 포함한 지식 상태를 기반으로 한 형식적 프레임워크를 개발하여 반복적 수정을 지원하고, 복구 공리와의 명시적 연결을 제공하고자 한다.
• 다르치케-펄의 (C2) 공리를 약화시킨 복구 유사 공리(S1, S2)를 제안하여, 조지-범죄자 사례와 같은 경우에서 직관에 어긋나는 결과를 피하고자 한다.
• 반복적 수정에 대한 의미 조건과 문법적 공리 사이의 연결을 보장하는 표현 정리(Representation Theorem)를 수립하여, 프레임워크의 형식적 의미론적 기반을 마련하고자 한다.

제안 방법

• 모든 가능한 세계들에 대한 전순서(total preorder)로 믿음 상태를 모델링하며, 자연수 순위를 부여하여 타당성(plausibility)을 표현하고, 낮은 순위가 더 타당한 세계를 의미하도록 한다.
• 기존의 타당성 순위에 최소한의 영향을 주면서도 새로운 정보와의 일관성을 유지하는 선호 기반 업데이트 규칙을 사용하여 지식 상태에 대한 수정 연산을 정의한다.
• 다르치케-펄의 (C2) 공리를 약화시킨 두 개의 복구 유사 공리(S1 및 S2)를 도입하여, 수축 후 재수정 시 믿음 재획득에 더 큰 유연성을 부여한다.
• 표현 정리를 사용하여 의미 조건(예: 최소 변화, 코어 유지)과 문법적 공리 사이의 형식적 연결을 확립함으로써 논리적 일관성을 보장한다.
• 표준 반례(Cleopatra 및 조지-범죄자 사례)에 프레임워크를 적용하여, 복구 위반이 발생하는 것은 정보의 출처가 다를 경우에만 발생하며, 논리적 모순 때문이 아니라는 것을 보여준다.
• 다르치케-펄의 접근과 프레임워크를 비교하여, (C2)의 직관이 복구 공리와 제안된 공리(S1, S2)에 의해 잘 반영되며, 특히 동일 출처 가정 하에서 더욱 명확해진다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 복구 공리의 AGM 공리는 어떤 조건에서 합리적으로 정당화될 수 있으며, Cleopatra 사례와 같은 반례는 언제 그 공리를 무효화하지 못하는가?
• RQ2 최소 변화 및 코어 유지 원칙을 유지하면서도 수축 및 재수축 이후에 합리적인 복구를 가능하게 하는 방식으로 반복적 믿음 수정을 어떻게 형식화할 수 있는가?
• RQ3 신뢰 상태의 맥락에서 믿음 수정 연산자가 복구 유사 행동을 만족하기 위해 필요한 의미적 및 문법적 조건은 무엇인가?
• RQ4 정보의 출처 차이(동일 출처 대 다른 출처)는 믿음 복구의 합리성에 어떻게 영향을 미치며, 이를 형식적으로 모델링할 수 있는가?
• RQ5 다르치케-펄의 논란스러운 (C2) 공리는 핵심 직관을 유지하면서 의미적으로 약화시킬 수 있는가? 만약 가능하면, 어떻게 약화시킬 수 있는가?

주요 결과

• 정보 입력이 동일한 출처에서 올 경우 복구 공리는 합리적으로 정당화되며, 믿음 손실의 원인이 재수신된 원래 믿음으로 인해 해소지기 때문이다.
• 복구에 대한 반례인 Cleopatra 사례나 조지-범죄자 사례는 정보가 서로 다른 출처에서 온 경우에만 발생하며, 이는 믿음 복구의 가정을 무효화하므로 복구 공리를 반박하지 못한다.
• 제안된 공리 S1 및 S2는 다르치케-펄의 (C2) 공리를 의미적으로 약화시키며, '조지가 불법 총기 소지로 유죄를 선고받았다'는 믿음을 강제로 수용하는 등 직관에 어긋나는 결과를 피한다.
• 조지-범죄자 사례에서 (C2)를 사용할 경우 최종 상태에서 $g$ 가 믿어지지만, S1 및 S2를 사용할 경우 $g \not\in K(\Phi_3')$ 가 되어 더 직관적인 결과를 도출한다.
• 이 프레임워크는 의미 조건(예: 최소 변화, 코어 유지)과 문법적 공리 사이의 표현 정리를 수립하여 제안된 수정 연산자의 형식적 기반을 제공한다.
• 반복적 수정과 복구 공리 간의 관계가 명확해지며, 복구가 독립적인 제약 조건이 아니라 일관되고 출처를 고려한 지식 상태의 믿음 수정에서 자연스럽게 유도되는 결과임을 밝혀낸다.