[논문 리뷰] Semantic results for ontic and epistemic change

Hans P. van Ditmarsch, Barteld Kooi|arXiv (Cornell University)|2006. 10. 15.

Logic, Reasoning, and Knowledge참고 문헌 29인용 수 95

한 줄 요약

이 논문은 동적 지식 논리에서 지식 변화(지식 증가)와 실재 변화(세계 상태 변화)를 모두 모델링하는 업데이트 모델을 사용하여 의미론적 결과를 제시한다. 세 가지 핵심 결과를 증명한다: (1) 임의의 일관된 공식은 적절한 이벤트 실행을 통해 어떤 정보 상태에서도 참이 될 수 있다; (2) 임의의 후행 조건을 가진 모든 이벤트는 '참'과 '거짓'만을 후행 조건으로 사용하는 등가 이벤트로 표현될 수 있다; (3) 모든 이브넷은 단일 원자 할당만을 포함하는 이벤트의 순서로 분해될 수 있으며, 이 경우 이분화 등가성은 유지된다.

ABSTRACT

We give some semantic results for an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed about the non-changing state of the world, and ontic changes, wherein the world changes. The events are executed in information states that are modeled as pointed Kripke models. Our contribution consists of three semantic results. (i) Given two information states, there is an event transforming one into the other. The linguistic correspondent to this is that every consistent formula can be made true in every information state by the execution of an event. (ii) A more technical result is that: every event corresponds to an event in which the postconditions formalizing ontic change are assignments to `true' and `false' only (instead of assignments to arbitrary formulas in the logical language). `Corresponds' means that execution of either event in a given information state results in bisimilar information states. (iii) The third, also technical, result is that every event corresponds to a sequence of events wherein all postconditions are assignments of a single atom only (instead of simultaneous assignments of more than one atom).

연구 동기 및 목표

• 지식 변화와 실재 변화를 동시에 포함하는 정보 변화 이벤트를 통합된 동적 지식 논리 프레임워크 내에서 형식화하고 분석하기.
• 에이전트의 지식이 세계의 실제 상태가 변화하거나 그들의 믿음이 변화하는 이벤트의 영향을 어떻게 변화시키는지 모델링하는 데 도전하는 것.
• 모든 원하는 논리적 결과가 적절한 이벤트 실행을 통해 달성될 수 있도록 보장하는 기본적인 의미론적 성질을 확립하기.
• 복잡한 이벤트와 더 단순하고 표준 형태(예: 진리값 또는 단일 원자로 제한된 후행 조건) 사이의 구조적 등가성을 조사하기.
• 믿음 수정과 사실적 세계 변화를 동시에 포함하는 다중 에이전트 시스템에서 이벤트 기반 추론을 위한 의미론적 기초 제공하기.

제안 방법

• 에이전트의 지식은 접근 가능성 관계로 표현되고 진리값은 할당으로 표현되는 점지어진 Kripke 모델로 정보 상태를 모델링한다.
• 이벤트를 업데이트 모델로 표현한다—사실상 사전 조건과 후행 조건을 포함하는 사중조합 (E, R, pre, post) 형태로, 여기서 E는 이벤트 집합, R은 에이전트별로 구분되는 불확실성 관계를 정의하며, pre는 사전 조건을 지정하고, post는 각 명제 변수에 대한 후행 조건을 정의한다.
• 이벤트 실행 후의 정보 상태를 비교하기 위해 이분화를 사용하여 서로 다른 이벤트 유형 간의 의미론적 등가성을 보장한다.
• 이벤트 실행의 의미론을 정의하기 위해 이중 귀납 기법을 적용하여 사전 조건과 후행 조건을 구성적으로 결합한다.
• 복잡한 후행 조건을 '참'이나 '거짓' 또는 단일 원자로 제한된 더 단순한 후행 조건으로 대체할 수 있음을 보여주는 '이벤트 대응' 개념을 활용한다. 이 경우 결과 정보 상태는 이분화 관점에서 동일하다.
• 비결정적 또는 공개 이벤트를 모델링하기 위해 다중 점지어진 업데이트를 도입하고, 공개 할당과 공개 발표를 특수한 경우로 정의한다.

실험 결과

연구 질문

• RQ1 임의의 일관된 공식은 적절한 이벤트를 실행함으로써 주어진 정보 상태에서 참으로 만들 수 있는가?
• RQ2 임의의 후행 조건을 가진 이벤트와 '참'과 '거짓'으로만 후행 조건이 제한된 이벤트 사이에 의미론적 등가성이 존재하는가?
• RQ3 모든 이벤트는 각 후행 조건이 단일 원자 명제만 수정하는 이벤트의 순서로 분해될 수 있는가?
• RQ4 동적 지식 논리에서 실재 변화와 지식 변화는 어떻게 상호작용하는가? 이러한 변환에 대해 유지되는 의미론적 불변성은 무엇인가?
• RQ5 업데이트 모델의 어떤 구조적 성질이 이벤트 실행이 서로 다른 정보 상태 간의 이분화 등가성을 유지하도록 보장하는가?

주요 결과

• 유한한 지식 모델과 임의의 일관된 공식에 대해, 그 공식이 결과 정보 상태에서 참이 되도록 하는 이벤트가 존재한다.
• 논리 언어 내에서 임의의 공식으로 정의된 후행 조건을 가진 모든 이벤트는 후행 조건이 '참'과 '거짓'으로만 제한된 이벤트로 대체 가능하며, 이 경우 결과 정보 상태는 이분화 관점에서 동일하다.
• 모든 이벤트는 각 후행 조건이 단일 명제 변수만 수정하는 이벤트의 순서로 대체 가능하며, 이 경우 전체 정보 상태에 대한 영향은 원래 이벤트와 이분화 등가성을 유지한다.
• 후행 조건이 단순화된 형태로 대체된 이벤트와 원래 이벤트 사이의 대응 관계는 이분화를 통해 유지되며, 이는 의미론적 등가성을 보장한다.
• 결과는 유한 모델과 유한 업데이트 모델에 대해 성립하며, 후행 조건이 유한한 수의 위치에서 항등성과 다를 필요가 있어야 하며, 이는 구성 가능성을 보장한다.
• 이 프레임워크는 공개 이벤트와 비공개 이벤트를 모두 지원하며, 실재 변화(예: 동전 뒤집기)와 지식 변화(예: 사실 학습)를 포함하는 이벤트를 처리할 수 있고, 두 유형에 대해 통일된 처리 방식을 제공한다.