[논문 리뷰] Lack of Finite Characterizations for the Distance-based Revision

Jonathan Ben-Naim|arXiv (Cornell University)|2006. 06. 19.

Logic, Reasoning, and Knowledge참고 문헌 20인용 수 12

한 줄 요약

이 논문은 할당된 평가값 간의 거리 함수를 통해 정의되는 거리 기반 신념 수정 연산자—즉, 평가값 간의 거리 함수를 통해 정의되는 연산자—가 유한하고 전칭 기술된 조건들만을 사용하여 유한하게 특징지을 수 있는지 조사한다. 슈레크타의 작업을 확장하여, 대칭성과 허밍거리를 고려하는 가족을 포함한 핵심 거리 연산자 가족들에 대해 이러한 정상적 특징화가 존재하지 않음을 증명한다. 이는 이전의 특징화에서 나타나는 무한한 '루프' 조건이 유한하고 전칭 기술된 대체 조건으로 대체될 수 없음을 시사한다.

ABSTRACT

Lehmann, Magidor, and Schlechta developed an approach to belief revision based on distances between any two valuations. Suppose we are given such a distance D. This defines an operator |D, called a distance operator, which transforms any two sets of valuations V and W into the set V |D W of all elements of W that are closest to V. This operator |D defines naturally the revision of K by A as the set of all formulas satisfied in M(K) |D M(A) (i.e. those models of A that are closest to the models of K). This constitutes a distance-based revision operator. Lehmann et al. characterized families of them using a loop condition of arbitrarily big size. An interesting question is whether this loop condition can be replaced by a finite one. Extending the results of Schlechta, we will provide elements of negative answer. In fact, we will show that for families of distance operators, there is no "normal" characterization. Approximatively, a normal characterization contains only finite and universally quantified conditions. These results have an interest of their own for they help to understand the limits of what is possible in this area. Now, we are quite confident that this work can be continued to show similar impossibility results for distance-based revision operators, which suggests that the big loop condition cannot be simplified.

연구 동기 및 목표

• 거리 기반 신념 수정에서 사용되는 무한한 '루프' 조건이 유한하고 전칭 기술된 조건으로 대체 가능한지 여부를 규명하는 것.
• 거리 연산자에 대해 슈레크타의 부정적 결과를 허밍거리에 대한 고려를 포함한 더 넓은 유형의 가족으로 확장하는 것.
• 동일한 불가능성 결과가 거리 기반 수정 연산자에 대해서도 적용되는지 조사하는 것.
• 불일치를 용인하는 반구성적 프레임워크와 반복적 신념 수정에 대한 영향을 탐색하는 것.
• 거리 기반 수정의 구조적 제약이 본질적이며 간단한 유한한 특징화로는 극복될 수 없다는 것을 입증하는 것.

제안 방법

• 유한하고 전칭 기술된 조건들만을 요구하는 '정상적 특징화'의 일반화된 정의를 채택하며, 간단함을 요구하지는 않음 (예: 복잡한 함수나 구조도 허용).
• 평가값 집합 위에서 정의된 거리 연산자 가족을 분석하며, 대칭성 및 허밍거리 호환성 등의 성질을 중점적으로 다룸.
• 일부 거리 연산자 가족에 대해 유한하고 전칭 기술된 조건이 전체적으로 특징지을 수 없음을 보여주기 위해 반례를 구성함.
• 논리적 및 집합론적 추론을 통해 임의의 크기의 '루프' 조건이 필수적이며, 이를 유한한 조건으로 대체할 수 없음을 입증함.
• 평가값에 대한 거리 연산자와 공식에 대한 수정 연산자 간의 알려진 대응 관계를 활용하여 결과를 거리 기반 수정 연산자에 적용함.
• 비클래식 논리, 예를 들어 $`\mathcal{FOUR}$로의 프레임워크 확장을 통해 반구성적 신념 수정 맥락에서의 적용 가능성을 평가함.

실험 결과

연구 질문

• RQ1 거리 연산자 가족을 특징화하는 데 사용된 무한한 '루프' 조건이 유한하고 전칭 기술된 조건으로 대체 가능한가?
• RQ2 허밍거리를 고려하는 거리 연산자 가족은 일반화된 정상성 정의 하에서 정상적 특징화를 갖는가?
• RQ3 거리 연산자에 대한 불가능성 결과가 거리 기반 수정 연산자로까지 확장 가능한가?
• RQ4 결과들이 비클래식 논리적 프레임워크, 예를 들어 반구성적 논리로 일반화될 수 있는가?
• RQ5 이러한 부정적 결과가 잘 정의된 반복적 신념 수정 시스템 설계에 미치는 영향은 무엇인가?

주요 결과

• 대칭성 또는 허밍거리를 고려하는 거리 연산자 가족은 일반화된 정상성 정의 하에서 정상적 특징화를 갖지 못한다.
• 이전의 거리 연산자 특징화에서 나타나는 무한한 '루프' 조건은 어떤 유한하고 전칭 기술된 조건으로도 대체될 수 없다.
• 불가능성 결과는 거리 기반 수정 연산자 가족으로까지 확장되며, 이는 그 특징화 역시 무한한 크기의 조건이 필요하다는 것을 시사한다.
• 결과는 거리 기반 수정 연산자에 대해 잘 정의된 반복적 수정 연산자를 유한하고 전칭 기술된 공리만으로 특징지울 수 없다는 본질적 제약를 시사한다.
• 프레임워크는 $`\mathcal{FOUR}$와 같은 반구성적 논리로의 확장을 지원하며, 이는 이러한 제약가 비클래식 맥락에서도 유지된다는 것을 시사한다.
• 이 작업은 루프 조건이 단지 기술적 산물이 아니라 일관된 거리 기반 수정의 필수적 특성임을 강력한 증거로 제공한다.