Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic

Theory of mind refers to the human capacity for reasoning about others’ mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractability. A possible reason could be that it may involve higher-order thinking (e.g., ‘you believe that I believe that you believe’). To investigate this we formalize theory of mind reasoning as updating of beliefs about beliefs using dynamic epistemic logic, as this formalism allows to parameterize ‘order of thinking.’ We prove that theory of mind reasoning, so formalized, indeed is intractable (specifically, PSPACE-complete). Using parameterized complexity we prove, however, that the ‘order parameter’ is not a source of intractability. We furthermore consider a set of alternative parameters and investigate which of them are sources of intractability. We discuss the implications of these results for the understanding of theory of mind.

[1]  I. Apperly.  Mindreaders: The Cognitive Basis of "Theory of Mind" , 2010 .

[2]  Robin I. M. Dunbar,et al.  Theory-of-mind deficits and causal attributions , 1998 .

[3]  Rineke Verbrugge,et al.  Logic and Social Cognition , 2009, J. Philos. Log..

[4]  H. Wimmer,et al.  Beliefs about beliefs: Representation and constraining function of wrong beliefs in young children's understanding of deception , 1983, Cognition.

[5]  R. Verbrugge.  The Facts Matter, and so do Computational Models , 2009 .

[6]  Nina Gierasimczuk,et al.  A note on a generalization of the Muddy Children puzzle , 2011, TARK XIII.

[7]  François Schwarzentruber,et al.  On the Complexity of Dynamic Epistemic Logic , 2013, TARK.

[8]  Rineke Verbrugge,et al.  Children’s Application of Theory of Mind in Reasoning and Language , 2008, J. Log. Lang. Inf..

[9]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[10]  Albert R. Meyer,et al.  Word problems requiring exponential time(Preliminary Report) , 1973, STOC.

[11]  Guillaume Aucher,et al.  An Internal Version of Epistemic Logic , 2010, Stud Logica.

[12]  Rineke Verbrugge,et al.  Logic and Complexity in Cognitive Science , 2014, Johan van Benthem on Logic and Information Dynamics.

[13]  Marko Becker,et al.  The Architecture Of The Mind , 2016 .

[14]  Marc Slors,et al.  The Model-Model of the Theory-Theory , 2012 .

[15]  Eric Sven Ristad.  The language complexity game , 1993 .

[16]  François Schwarzentruber,et al.  Complexity Results in Epistemic Planning , 2015, IJCAI.

[17]  Johan Kwisthout,et al.  A computational-level explanation of the speed of goal inference , 2013 .

[18]  Iris van Rooij,et al.  Intractability and approximation of optimization theories of cognition , 2012 .

[19]  U. Frith.  Mind Blindness and the Brain in Autism , 2001, Neuron.

[20]  Gerhard J. Woeginger,et al.  The Traveling Salesman Problem with Few Inner Points , 2004, COCOON.

[21]  I. Rooij.  Tractable cognition : complexity theory in cognitive psychology , 2003 .

[22]  S. Stich,et al.  Mindreading: An Integrated Account of Pretence, Self-Awareness, and Understanding Other Minds , 2003 .

[23]  Torben Braüner,et al.  Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks , 2014, J. Log. Lang. Inf..

[24]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[25]  Thomas Bolander,et al.  Epistemic planning for single- and multi-agent systems , 2011, J. Appl. Non Class. Logics.

[26]  Ines Gloeckner,et al.  Relevance Communication And Cognition , 2016 .

[27]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction , 2014 .

[28]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[29]  Willem F. G. Haselager,et al.  Cognitive Science and Folk Psychology: The Right Frame of Mind , 1997 .

[30]  Selmer Bringsjord,et al.  Propositional Attitudes and Causation , 2009, Int. J. Softw. Informatics.

[31]  J.F.A.K. van Benthem,et al.  Modal Correspondence Theory , 1977 .

[32]  Laurina Verbrugge,et al.  Modeling developmental transitions in reasoning about false beliefs of others. , 2013, ICCM 2013.

[33]  Sanjeev Arora,et al.  Computational Complexity: A Modern Approach , 2009 .

[34]  Peter Carruthers,et al.  The Architecture of the Mind: Massive Modularity and the Flexibility of Thought , 2006 .

[35]  James Stiller,et al.  Perspective-taking and memory capacity predict social network size , 2007, Soc. Networks.

[36]  Iris van Rooij,et al.  Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic , 2016, TARK.

[37]  Tadeusz W. Zawidzki,et al.  Mindshaping: A New Framework for Understanding Human Social Cognition , 2013 .

