Logic and Social Cognition

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models.

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

[2]  Barbara Dunin-Keplicz,et al.  Complexity Issues in Multiagent Logics , 2007, Fundam. Informaticae.

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

[4]  Barbara Dunin-Keplicz,et al.  A Tuning Machine for Cooperative Problem Solving , 2004, Fundam. Informaticae.

[5]  Paul Mellars,et al.  Modelling the Early Human Mind , 1996 .

[6]  Johan van Benthem,et al.  Merging frameworks for interaction: DEL and ETL , 2007, TARK '07.

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

[8]  Markus Knauff,et al.  How our brains reason logically , 2007 .

[9]  G. Rizzolatti,et al.  A unifying view of the basis of social cognition , 2004, Trends in Cognitive Sciences.

[10]  Lambert Schomaker,et al.  Proceedings of the Third European Workshop on Handwriting Analysis and Recognition , 1998 .

[11]  Wander Jager,et al.  Clustering and Fighting in Two-party Crowds: Simulating the Approach-avoidance Conflict , 2001, J. Artif. Soc. Soc. Simul..

[12]  A. Goldman,et al.  The Shared Circuits Model: How Control, Mirroring and Simulation Can Enable Imitation, Deliberation, and Mindreading , 2007 .

[13]  K. Holyoak,et al.  The Cambridge handbook of thinking and reasoning , 2005 .

[14]  John McCarthy,et al.  A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 31, 1955 , 2006, AI Mag..

[15]  Dario D. Salvucci,et al.  Threaded cognition: an integrated theory of concurrent multitasking. , 2008, Psychological review.

[16]  John R Anderson,et al.  An integrated theory of the mind. , 2004, Psychological review.

[17]  A. Rubinstein Modeling Bounded Rationality , 1998 .

[18]  Giorgio Metta,et al.  Epigenetic robotics: modelling cognitive development in robotic systems , 2005, Cognitive Systems Research.

[19]  Angelo Cangelosi,et al.  Simulating the Evolution of Language , 2002, Springer London.

[20]  D. Olson,et al.  Developing theories of mind , 1988 .

[21]  D. Premack,et al.  Does the chimpanzee have a theory of mind? , 1978, Behavioral and Brain Sciences.

[22]  Nicholas R. Jennings,et al.  Agent-based control systems: Why are they suited to engineering complex systems? , 2003 .

[23]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[24]  Gereon R Fink,et al.  Differential involvement of the posterior temporal cortex in mentalizing but not perspective taking. , 2008, Social cognitive and affective neuroscience.

[25]  Hedderik van Rijn,et al.  An accumulator model of semantic interference , 2007, Cognitive Systems Research.

[26]  L. Schauble,et al.  Beyond Modularity: A Developmental Perspective on Cognitive Science. , 1994 .

[27]  H. V. Ditmarsch OUCS-2001-02 The description of game actions in Cluedo , 2001 .

[28]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[29]  M. Tomasello,et al.  Chimpanzees Recruit the Best Collaborators , 2006, Science.

[30]  Sarit Kraus,et al.  Negotiating with bounded rational agents in environments with incomplete information using an automated agent , 2008, Artif. Intell..

[31]  Michael Luck,et al.  AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems , 2003 .

[32]  Barbara Dunin-Keplicz,et al.  Collective Intentions , 2002, Fundam. Informaticae.

[33]  Rineke Verbrugge,et al.  Agent-based models for animal cognition: a proposal and prototype , 2008, AAMAS.

[34]  Colin Camerer Behavioral Game Theory: Experiments in Strategic Interaction , 2003 .

[35]  R. Byrne,et al.  Machiavellian intelligence : social expertise and the evolution of intellect in monkeys, apes, and humans , 1990 .

[36]  Olivier Roy,et al.  Commitment-based decision making for bounded agents , 2006 .

[37]  Timothy Williamson,et al.  Knowledge and Its Limits , 2000 .

[38]  Elske van der Vaart,et al.  Memory in Clark ’ s Nutcrackers : A Cognitive Model for , 2009 .

[39]  H. Wimmer,et al.  “John thinks that Mary thinks that…” attribution of second-order beliefs by 5- to 10-year-old children ☆ , 1985 .

[40]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.

[41]  A. Reber,et al.  Implicit cognition and thought , 2005 .

[42]  Michael Bacharach,et al.  Beyond Individual Choice: Teams and Frames in Game Theory , 2006 .

[43]  Katia Sycara,et al.  Integrating intelligent agents into human teams. , 2004 .

[44]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

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

[46]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[47]  M. Tomasello,et al.  Chimpanzees understand psychological states – the question is which ones and to what extent , 2003, Trends in Cognitive Sciences.

[48]  R. Parikh Logical Omniscience in the Many Agent Case , 2007 .

