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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

218 Downloads (Pure)

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 (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 arti_cial agents as well. It is therefore important to _nd ways of implementing a ToM in arti_cial 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 publicationProceedings of the European Conference on Social Intelligence (ECSI-2014)
EditorsAndreas Herzig, Emiliano Lorini
Publication date2014
Pages87-107
Publication statusPublished - 2014
EventEuropean Conference on Social Intelligence (ECSI 2014) - Barcelona, Spain
Duration: 3 Nov 20145 Nov 2014
http://ecsi.sintelnet.eu/

Conference

ConferenceEuropean Conference on Social Intelligence (ECSI 2014)
CountrySpain
CityBarcelona
Period03/11/201405/11/2014
Internet address
SeriesCEUR Workshop Proceedings
Numberurn:nbn:de:0074-1283-4
Volume1283
ISSN1613-0073

Cite this

Bolander, T. (2014). Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. In A. Herzig, & E. Lorini (Eds.), Proceedings of the European Conference on Social Intelligence (ECSI-2014) (pp. 87-107 ). CEUR Workshop Proceedings, No. urn:nbn:de:0074-1283-4, Vol.. 1283 http://ceur-ws.org/Vol-1283/