[논문 리뷰] A Consistency-Based Model for Belief Change: Preliminary Report

James P. Delgrande, Torsten Schaub|ArXiv.org|2000. 03. 11.

Logic, Reasoning, and Knowledge참고 문헌 23인용 수 8

한 줄 요약

이 논문은 지식 기반 $K$를 새로운 문장 $\alpha$에 가능한 한 일관적으로 통합함으로써 지식 기반을 수정하는 일관성 기반 프레임워크를 제안한다. 이는 문장의 동형 이름 변경과 동치성 가정을 통해 이루어지며, 핵심 기여는 선택 수정, 교차 수정, 반복적 믿음 변화를 지원하는 유연하고 구현 가능한 모델을 제공하며, 복잡도의 이점과 공통 어휘로의 범위 제한을 갖는다.

ABSTRACT

We present a general, consistency-based framework for belief change. Informally, in revising K by A, we begin with A and incorporate as much of K as consistently possible. Formally, a knowledge base K and sentence A are expressed, via renaming propositions in K, in separate languages. Using a maximization process, we assume the languages are the same insofar as consistently possible. Lastly, we express the resultant knowledge base in a single language. There may be more than one way in which A can be so extended by K: in choice revision, one such ``extension'' represents the revised state; alternately revision consists of the intersection of all such extensions. The most general formulation of our approach is flexible enough to express other approaches to revision and update, the merging of knowledge bases, and the incorporation of static and dynamic integrity constraints. Our framework differs from work based on ordinal conditional functions, notably with respect to iterated revision. We argue that the approach is well-suited for implementation: the choice revision operator gives better complexity results than general revision; the approach can be expressed in terms of a finite knowledge base; and the scope of a revision can be restricted to just those propositions mentioned in the sentence for revision A.

연구 동기 및 목표

• 순서 조건 함수에 의존하지 않는 일반적인 일관성 기반의 믿음 변화 프레임워크를 개발하는 것.
• 반복적 수정을 다루는 데 한계가 있는 AGM 공리의 한계를 해결하고, 더 구현 가능한 접근을 제공하는 것.
• 유한 지식 기반을 사용하여, 추론 닫힘 믿음 집합이 아닌 방식으로 믿음 수정을 표현할 수 있도록 하는 것.
• 수정의 범위를 지식 기반과 수정 문장에 공통으로 존재하는 문장에만 국한시키는 것.
• 단일 프레임워크 내에서 정적 및 동적 무결성 제약 조건을 통일적으로 다룰 수 있도록 하는 것.

제안 방법

• 지식 기반 $K$와 수정 문장 $\alpha$를 원자 문장의 동형 알파벳으로 별도로 표현하기 위해 원자 문장의 이름을 변경한다.
• 일관성 제약 조건 하에 $K$와 $\alpha$의 대응 원자 간 최대 동치성을 가정하여 등가성 집합 $EQ$를 구성한다.
• 일관적인 정의 확장 $E = Cn(K' \cup EQ \cup \alpha) \cap \mathcal{L}_\mathcal{P}$를 구성한다. 여기서 $K'$는 $K$의 이름 변경된 형태이다.
• 일관된 확장을 하나 선택하는 방식으로 선택 수정을 정의하고, 모든 일관된 확장의 공통 부분집합으로 교차 수정을 정의한다.
• 등가성 집합 $EQ$를 $K$와 $\alpha$에 모두 존재하는 원자에만 국한시켜 범위 제한을 보장한다.
• 공통 어휘만을 사용하여 원래 언어에서 최종 수정된 믿음 집합을 표현함으로써 유한 표현과 효율적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 기존 지식 기반의 대부분을 유지하면서 일관성을 극대화할 수 있는 방식으로 믿음 수정을 어떻게 형식화할 수 있는가?
• RQ2 지식 기반과 수정 문장 간 공통 어휘로만 수정의 범위를 제한할 경우 그 영향은 어떠한가?
• RQ3 선택 수정과 교차 수정이 단일 일관성 기반 프레임워크 내에서 균일하게 정의될 수 있는가?
• RQ4 이 프레임워크는 정적 및 동적 무결성 제약 조건을 어떻게 통합적으로 다루는가?
• RQ5 이러한 접근은 AGM 또는 다르위치-피어슨의 반복적 믿음 수정 모델과 비교하여 어떤 방식으로 다를 수 있거나 개선되는가?

주요 결과

• 선택 수정은 일반(교차) 수정보다 더 낮은 복잡도 결과를 도출하여, 더 구현 가능성이 높다.
• 이 프레임워크는 믿음 수정을 추론 닫힘 믿음 집합이 아닌 유한 지식 기반을 사용하여 표현할 수 있도록 한다.
• 수정의 범위는 $K$와 $\alpha$에 모두 포함된 원자 문장에만 국한될 수 있으며, 이는 정리 11에 의해 공식화되어 있다.
• 이 방법은 정적 및 동적 무결성 제약 조건을 통일적으로 다룰 수 있어, 믿음 변화 과정에서 일관성 유지가 가능하다.
• 최대화 기준을 적절히 수정함으로써 기존의 기반 수정, 윈슬릿의 업데이트 연산자, 기타 수정 모델을 이 프레임워크에서 표현할 수 있다.
• 이 모델은 순서 조건 함수 기반 모델과는 다릅니다. 특히 지식 상태의 진화를 다룰 때 독특한 성질을 갖는다.