[논문 리뷰] A Conditional Perspective for Iterated Belief Contraction

Kai Sauerwald, Gabriele Kern-Isberner외 1명|arXiv (Cornell University)|2019. 11. 20.

Logic, Reasoning, and Knowledge인용 수 7

한 줄 요약

이 논문은 수렴 belief 수축의 조건부 관점에 대해 제안하며, 특히 '수축 조건문'이라고 불리는 조건문(수정의 레이먼드 테스트와 유사한 것들)을 사용하여 belief 수축 연산자를 변화하는 조건부 belief에 따라 특성화하는 새로운 문법적 공리(axioms)를 제시한다. 주요 기여는 새로운 공리들, 콘예치니-피노 페레스의 반복 수축 공리들, 그리고 의미론적 타당성 순서들 간의 등가성을 보여주는 확장된 표현 정리이며, 지식 상태에 대한 새로운 개념인 α-동치성(α-equivalence)을 도입한다.

ABSTRACT

According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially because for iterated belief change the connection between revision and contraction via the Levi and Harper identity is not straightforward, and therefore, characterisation results do not transfer easily between iterated revision and contraction. In this article, we develop an axiomatisation of iterated contraction in terms of changing conditional beliefs. We prove that the new set of postulates conforms semantically to the class of operators like the ones given by Konieczny and Pino Pérez for iterated contraction.

연구 동기 및 목표

• 반복 수정의 다르비치-피어스 프레임워크에 유사하게, 조건부 기반의 반복 수축 특성화를 개발하기 위해.
• 수정의 경우 잘 정립되어 있음에도 불구하고, 반복 수축에 대한 조건부 공식화의 부족을 해결하기 위해.
• 조건부 belief의 역할을 부각시키는, 반복 수축을 위한 새로운 간결한 문법적 공리 집합을 제안하기 위해.
• 지식 상태 간의 α-동치성(α-equivalence)을 정의함으로써 belief 변화에서의 불변성 분석 도구를 제공하고, 새로운 공리들을 뒷받침하기 위해.
• 새로운 공리들, 콘예치니-피노 페레스의 반복 수축 공리들, 의미론적 타당성 순서들 간의 등가성을 보여주는 확장된 표현 정리를 증명하기 위해.

제안 방법

• 특히 '수축 조건문'이라고 불리는 조건문(수축의 영향을 포착하는 것들)을 중심으로, 조건부 belief의 변화에 기반한 반복 수축을 위한 새로운 문법적 공리 집합(C8cond부터 C11cond까지)을 제안한다.
• 특정 문장 α에 대해 지식 상태 간의 동치 관계인 α-동치성(α-equivalence)을 도입하여, 수축에 대한 불변성 분석을 가능하게 한다.
• 지식 상태에서 가능한 세계들에 대한 총순서(total preorders)로의 충실한 할당(faithful assignment)을 사용하여 공리들의 의미론적 기반을 제공한다.
• α-동치성과 수축 조건문의 수용 사이의 연결 고리를 확립하여, α-동치성이 특정 조건문의 진리도 유지함을 보여준다.
• 새로운 공리들(C8cond부터 C11cond까지)과 원래 공리들(IC8부터 IC11까지)이 동일한 수축 연산자 집합을 특성화함을 보여주는 표현 정리를 증명한다.
• 새로운 공리들이 이전 공식화에 비해 더 간결함을 입증하여, 복잡한 논리합 형태의 belief 변화에 의존하는 것을 줄였다.

실험 결과

연구 질문

• RQ1 반복 수축은 어떻게 조건부 belief를 통해 기술될 수 있는가? 이는 반복 수정에서 조건문을 통해 기술되는 것과 유사하게.
• RQ2 특정 조건문들—즉, '수축 조건문'이라고 불리는 것들—은 반복 수축의 역학을 포착하는 데 어떤 역할을 하는가?
• RQ3 지식 상태 간의 α-동치성은 수축 과정에서 조건부 belief의 유지와 어떻게 관련되는가?
• RQ4 의미론적으로 타당하고 이전 공식화보다 더 간결한, 반복 수축을 위한 새로운 문법적 공리 집합을 개발할 수 있는가?
• RQ5 콘예치니와 피노 페레스의 기존 공리들과 등가인 새로운 조건부 기반 공리들을 특성화하는 표현 정리가 존재하는가?

주요 결과

• 새로운 공리들(C8cond부터 C11cond까지)은 다르비치-피어스의 수정 프레임워크와 유사한 조건부 관점에서 반복 수축을 특성화한다.
• 논문은 확장된 표현 정리를 통해, 새로운 공리들(C8cond부터 C11cond까지), 원래 공리들(IC8부터 IC11까지), 그리고 의미론적 타당성 순서들이 모두 동일한 수축 연산자 집합을 특성화함을 입증한다.
• α-동치성이 belief 변화에서의 불변성 분석에 유용한 도구로 밝혀졌으며, 특히 수축 조건문의 수용과의 관련성에서 두드러진다.
• 새로운 공리들은 이전 공식화보다 더 간결하여, 복잡한 논리합 형태의 belief 변화에 의존하지 않고 조건문의 구조에 집중한다.
• 수축 조건문은 수축 행동과 공식적으로 연결되며, α-동치성 하에서도 그 수용이 유지됨을 보여, 그 사용에 대한 의미론적 정당성을 제공한다.
• 결과적으로, 수정에서 잘 알려진 조건문과 belief 변화의 연결 고리가 새로운 조건부 프레임워크를 통해 수축으로까지 확장되었음을 보여준다.