[49]  D. Stahl,et al.  On Players' Models of Other Players: Theory and Experimental Evidence , 1995 .

[50]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[51]  Lisa A. Parr,et al.  The evolution of social cognition , 2011 .

[52]  Maurizio Lenzerini,et al.  The Complexity of Propositional Closed World Reasoning and Circumscription , 1994, J. Comput. Syst. Sci..

[53]  Nicholas R. Jennings,et al.  AAMAS '06: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems , 2006, AAMAS 2008.

[54]  A. Goldman,et al.  Mirror neurons and the simulation theory of mind-reading , 1998, Trends in Cognitive Sciences.

[55]  Saul Kripke,et al.  A completeness theorem in modal logic , 1959, Journal of Symbolic Logic.

[56]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[57]  H. Jaap van den Herik,et al.  Selecting evaluation functions in Opponent-Model search , 2005, Theor. Comput. Sci..

[58]  Leon A. Petrosjan,et al.  Game Theory and Applications , 2003 .

[59]  Joanna M. Dally,et al.  Social cognition by food-caching corvids. The western scrub-jay as a natural psychologist , 2007, Philosophical Transactions of the Royal Society B: Biological Sciences.

[60]  Frank van Harmelen,et al.  Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation , 2000, KR.

[61]  Michael Wooldridge,et al.  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.

[62]  E. Salas,et al.  Team cognition : understanding the factors that drive process and performance , 2004 .

[63]  Mitch Parsell,et al.  Thought in a hostile world: the evolution of human cognition , 2005 .

[64]  Hannes Leitgeb Introduction to the special issue , 2008, Stud Logica.

[65]  Bart de Boer,et al.  The Origins of Vowel Systems , 2001 .

[66]  Richard W. Byrne,et al.  Machiavellian Intelligence II: Machiavellian intelligence , 1997 .

[67]  Harold Bekkering,et al.  The imitative mind: Development, evolution and brain bases. , 2002 .

[68]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[69]  Dov M. Gabbay,et al.  The New Logic , 2001, Log. J. IGPL.

[70]  Kenneth Mark Colby,et al.  Clinical artificial intelligence , 1981, Behavioral and Brain Sciences.

[71]  A. Roadmapof A Roadmap of Agent Research and Development , 1995 .

[72]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[73]  J. Armstrong Knowledge and Belief , 1953 .

[74]  H van Ditmarsch,et al.  Common Knowledge and Common Belief , 2009 .

[75]  John R. Anderson,et al.  How Cognitive Models can Inform the Design of Instructions , 2006 .

[76]  Jan-Willem Romeijn European Summer School on Logic, Language, and Information , 2008 .

[77]  Barbara Dunin-Keplicz,et al.  Awareness as a vital ingredient of teamwork , 2006, AAMAS '06.

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

[79]  S. Hurley,et al.  Social heuristics that make us smarter , 2005 .

[80]  W. Hamilton,et al.  The evolution of cooperation. , 1984, Science.

[81]  van Hedderik Rijn,et al.  Proceedings of the eight International Conference on Cognitive Modeling , 2007 .

[82]  G. Csibra,et al.  Action Anticipation Through Attribution of False Belief by 2-Year-Olds , 2007, Psychological science.

[83]  J. Gregory Trafton,et al.  Using Simulations to Model Shared Mental Models , 2007 .

[84]  Michael Grüninger,et al.  Introduction , 2002, CACM.

[85]  Refractor Vision , 2000, The Lancet.

[86]  Dov M. Gabbay,et al.  Resource-origins of Nonmonotonicity , 2008, Stud Logica.

[87]  Lambertus Schomaker,et al.  Towards collaborative agents for automatic on-line handwriting recognition. , 1998 .

[88]  Petra Hendriks,et al.  Learning to reason about speakers' alternatives in sentence comprehension: A computational account , 2007 .

[89]  Jennifer H. Pfeifer,et al.  Understanding emotions in others: mirror neuron dysfunction in children with autism spectrum disorders , 2006, Nature Neuroscience.

[90]  HighWire Press Philosophical Transactions of the Royal Society of London , 1781, The London Medical Journal.

[91]  Paul Higgs,et al.  Alas, Poor Darwin: Arguments Against Evolutionary Psychology , 2001, BMJ : British Medical Journal.

[92]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[93]  Amanda M Seed,et al.  Cognitive adaptations of social bonding in birds , 2007, Philosophical Transactions of the Royal Society B: Biological Sciences.

[94]  Denis Bonnay,et al.  Margins for error in context , 2008 .

