Dear all,

We will have our next LIRa session on Thursday, May 7th. Our speaker is Anthia Solaki. You will receive the zoom link and a reminder of the guidelines for online sessions the day before the talk. After the talk, we will continue the discussion with (online) drinks, as usual. Please, find the details below.

Speaker: Anthia Solaki

Date and Time: Thursday, May 7th 2020, 16:30-18:00, Amsterdam time.

Venue: online

Title: A logical formalisation of False Belief Tasks (joint work with Fernando Velázquez-Quesada)

Abstract.

Theory of Mind, the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of "real" agents. We propose a mental attribution modelling logical framework based on agents' temporal visibility, that is more in-line with findings in cognitive science and suitable to model well-known False-Belief tasks. We discuss some of its technical features and argue on why it does justice to empirical observations. We finally extend the temporal visibility models to capture that communication (next to observation) comes into play when attributing beliefs to others. We illustrate the workings of the new system in the modelling of more complicated False-Belief tasks.

Hope to see you there!

The LIRa team