On combining cognitive and formal modeling: A case study involving strategic reasoning

This paper builds up a bridge between the formal and cognitive modeling of human reasoning aspects. To this end, we focus on empirical studies on playing a certain game, namely marble drop, that involves reasoning about other minds, and build up a formal system that can model the different strategic reasoning methods employed by the participants in the empirical study. Finally, we show how the syntactic framework of the formal system can aid in building up a cognitive model of the participants of the marble drop game.

[1]  H. Rijn,et al.  The Facilitative Effect of Context on Second-Order Social Reasoning , 2010 .

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

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

[4]  Rineke Verbrugge,et al.  I Do Know What You Think I Think: Second-Order Theory Of Mind In Strategic Games Is Not That Difficult , 2011, CogSci.

[5]  Soumya Paul,et al.  Stability under Strategy Switching , 2009, CiE.

[6]  Eric J. Johnson,et al.  Detecting Failures of Backward Induction: Monitoring Information Search in Sequential Bargaining , 2002, J. Econ. Theory.

[7]  John R. Anderson,et al.  Automated Eye-Movement Protocol Analysis , 2001, Hum. Comput. Interact..

[8]  G. Bonanno.  Modal logic and game theory: two alternative approaches , 2002 .

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

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

[11]  Andrés Perea,et al.  Backward Induction versus Forward Induction Reasoning , 2010, Games.

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

[13]  Laurina Verbrugge,et al.  A Computational Model of Second-Order Social Reasoning , 2010 .

[14]  Rineke Verbrugge,et al.  Logic Meets Cognition: Empirical Reasoning in Games , 2010, MALLOW.

[15]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

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