Common Belief Revisited

Created by

Haebom

저자

Thomas {\AA}gotnes

💡 개요

본 논문은 일반적인 통념과 달리, 일반적 믿음(common belief)이 KD45 논리가 아닌 KD4 논리임을 밝힙니다. 개별 믿음이 KD45를 따를 경우, 일반적 믿음은 5 속성을 잃고 D와 4 속성만을 유지하며, 이는 기존에 알려진 지식/믿음의 속성과는 다릅니다. 논문은 KD4에 'shift-reflexivity'라는 새로운 속성이 추가되어야 일반적 믿음의 완벽한 특징을 나타낼 수 있음을 증명하고, 이는 에이전트 수에 의존함을 보여주며 이 개방적인 문제를 해결합니다.

🔑 시사점 및 한계

•

일반적 믿음은 예상과 달리 KD45가 아닌 KD4 논리 체계에 더 가깝다는 것을 수학적으로 증명합니다.

•

일반적 믿음의 완전한 특징화를 위해 KD4에 'shift-reflexivity'라는 새로운 속성과 에이전트 수에 대한 의존성을 추가해야 함을 제시합니다.

•

본 연구는 특정 논리 체계(KD45)에서의 일반적 믿음을 다루었으며, 더 복잡하거나 다른 논리적 기반을 가진 믿음 체계로의 확장 가능성은 추가 연구가 필요합니다.

PDF 보기

Made with Slashpage