Deduction as Stochastic Simulation

Abstract : Many theorists argue that deduction is based on the construction of mental models or simulations of descriptions. Individuals tend to reason intuitively from a single mental model, but on occasion they make a deliberate search for alternative models. Previous computer implementations of the theory were deterministic, but evidence from empirical studies suggested that a stochastic algorithm would have greater predictive power. We present such a system for inferences from assertions with single quantifiers, such as ???All the agents are lawyers???. This system implements constraints on the size of model, the sorts of individual it represents, and on the likelihood of a search for alternative models. We show that the system yields quantitative predictions at a fine-grained level, and that they fit the data from two experiments better than previous accounts.

[1]  P. Johnson-Laird,et al.  Counterexamples in sentential reasoning , 2003, Memory & cognition.

[2]  Asit P. Basu.  Statistical Analysis of Nonnormal Data , 1995 .

[3]  L. Rips.  The Psychology of Proof , 1994 .

[4]  Laurence R. Horn,et al.  The handbook of pragmatics , 2004 .

[5]  P. Johnson-Laird.  How We Reason , 2006 .

[6]  Hansjörg Neth,et al.  The Search for Counterexamples in Human Reasoning , 1999 .

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

[8]  K. Stanovich,et al.  Heuristics and Biases: Individual Differences in Reasoning: Implications for the Rationality Debate? , 2002 .

[9]  J. Gregory Trafton,et al.  mReactr: A computational theory of deductive reasoning , 2012, CogSci.

[10]  Stephen E. Newstead,et al.  Drawing inferences from quantified statements: a study of the square of opposition , 1983 .

[11]  Rocky Ross,et al.  Mental models , 2004, SIGA.

[12]  P. Johnson-Laird,et al.  Theories of the syllogism: A meta-analysis. , 2012, Psychological bulletin.

[13]  J. Gregory Trafton,et al.  Memory for goals: an activation-based model , 2002, Cogn. Sci..

[14]  Dirk van Rijn,et al.  Proceedings of the 31st annual conference of the Cognitive Science Society , 2003 .

[15]  W. Schroyens,et al.  A critique of Oaksford, Chater, and Larkin's (2000) conditional probability model of conditional reasoning. , 2003, Journal of experimental psychology. Learning, memory, and cognition.

[16]  G. Schwarz.  Estimating the Dimension of a Model , 1978 .

[17]  Thomas L. Griffiths,et al.  One and Done? Optimal Decisions From Very Few Samples , 2014, Cogn. Sci..

[18]  Johanna D. Moore,et al.  Proceedings of the 28th Annual Conference of the Cognitive Science Society , 2005 .

[19]  Siobhan Chapman.  Logic and Conversation , 2005 .

[20]  Sangeet Khemlani,et al.  The processes of inference , 2013, Argument Comput..

[21]  Ian Begg,et al.  On the Interpretation of Syllogisms , 1982 .

[22]  Klaus Oberauer,et al.  Reasoning with conditionals: A test of formal models of four theories , 2006, Cognitive Psychology.

[23]  Gerald Gazdar,et al.  Pragmatics: Implicature, Presupposition, and Logical Form , 1978 .

[24]  Walter Schaeken,et al.  Inference suppression and semantic memory retrieval: Every counterexample counts , 2003, Memory & cognition.

[25]  R Core Team,et al.  R: A language and environment for statistical computing. , 2014 .

[26]  Noah D. Goodman,et al.  Knowledge and implicature: Modeling language understanding as social cognition , 2012, CogSci.