[38]  Minna Lyons,et al.  Mind-reading and manipulation — Is Machiavellianism related to theory of mind? , 2010 .

[39]  Jörg Flum,et al.  Describing parameterized complexity classes , 2002, Inf. Comput..

[40]  S. Levinson,et al.  Roots of Human Sociality , 2006 .

[41]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .

[42]  Johan Kwisthout,et al.  Intentional Communication: Computationally Easy or Difficult? , 2011, Front. Hum. Neurosci..

[43]  D. Sperber,et al.  Relevance: Communication and Cognition , 1997 .

[44]  Hans van Ditmarsch,et al.  Semantic results for ontic and epistemic change , 2006, ArXiv.

[45]  Johan van Benthem,et al.  Logical Dynamics of Information and Interaction: Contents , 2014 .

[46]  Kenny Smith,et al.  The ease and extent of recursive mindreading, across implicit and explicit tasks , 2015 .

[47]  Nick Chater,et al.  Rationality In An Uncertain World: Essays In The Cognitive Science Of Human Understanding , 1998 .

[48]  Jan van Eijck,et al.  Epistemic Probability Logic Simplified , 2014, Advances in Modal Logic.

[49]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[50]  Maria Otworowska,et al.  Demons of Ecological Rationality , 2018, Cogn. Sci..

[51]  H. Wellman,et al.  Meta-analysis of theory-of-mind development: the truth about false belief. , 2001, Child development.

[52]  William I. Gasarch,et al.  Guest Column: the second P =?NP poll , 2012, SIGA.

[53]  Marcello Frixione,et al.  Tractable Competence , 2001, Minds and Machines.

[54]  T. Hedden,et al.  What do you think I think you think?: Strategic reasoning in matrix games , 2002, Cognition.

[55]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[56]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[57]  Michael R. Fellows,et al.  Systematic parameterized complexity analysis in computational phonology , 1999 .

[58]  Lance Fortnow,et al.  The status of the P versus NP problem , 2009, CACM.

[59]  Iris van Rooij,et al.  Sources of complexity in subset choice , 2005 .

[60]  Scott A Miller.  Children's understanding of second-order mental states. , 2009, Psychological bulletin.

[61]  Daniel A. Braun,et al.  Risk-Sensitivity in Sensorimotor Control , 2011, Front. Hum. Neurosci..

[62]  S. Levinson.  On the Human "Interaction Engine" , 2020, Roots of Human Sociality.

[63]  Jakub Szymanik,et al.  Exploring the tractability border in epistemic tasks , 2012, Synthese.

[64]  Iris van Rooij,et al.  How the curse of intractability can be cognitive science's blessing , 2015, CogSci.

[65]  安藤 広志,et al.  20世紀の名著名論：David Marr:Vision:a Computational Investigation into the Human Representation and Processing of Visual Information , 2005 .

[66]  H. Levesque.  Logic and the complexity of reasoning , 1988 .

[67]  Chris L. Baker.  Bayesian Theory of Mind : modeling human reasoning about beliefs, desires, goals, and social relations , 2012 .

[68]  Michael R. Fellows,et al.  On the parameterized complexity of multiple-interval graph problems , 2009, Theor. Comput. Sci..

[69]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[70]  S. Baron-Cohen,et al.  Does the autistic child have a “theory of mind” ? , 1985, Cognition.

[71]  John K. Tsotsos.  Analyzing vision at the complexity level , 1990, Behavioral and Brain Sciences.

[72]  Thomas Bolander,et al.  Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic , 2014, ECSI.

[73]  Jakub Szymanik,et al.  Quantifiers and Cognition - Logical and Computational Perspectives , 2016, Studies in linguistics and philosophy.

[74]  Moshe Y. Vardi.  On the complexity of bounded-variable queries (extended abstract) , 1995, PODS '95.

[75]  Iris van Rooij,et al.  The Tractable Cognition Thesis , 2008, Cogn. Sci..

[76]  Iris van Rooij,et al.  Parameterized Complexity in Cognitive Modeling: Foundations, Applications and Opportunities , 2008, Comput. J..

[77]  David W. Green,et al.  Book Review: Rationality in an uncertain world: Essays on the cognitive science of human reasoning , 2000 .

[78]  Robert C. Berwick,et al.  Computational complexity and natural language , 1987 .

[79]  M. Tomasello,et al.  Does the chimpanzee have a theory of mind? 30 years later , 2008, Trends in Cognitive Sciences.

[80]  高梨 克也.  Cognitive Science and Folk Psychology : The Right Frame of Mind. : W.F.G.Haselager (Sage Publications,1997) , 1999 .

[81]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..