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

In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 207-236 (2018)
  Copy   BIBTEX

Abstract

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. False-belief tasks are used to test the strength of the Theory of Mind 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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,074

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A logical formalisation of false belief tasks.Anthia Solaki & Fernando R. Velázquez-Quesada - forthcoming - Journal of Applied Non-Classical Logics:1-51.
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.
False-belief task know-how: Author.Alan Jurgens - 2022 - Synthese 200 (3):1-22.

Analytics

Added to PP
2020-06-17

Downloads
34 (#678,648)

6 months
4 (#1,280,987)

Historical graph of downloads
How can I increase my downloads?