Formalizing Theory of Mind

Abstract

To approach the problem of autistic reasoning and remediation from a solid background, Theory-Of-Mind needs to be formalized. We represent it from the standpoint of a logical multiagent system, formalizing beliefs, desires and intentions of agents. Basic mental entities are introduced and the rest including communicative actions and emotional states are defined in this basis. The definitions heavily rely on meta-reasoning. Once mental states and actions of ToM are defined, we formalize scenarios of multiagent interaction as sequences of mental states and actions, explore its properties and propose a machine learning framwework for them.