[논문 리뷰] Distance Semantics for Belief Revision

Karl Schlechta, Daniel Lehmann외 1명|arXiv (Cornell University)|1996. 03. 17.

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

한 줄 요약

이 논문은 모델 간의 거리 측도를 사용하여 신념 수정의 거리 의미론을 제안한다. 새로운 신념의 모델들 중 원래 신념 집합에 가장 가까운 것을 선택함으로써 수정을 정의한다. 이는 반복적인 수정의 행동을 규명하는 데 필요한 새로운 합리성 제약 조건을 AGM 공리계에 확장하여, 동적인 환경에서 일관되고 직관적인 신념 갱신을 위한 형식적 프레임워크를 제공한다.

ABSTRACT

A vast and interesting family of natural semantics for Belief Revision is defined. Suppose one is given a distance d between any two models. One may define the revision of a theory K by a formula a as the theory defined by the set of all those models of a that are closest, by d, to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates describe properties of iterated revisions.

연구 동기 및 목표

• 모델 간의 거리에 기반한 형식적 의미론을 개발하여 직관적이고 합리적인 신념 갱신을 가능하게 한다.
• 반복적 신념 수정의 행동을 규명하는 데 필요한 새로운 합리성 공리들을 AGM 공리계에 확장한다.
• 모델 간 기하학적 근접성에 기반한 광범위한 신념 수정 연산의 가족을 특성화한다.
• 특히 반복적으로 적용될 때에도 일관성과 합리성을 확보하는 신념 변화 과정을 보장한다.

제안 방법

• 임의의 두 모델 간의 거리 함수 d 를 정의하여 그들의 의미적 유사도를 측정한다.
• 거리 측도 d 를 기반으로, K 의 모델들과 가장 가까운 α 의 모델 집합을 사용하여 신념 이론 K 를 α 로 수정한다.
• 거리 측도 d 에 따라 K 에 가장 가까운 α 의 모델들에 대응하는 이론으로 수정 연산을 형식화한다.
• 특히 반복 수정을 위한 경우에 적합한, AGM 을 확장한 합리성 공리들의 집합을 통해 도출된 수정 가족을 특성화한다.
• 거리 기반 선택을 통해 수정 과정이 최대한의 일관성을 유지하고 최소한의 변화를 유도함을 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 모델 간의 거리 측도를 사용하여 직관적이고 합리적인 갱신을 보장할 수 있는가?
• RQ2 AGM 프레임워크를 초월하여 반복적 수정의 행동을 규명하기 위해 추가로 필요한 합리성 공리들은 무엇인가?
• RQ3 거리 기반으로 통합된 의미론을 정의할 수 있는가? 이는 거리에 의해 기반을 두고 광범위한 합리적 신념 수정 연산의 가족을 포괄할 수 있는가?
• RQ4 거리 기반 접근은 다중 수정 단계에 걸쳐 일관성을 어떻게 보장하는가?

주요 결과

• 제안된 거리 의미론은 모델 간의 근접성에 기반하여 자연스럽고 직관적인 신념 수정 연산의 가족을 정의한다.
• 이 프레임워크는 반복 수정의 행동을 특별히 다루는 데 필요한 새로운 합리성 제약 조건을 통해 AGM 공리계를 확장한다.
• 거리 기반 수정 연산은 원래 신념 집합에 가장 가까운 새로운 신념의 모델들을 선택함으로써 최소한의 변화를 보장한다.
• 이 접근은 반복적인 수정에 걸쳐 체계적이고 일관된 방식으로 합리적인 신념 변화를 위한 형식적 기반을 제공한다.