A Computational Model for Spatial Reasoning with Mental Models

We propose a computational model for spatial reasoning by means of mental models. Our SRM model (Spatial Reasoning by Models) maps spatial working memory to a twodimensional array and uses a spatial focus that places objects in the array, manipulates the position of objects, and inspects the array to find spatial relations that are not given in the premises. The SRM model results in a computational complexity measure that relies on the number of operations in the array and the number of relations that must be handled. The performance of the SRM model is compared to the performance of human subjects reported in the literature and in our own study.

[1]  Markus Knauff,et al.  The cognitive adequacy of Allen's interval calculus for qualitative spatial representation and reasoning , 1999, Spatial Cogn. Comput..

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

[3]  Georg Jahn,et al.  Preferred Mental Models in Spatial Reasoning , 2005 .

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

[5]  André Vandierendonck,et al.  Mental model construction in linear reasoning: Evidence for the construction of initial annotated models , 2004, The Quarterly journal of experimental psychology. A, Human experimental psychology.

[6]  George Sperling,et al.  The information available in brief visual presentations. , 1960 .

[7]  Vincenzo Lombardo,et al.  Model theory of deduction: a unified computational approach , 2001 .

[8]  Herbert H. Clark,et al.  Linguistic processes in deductive reasoning. , 1969 .

[9]  Edward K. Vogel,et al.  The capacity of visual working memory for features and conjunctions , 1997, Nature.

[10]  G. Miller,et al.  Language and Perception , 1976 .

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

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

[13]  Christoph Schlieder,et al.  The Psychological Validity of Qualitative Spatial Reasoning in One Dimension , 2004, Spatial Cogn. Comput..

[14]  J. Bain,et al.  Information-Processing Demands of Transitive Inference , 1986 .

[15]  P. Johnson-Laird,et al.  Visual imagery can impede reasoning , 2002, Memory & cognition.

[16]  Janellen Huttenlocher,et al.  Constructing spatial images: A strategy in reasoning. , 1968 .

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

[18]  M. Knauff,et al.  Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus , 1995 .