ESSLLI 2010 Workshop

[Overview | Background | Schedule (Day 1, Day 2, Day 3, Day 4, Day 5) | Additional Information]

Organizers: Johan van Benthem ( website) & Eric Pacuit ( website)
Meeting Times: 14.00 - 15.30
Location: University of Copenhagen, Auditorium: 21.1.47

Muddy Children Playground: Number Triangle, Internal Complexity, and Quantifiers

In this talk we will generalize Muddy Children puzzle to account for a large class of possible public announcements with various quantifiers. We identify conditions for solvability of the extended puzzle, with its classical version as a particular case. The characterization suggests a novel way of modeling multi-agent epistemic reasoning. The framework is based on the concept of number triangle. The advantage of our approach over more general formalizations in epistemic logics, like Dynamic Epistemic Logic, is that it gives models of linear size w.r.t. the number of agents. Therefore, it is computationally plausible for modeling agents' internal perspective.

Link to our paper on that subject:

Back to the schedule