[논문 리뷰] Belief Revision and Rational Inference

Michael Freund, Daniel Lehmann|ArXiv.org|2002. 04. 14.

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

한 줄 요약

이 논문은 AGM 스타일의 이론 수정과 이성적이고 일致성을 유지하는 비단조화적 추론 관계를 연결하는 새로운 공리(axiom)를 제안한다. 이 공리를 만족하는 AGM 수정과 합리적 관계 사이에 일대일 대응 관계를 확립함으로써, 신념 수정과 비단조화 논리 간의 형식적 다리를 놓는다.

ABSTRACT

The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and compared with other similar postulates that have been proposed in the literature. The AGM revisions that satisfy this new postulate stand in one-to-one correspondence with the rational, consistency-preserving relations. This correspondence is described explicitly. Two viewpoints on iterative revisions are distinguished and discussed.

연구 동기 및 목표

• 동일한 공식에 의해 수정되는 서로 다른 이론들 간의 관계를 규명하고, 이를 제어하는 데에 부족한 제약 조건을 규명하고 형식화한다.
• 신념 수정 연산자와 비단조화적 추론 관계, 특히 합리적이고 일치성을 유지하는 관계 간의 관계를 명확히 한다.
• 반복적 신념 수정에서의 모호함을 제거하기 위해 수정 과정에 대한 정적 및 동적 관점의 차이를 구분한다.
• AGM 수정이 체계적으로 비단조화적 추론 체계와 연결될 수 있는 조건을 조사한다.
• 정적 수정 연산자가 시간에 따라 변화하는 수정 전략의 동적 적응을 모델링하는 데에 한계를 보이는 이유를 탐구한다.

제안 방법

• 서로 다른 이론에 대해 동일한 공식으로 수정될 때 그 행동 방식을 제약하는 새로운 공리(논문에서 명시적으로 이름 붙이진 않았지만 이론 간 수정에 대한 제약 조건으로 암시됨)를 제안한다.
• 이 새로운 공리를 만족하는 AGM 수정이 합리적이고 일치성을 유지하는 추론 관계와 정확히 일대일 대응 관계에 있음을 입증하고, 명시적이고 전단사적인 사상(mapping)을 통해 이를 보여준다.
• 반복적 수정의 정적 및 동적 관점의 차이를 분석한다: 정적 관점은 수정 연산자가 고정되어 있음을 가정하고, 동적 관점은 신규 정보에 따라 연산자가 변화한다고 가정한다.
• 레비(Levi)와 게르덴포르스(Gärdenfors) 항등식을 사용하여 수정과 수축을 연결함으로써, 기존의 AGM 이론에 기반한 형식 체계를 구축한다.
• 논리적 특성화 기법을 활용하여, K*1–K*8 공리(새로운 공리 포함)가 합리적 관계에 대해 수정 연산자의 구조를 완전히 결정함을 보여준다.
• 모델 이론적 및 증명 이론적 분석을 적용하여, 일부 공리(예: K*3 및 K*4)가 수정의 비단조화적 행동에 영향을 주지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 동일한 공식에 의해 수정되는 서로 다른 이론들 간의 일관성과 합리적 추론에 부합하는 수정이 보장되기 위해 추가로 필요한 제약 조건은 무엇인가?
• RQ2 어떻게 하면 AGM 신념 수정을 합리적이고 일치성을 유지하는 비단조화적 추론 관계와 형식적으로 연결할 수 있는가?
• RQ3 정적 및 동적 관점의 반복적 수정이 AGM 프레임워크 내에서 얼마나 공존하거나 상충하는가?
• RQ4 AGM 공리가 합리적 관계를 초월하여 선호성 또는 조건부 추론 체계를 포괄하도록 일반화될 수 있는가?
• RQ5 왜 K*3 및 K*4 공리들이 수정의 비단조화적 행동에 영향을 주지 않으며, 이는 수정의 구조에 대해 어떤 함의를 갖는가?

주요 결과

• 제안된 새로운 공리는 AGM 수정이 이 공리를 만족할 경우 합리적이고 일치성을 유지하는 추론 관계와 일대일 대응 관계에 있음을 보장한다.
• 이 대응 관계는 명시적으로 기술되어 있으며 전단사적이다. 즉, 각 관계가 유일하게 수정 연산자를 결정하고, 그 반대도 마찬가지다.
• 정적 관점—수정 연산자가 고정되어 있음—은 수정의 역사에 따라 변화하는 전략의 동적 적응을 모델링할 수 없다.
• 동적 관점—수정 방법이 변화함—은 단일한 정적 수정 연산자로는 기술할 수 없으며, 연산자가 이전의 수정 시퀀스에 의존하기 때문이다.
• K*3 및 K*4 공리들은 수정의 비단조화적 행동에 영향을 주지 않으며, 이는 이들이 구조적 제약 조건이지 추론적 제약 조건이 아니라는 것을 시사한다.
• 결과적으로, 선호성 또는 조건부 논리 체계를 포함하는 AGM 수정을 일반화하려면 현재의 공리 집합을 초월해 확장해야 할 가능성이 있다.