[논문 리뷰] The logic of ontic and epistemic change

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

Logic, Reasoning, and Knowledge참고 문헌 19인용 수 1

한 줄 요약

이 논문은 온티크(세계 상태) 변화와 지식적 변화(지식 업데이트)를 통합하는 동적 지식 논리를 소개하며, 완전한 공리계를 제공한다. 이 논문은 프로그램 할당을 참 또는 거짓 값으로만 제한해도 표현력에 손실가지 않음을 보여주며, 카드 게임과 통신 프로토콜을 정확한 논리적 구조로 모델링할 수 있게 한다.

ABSTRACT

We propose an epistemic logic incorporating dynamic operators to describe information changing events, both informative actions, where agents become more informed about the non-changing state of the world, as ontic changes, wherein the world and the facts describing it change themselves as well. A complete axiomatisation is provided. There are some independent semantic results, for example that assignments in programs can be restricted to those to false or true only. We apply the logic to model systems for card deals and to model protocols. 1

연구 동기 및 목표

• 세계 상태 변화(온티크 변화)와 지식 업데이트(지식 변화)를 통합한 단일 형식 체계 내에서 통합된 논리적 프레임워크를 개발하는 것.
• 제안된 논리에 대해 완전한 공리계를 제공하여 논리적 완전성과 타당성을 확보하는 것.
• 논리 내 프로그램 할당을 참 또는 거짓 값으로만 제한할 수 있음을 보여주어 형식 체계를 단순화하면서도 표현력을 유지하는 것.
• 카드 배급과 통신 프로토콜과 같은 구체적 시스템에 논리를 적용하여 실용적 유용성을 입증하는 것.
• 논리적 구조를 강화하고 동적 지식 추론의 복잡성을 감소시키는 데 기여하는 독립적인 의미론적 결과를 확립하는 것.

제안 방법

• 지식 논리를 동적 연산자로 확장하여 정보적 행동(지식 업데이트)과 온티크 변화(세계 상태 변화)를 모두 모델링하는 것.
• 사실의 변화(온티크 변화)와 참가자들의 지식 변화(지식 변화)를 명확히 구분하는 형식적 의미론을 도입하는 것.
• 모든 타당한 공식이 체계 내에서 증명 가능하도록 보장하는 힐베르트 스타일의 완전한 공리계를 개발하는 것.
• 프로그램 내 할당을 참과 거짓 값으로만 제한할 수 있음을 증명하는 것.
• 카드를 나누는 과정에서 세계 상태 변화와 참가자들의 지식 변화를 모두 반영하는 시스템을 모델링하기 위해 프레임워크를 적용하는 것.
• 메시지 전달이 세계 상태 변화와 참가자들의 믿음 업데이트를 모두 유도하는 바탕으로 통신 프로토콜을 모델링하기 위해 논리를 추가로 적용하는 것.

실험 결과

연구 질문

• RQ1 온티크 변화와 지식 변화를 단일 동적 논리 체계 내에서 어떻게 공식적으로 통합할 수 있는가?
• RQ2 동적 지식 논리에서 전체 표현력을 유지하기 위해 필요한 최소한의 할당 연산 집합은 무엇인가?
• RQ3 온티크 변화와 지식 변화의 동적 요소를 통합한 논리에 대해 완전한 공리계를 제공할 수 있는가?
• RQ4 이 논리는 카드 게임과 통신 프로토콜과 같은 실제 시스템을 어떻게 모델링할 수 있는가?
• RQ5 참 또는 거짓 값으로만 할당을 제한할 경우 도출되는 의미론적 성질은 무엇인가?

주요 결과

• 논리는 완전한 공리계를 제공하여 체계 내에서 타당한 모든 공식이 증명 가능함을 보장한다.
• 논문은 프로그램 할당을 참 또는 거짓 값으로만 제한해도 표현력에 손실가지 않음을 입증한다.
• 논리적 프레임워크는 물리적 카드 배급(온티크 변화)과 그로 인한 지식 업데이트(지식 변화)를 모두 반영하여 카드 배급을 성공적으로 모델링한다.
• 논리는 메시지 전달이 세계 상태 변화와 지식 업데이트를 모두 유도하는 바탕으로 통신 프로토콜 모델링에 적용 가능하다.
• 복잡한 할당을 단순한 참/거짓 값 할당을 통해 정의 가능함과 같은 독립적인 의미론적 결과가 도출된다.
• 온티크 변화와 지식 변화의 통합은 별도로 다루는 것보다 더 통합적이고 표현력 있는 형식 체계를 가능하게 한다.