[논문 리뷰] Knowing the Model

Sergei Artëmov|arXiv (Cornell University)|2016. 10. 17.

Logic, Reasoning, and Knowledge참고 문헌 6인용 수 3

한 줄 요약

이 논문은 지식 논리에서 Kripke 모델을 표준적으로 사용하는 데 도전하며, 보다 기본적인 접근 방식을 제안한다: 지식 상황을 최대 일致한 세계들의 집합 W로 간주하고, 전통적인 접근 관계는 W에서 유도한다. 이는 W가 Kripke 모델을 형성하기 위한 필수 및 충분 조건인 '완전 설명 성질'을 특정함으로써 이는 간과된 가정임을 드러낸다. 이 작업은 부분 지식, 비대칭 지식, 인지 등을 더 잘 포착하는 일반화된 지식 모델 프레임워크를 도입한다.

ABSTRACT

Epistemic modal logic normally views an epistemic situation as a Kripke model. We consider a more basic approach: to view an epistemic situation as a set W of possible states/worlds -- maximal consistent sets of propositions -- with conventional accessibility relations determined by W. We find that in many epistemic situations, W is not a Kripke model: a necessary and sufficient condition for W to be a Kripke model is the so-called `fully explanatory property' - a propositional form of common knowledge of the model - which has been a hidden (and overlooked) assumption in epistemic modal logic. We sketch a theory that describes epistemic models in their generality. We argue for conceptual and practical value of new models, specifically for representing partial knowledge, asymmetric knowledge, and awareness.

연구 동기 및 목표

• 기본적으로 Kripke 모델이 아닌, 최대 일치하는 세계들의 집합 W로 지식 상황을 재표현하기.
• '완전 설명 성질'을 지식 모델의 구조를 공유하는 데 필요한 조건으로 특정함으로써, W가 Kripke 모델이 되기 위한 숨겨진 가정을 밝혀내기.
• 부분 지식, 비대칭 지식, 인지 등을 수용할 수 있는 일반화된 지식 모델 이론을 개발하기.
• 기존 Kripke 모델에 비해 이 일반화된 프레임워크의 개념적 및 실용적 이점들을 입증하기.

제안 방법

• 지식 상황을 최대 일치하는 문장 집합의 집합 W로 표현하며, 각각이 가능한 세계를 나타낸다.
• W에서 유도된 논리적 관계에 기반해 W 내의 세계들 간의 접근 관계를 정의하며, 외부에서 강제로 부여하지 않는다.
• '완전 설명 성질'을 도입한다 — 이는 모델 구조에 대한 공통 지식의 문장 형태와 동치인 조건으로서, W가 Kripke 모델이 되기 위한 기준이다.
• 이 성질이 없을 경우 W가 Kripke 모델의 공리를 충족하지 못함을 보여주며, 지식 논리의 기초적 오missions을 드러낸다.
• 완전 설명 성질이 필요 없도록 완화하는 일반화된 지식 모델 프레임워크를 구축한다.
• 이 프레임워크를 사용해 부분 지식, 비대칭 지식, 인지와 관련된 시나리오를 모델링하며, 기존 Kripke 모델이 직접적으로 표현할 수 없는 상황을 다룬다.

실험 결과

연구 질문

• RQ1 가능한 세계들의 집합 W가 Kripke 모델이 되기 위해 만족해야 할 조건은 무엇인가?
• RQ2 지식 모델의 구조에 대한 공통 지식의 문장 형태인 '완전 설명 성질'이 지식 논리에서 왜 오랫동안 간과되었는가?
• RQ3 지식 모델을 어떻게 일반화하여 부분 지식과 비대칭 지식을 표현할 수 있는가?
• RQ4 Kripke 모델에서 세계 집합 기반의 기초로 전환함으로써 얻는 개념적 및 실용적 이점은 무엇인가?
• RQ5 의식과 불완전한 지식은 이 새로운 프레임워크에서 자연스럽게 모델링될 수 있는가?

주요 결과

• '완전 설명 성질'은 가능한 세계들의 집합 W가 Kripke 모델을 형성하기 위해 필수적이며 충분한 조건이다.
• 이 성질은 지식 모달 논리에서 암묵적으로 가정되었지만, 기초적인 제약 조건으로서는 명시적으로 인정된 바가 없다.
• 완전 설명 성질이 없을 경우, 기존의 Kripke 모델은 많은 실제 세계 상황의 지식 구조를 포착하지 못한다.
• 제안된 프레임워크는 기존 Kripke 모델이 표현할 수 없는 부분 지식과 비대칭 지식을 자연스럽게 표현할 수 있다.
• 일반화된 모델 프레임워크는 의식과 불완전한 정보를 포함한 맥락에서 더 유연하고 개념적으로 정확한 기초를 제공한다.