
Publication details
Publisher: Springer
Place: Berlin
Year: 2018
Pages: 207-236
Series: Outstanding Contributions to Logic
ISBN (Hardback): 9783319628639
Full citation:
, "Seeing is believing", in: Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin, Springer, 2018


Seeing is believing
formalising false-belief tasks in dynamic epistemic logic
pp. 207-236
in: Hans van Ditmarsch, Paul-Gabriel Sandu (eds), Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin, Springer, 2018Abstract
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.
Publication details
Publisher: Springer
Place: Berlin
Year: 2018
Pages: 207-236
Series: Outstanding Contributions to Logic
ISBN (Hardback): 9783319628639
Full citation:
, "Seeing is believing", in: Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin, Springer, 2018