Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


In this paper we show how to formalise false-belief tasks like the Sally-Anne task and the second-order chocolate task in Dynamic Epistemic Logic (DEL). False-belief tasks are used to test the strength of the Theory of Mind (ToM) of humans, that is, a human’s ability to attribute mental states to other agents. Having a ToM is known to be essential to human social intelligence, and hence likely to be essential to social intelligence of artificial agents as well. It is therefore important to find ways of implementing a ToM in artificial agents, and to show that such agents can then solve false-belief tasks. In this paper, the approach is to use DEL as a formal framework for representing ToM, and use reasoning in DEL to solve false-belief tasks. In addition to formalising several false-belief tasks in DEL, the paper introduces some extensions of DEL itself: edge-conditioned event models and observability propositions. These extensions are introduced to provide better formalisations of the false-belief tasks, but expected to have independent future interest.
Original languageEnglish
Title of host publicationJaakko Hintikka on Knowledge and Game-Theoretical Semantics
Publication date2018
ISBN (Print)978-3-319-62864-6
Publication statusPublished - 2018
SeriesOutstanding Contributions To Logic


Dive into the research topics of 'Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic'. Together they form a unique fingerprint.

Cite this