Deductive Spatial Reasoning : From Neurological Evidence to a Cognitive Model

Cognitive modeling aims more and more to explain, predict and integrate behavioral data with brain activations found in fMRI studies. In this article we analyze transitive inferences (e.g. A is left of B and B is left of C then A is left of C) during the spatial reasoning processes. Behavioral findings suggest that reasoners tend to construct a mental model from the premises, which they in turn use to inspect to draw inferences. A reanalysis of our own previous fMRI-study investigating such examples provided us with brain activations pattern. A cognitive model using the (restricted) Bold-function in ACT-R 6.0 can partially predict and explain the results. The findings, limits and potentials of the current representation of the Bold-function in ACT-R are briefly discussed.

[1]  Cornelius Hagen,et al.  Preferred and Alternative Mental Models in Spatial Reasoning , 2005, Spatial Cogn. Comput..

[2]  P. Johnson-Laird.  Mental models and deduction , 2001, Trends in Cognitive Sciences.

[3]  Ken Manktelow,et al.  Reasoning and Thinking , 1999 .

[4]  Gerhard Strube,et al.  Abstract Introduction and Related Work , 2022 .

[5]  Cameron S. Carter,et al.  The Relationship of Three Cortical Regions to an Information-Processing Model , 2004, Journal of Cognitive Neuroscience.

[6]  Marco Ragni,et al.  Preferred Mental Models: How and Why They Are So Important in Human Reasoning with Spatial Relations , 2006, Spatial Cognition.

[7]  John R. Anderson,et al.  Using fMRI to Test Models of Complex Cognition , 2008, Cogn. Sci..

[8]  B. Postle,et al.  An fMRI Investigation of Cortical Contributions to Spatial and Nonspatial Visual Working Memory , 2000, NeuroImage.

[9]  Marco Ragni.  Human Logic in Spatial Reasoning , 2008 .

[10]  P N Johnson-Laird,et al.  Reasoning about relations. , 2005, Psychological review.

[11]  S. Kosslyn,et al.  Neural foundations of imagery , 2001, Nature Reviews Neuroscience.

[12]  Vladimir M. Sloutsky,et al.  fMRI Evidence for a Three-Stage Model of Deductive Reasoning , 2006, Journal of Cognitive Neuroscience.

[13]  James K. Kroger,et al.  Rostrolateral Prefrontal Cortex Involvement in Relational Integration during Reasoning , 2001, NeuroImage.

[14]  E. Maguire,et al.  A Temporoparietal and Prefrontal Network for Retrieving the Spatial Context of Lifelike Events , 2001, NeuroImage.

[15]  L. Rips.  The Psychology of Proof: Deductive Reasoning in Human Thinking , 1994 .

[16]  K. Holyoak,et al.  A System for Relational Reasoning in Human Prefrontal Cortex , 1999 .

[17]  Leslie G. Ungerleider,et al.  A neural system for human visual working memory. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[18]  R. Andersen,et al.  Multimodal representation of space in the posterior parietal cortex and its use in planning movements. , 1997, Annual review of neuroscience.

[19]  P. Johnson-Laird,et al.  Preferred mental models in reasoning about spatial relations , 2007, Memory & cognition.

[20]  R. Andersen,et al.  Models of the Posterior Parietal Cortex Which Perform Multimodal Integration and Represent Space in Several Coordinate Frames , 2000, Journal of Cognitive Neuroscience.

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

[22]  A. Owen,et al.  Anterior prefrontal cortex: insights into function from anatomy and neuroimaging , 2004, Nature Reviews Neuroscience.

[23]  James K. Kroger,et al.  Recruitment of anterior dorsolateral prefrontal cortex in human reasoning: a parametric study of relational complexity. , 2002, Cerebral cortex.

[24]  J D Gabrieli,et al.  Neural substrates of mathematical reasoning: a functional magnetic resonance imaging study of neocortical activation during performance of the necessary arithmetic operations test. , 2001, Neuropsychology.