[95]  Barbara Dunin-Keplicz,et al.  Proceedings of the Third Workshop on Formal Approaches to Multi-agent Systems (FAMAS'007) , 2007 .

[96]  W. Hoek,et al.  Epistemic logic: a survey , 2002 .

[97]  Barbara Dunin-Keplicz,et al.  Creating Collective Intention through Dialogue , 2001, Log. J. IGPL.

[98]  K. Sullivan,et al.  A second look at second-order belief attribution in autism , 1994, Journal of autism and developmental disorders.

[99]  R. Sun Cognition and Multi-Agent Interactions: From Cognitive Modeling to Social Simulation , 2005 .

[100]  Rineke Verbrugge,et al.  Learning to Apply Theory of Mind , 2008, J. Log. Lang. Inf..

[101]  M. Matessa Interactive Models of Collaborative Communication , 2001 .

[102]  John R. Anderson How Can the Human Mind Occur in the Physical Universe , 2007 .

[103]  R. Rosenthal Games of perfect information, predatory pricing and the chain-store paradox , 1981 .

[104]  Joseph Y. Halpern The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic , 1995, Artif. Intell..

[105]  Robin I. M. Dunbar Neocortex size as a constraint on group size in primates , 1992 .

[106]  Charlotte K. Hemelrijk,et al.  Learning where (not) to cache : A cognitive model for corvids , 2009 .

[107]  Keith Stenning,et al.  Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task , 2001, J. Log. Lang. Inf..

[108]  Marcin Dziubiński,et al.  Complexity of the Logic for Multiagent Systems with Restricted Modal Context , 2007 .

[109]  Paul Bello,et al.  Developmental Accounts of Theory-of-Mind Acquisition: Achieving Clarity via Computational Cognitive Modeling , 2006 .

[110]  Sunny Shin,et al.  Do 15-Month-Old Infants Understand False Beliefs ? , 2005 .

[111]  Annette M. E. Henderson,et al.  Executive Function and False-Belief Understanding in Preschool Children: Two Tasks Are Harder Than One , 2003 .

[112]  Tim French,et al.  Awareness and Forgetting of Facts and Agents , 2009, 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology.

[113]  R. Verbrugge,et al.  Discourses on Social Software , 2009 .

[114]  S. Carey,et al.  Understanding other minds: linking developmental psychology and functional neuroimaging. , 2004, Annual review of psychology.

[115]  B. Kent Houston,et al.  Children's Understanding of Social Interaction. , 1969 .

[116]  Piergiorgio Bertoli,et al.  Model-checking space and time requirements for resource-bounded agents , 2006 .

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

[118]  James K. Archibald,et al.  A cooperative multi-agent approach to free flight , 2005, AAMAS '05.

[119]  Michiel van Lambalgen,et al.  Formal Models for Real People , 2008, J. Log. Lang. Inf..

[120]  P. Hendriks,et al.  When Production Precedes Comprehension: An Optimization Approach to the Acquisition of Pronouns , 2006 .

[121]  Milind Tambe,et al.  Towards flexible coordination of human-agent teams , 2005, Multiagent Grid Syst..

[122]  S. Modica,et al.  Unawareness and Partitional Information Structures , 1999 .

[123]  J. M. Smith,et al.  Optimality theory in evolutionary biology , 1990, Nature.

[124]  Niels Taatgen,et al.  Problem Representations in Multitasking : a Cognitive Bottleneck ? , 2007 .

[125]  D. Povinelli,et al.  Chimpanzee minds: suspiciously human? , 2003, Trends in Cognitive Sciences.

[126]  N. Emery,et al.  The cognitive neuroscience of social behaviour , 2005 .

[127]  Henry M. Wellman,et al.  From desires to beliefs: Acquisition of a theory of mind. , 1991 .

[128]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[129]  Rohit Parikh,et al.  Levels of knowledge, games, and group action , 2003 .

[130]  R. Rooij,et al.  Optimal assertions, and what they implicate. A uniform game theoretic approach , 2007 .

[131]  R. Labrecque The Correspondence Theory , 1978 .

[132]  Fenrong Liu,et al.  Diversity of Agents , 2006 .

[133]  Dale O. Stahl,et al.  Variable-Frame Level-n Theory , 2000, Games Econ. Behav..

[134]  Carles Sierra,et al.  The Examination of an Information-Based Approach to Trust , 2007, COIN.

[135]  D. Dennett Darwin's Dangerous Idea: Evolution and the Meanings of Life , 1995 .

[136]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[137]  B. Foss New Horizons in Psychology 1 , 1966 .

[138]  J. Villiers,et al.  Linguistic determinism and the understanding of false beliefs. , 2000 .

[139]  D. Barr,et al.  Limits on theory of mind use in adults , 2003, Cognition.

[140]  Marco Schaerf,et al.  Approximate Inference in Default Logic and Circumscription , 1992, Fundam. Informaticae.

[141]  C Athena Aktipis,et al.  Know when to walk away: contingent movement and the evolution of cooperation. , 2004, Journal of theoretical biology.

[142]  R. Byrne,et al.  Machiavellian intelligence II : extensions and evaluations , 1997 .

[143]  Frank J. Lee,et al.  Production Compilation: A Simple Mechanism to Model Complex Skill Acquisition , 2003, Hum. Factors.

[144]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[145]  L. Cosmides The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task , 1989, Cognition.

[146]  Maarten van Someren,et al.  Modeling developmental transitions on the balance scale task , 2003, Cogn. Sci..

[147]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[148]  Christian Lebiere,et al.  Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation , 2006 .

[149]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[150]  Volker Sommer,et al.  Kratze einen Altruisten. [Review of: Robin Dunbar (1998). Klatsch und Tratsch. Wie der Mensch zur Sprache fand. Munich: C. Bertelsmann. Original: Grooming, Gossip, and the Evolution of Language. London: Faber & Faber, 1996.] , 1997 .

[151]  Johan van Benthem,et al.  Logic and Reasoning: do the facts matter? , 2008, Stud Logica.

[152]  Christian Lebiere,et al.  Cognition and Multi-Agent Interaction: Cognitive Architectures, Game Playing, And Human Evolution , 2005 .

[153]  R. Aumann,et al.  Unraveling in Guessing Games : An Experimental Study , 2007 .

[154]  H. Wimmer,et al.  Ignorance versus false belief: a developmental lag in attribution of epistemic states , 1986 .

[155]  S. Hurley The shared circuits model (SCM): how control, mirroring, and simulation can enable imitation, deliberation, and mindreading. , 2008, The Behavioral and brain sciences.

[156]  C. Keysers,et al.  Integrating simulation and theory of mind: from self to social cognition , 2007, Trends in Cognitive Sciences.

[157]  K BenthemvanJ.F.A. Cognition as Interaction , 2005 .

[158]  David A. Leavens,et al.  Theory of mind in nonhuman primates , 1998, Behavioral and Brain Sciences.

[159]  Judith M Burkart,et al.  Understanding visual access in common marmosets, Callithrix jacchus: perspective taking or behaviour reading? , 2007, Animal Behaviour.

[160]  John R. Anderson,et al.  Why do children learn to say “Broke”? A model of learning the past tense without feedback , 2002, Cognition.

[161]  Jan van Eijck,et al.  DEMO — A Demo of Epistemic Modelling , 2007 .

[162]  Hans van Ditmarsch,et al.  My beliefs about your beliefs: a case study in theory of mind and epistemic logic , 2007, Synthese.

[163]  Josef Perner,et al.  The child's understanding of commitment. , 1988 .

[164]  Eduardo Alonso Fernández,et al.  Rules of encounter: designing conventions for automated negotiation among computers , 1995 .

[165]  Laurina Verbrugge,et al.  A Multi-Agent Systems Approach to Gossip and the Evolution of Language , 2009 .

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

[167]  Brenda R. J. Jansen,et al.  What response times tell of children's behavior on the balance scale task. , 2003, Journal of experimental child psychology.

[168]  Stacy Marsella,et al.  PsychSim: Modeling Theory of Mind with Decision-Theoretic Agents , 2005, IJCAI.

[169]  G. Nigel Gilbert,et al.  Simulation for the social scientist , 1999 .

[170]  M. Tomasello,et al.  Cooperation and human cognition: the Vygotskian intelligence hypothesis , 2007, Philosophical Transactions of the Royal Society B: Biological Sciences.

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

[172]  R. McKelvey,et al.  An experimental study of the centipede game , 1992 .

[173]  Jacques L. Koko,et al.  The Art and Science of Negotiation , 2009 .

[174]  H. Bekkering,et al.  Goal-directed imitation. , 2002 .

[175]  Bart Verheij,et al.  Agents Adopting Agriculture: Modeling the Agricultural Transition , 2006, SAB.

[176]  Rineke Verbrugge,et al.  A Knowledge-Based Algorithm for the Internet Transmission Control Protocol (Tcp) , 2002 .

[177]  Rohit Parikh,et al.  The Logic of Knowledge Based Obligation , 2006, Synthese.

[178]  Keith Stenning,et al.  Logic in the study of psychiatric disorders: executive function and rule-following , 2007 .

[179]  R. R. Krausz Living in Groups , 2013 .

[180]  Natasha Alechina,et al.  The Dynamics of Syntactic Knowledge , 2006, J. Log. Comput..

[181]  Kevin J. Riggs,et al.  Children's Reasoning and the Mind , 2000 .

[182]  Robin I. M. Dunbar Grooming, Gossip and the Evolution of Language , 1996 .

[183]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.