A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle
Bogdan Macovei (University of Bucharest)
TL;DR
This paper formalizes the Muddy Children Puzzle using Public Observation Logic to model parallel epistemic sessions and information updates across multiple agents and sessions.
Contribution
It introduces a novel formalization of parallel sessions in the Muddy Children Puzzle with a logic that captures multi-session information updates.
Findings
Modeling of parallel epistemic sessions
Formalization of information updates across sessions
Application of Public Observation Logic to multi-session puzzles
Abstract
Epistemic protocols represents a current field of interest, with numerous approaches still being studied. In this paper we formalize parallel sessions of the The Muddy Children Puzzle using Public Observation Logic, a system that allows epistemic update. We consider agents with roles in multiple sessions and the information update in all parallel sessions as new information is discovered in any particular session.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.