The Psychological Validity of Qualitative Spatial Reasoning in One Dimension

One of the central questions of spatial reasoning research is whether the underlying processes are inherently visual, spatial, or logical. We applied the dual task interference paradigm to spatial reasoning problems in one dimension, using Allen's interval calculus, in order to make progress towards resolving this argument. Our results indicate that spatial reasoning with interval relations is largely based on the construction and inspection of qualitative spatial representations, or mental models, while no evidence for logical proofs of derivations or the involvement of visual representations and processes was found.

[1]  Göran Hagert,et al.  Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning , 1984, ECAI.

[2]  Markus Knauff Visual and spatial representations in spatial reasoning , 2000 .

[3]  Dimitrios Papadias,et al.  A Representation Scheme for Computational Imagery , 1991 .

[4]  S. Kosslyn,et al.  Topographical representations of mental images in primary visual cortex , 1995, Nature.

[5]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

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

[7]  Leslie G. Ungerleider Functional Brain Imaging Studies of Cortical Mechanisms for Memory , 1995, Science.

[8]  Daniel Gopher,et al.  On the Economy of the Human Processing System: A Model of Multiple Capacity. , 1977 .

[9]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[10]  P A Bourke Measuring Attentional Demand in Continuous Dual-task Performance , 1997, The Quarterly journal of experimental psychology. A, Human experimental psychology.

[11]  Reinhold Rauh,et al.  A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation , 1997, COSIT.

[12]  Reinhold Rauh,et al.  Towards Cognitive Adequacy of Topological Spatial Relations , 2000, Spatial Cognition.

[13]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[14]  Philip N. Johnson-Laird,et al.  Imagery, Visualization, and Thinking , 1998 .

[15]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[16]  C. Freksa,et al.  Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge , 1998 .

[17]  D. Osherson,et al.  Distinct brain loci in deductive versus probabilistic reasoning , 1998, Neuropsychologia.

[18]  S. Handel,et al.  Social reasoning and spatial paralogic. , 1965, Journal of personality and social psychology.

[19]  K. C. Klauer Working Memory Involvement in Propositional and Spatial Reasoning , 1997 .

[20]  S. Kosslyn,et al.  The role of area 17 in visual imagery: convergent evidence from PET and rTMS. , 1999, Science.

[21]  R. Dolan,et al.  Functional neuroanatomy of three-term relational reasoning , 2001, Neuropsychologia.

[22]  S. Kosslyn,et al.  Why are What and Where Processed by Separate Cortical Visual Systems? A Computational Investigation , 1989, Journal of Cognitive Neuroscience.

[23]  Geoffrey Z. Liu Symbolic projection for image information retrieval and spatial reasoning , 1997 .

[24]  L. Kaufman,et al.  Handbook of perception and human performance , 1986 .

[25]  Edward Awh,et al.  Spatial versus Object Working Memory: PET Investigations , 1995, Journal of Cognitive Neuroscience.

[26]  R. Shillcock,et al.  Proceedings of the Twenty-Sixth Annual Conference of the Cognitive Science Society , 1998 .

[27]  Daniel Gopher,et al.  Workload: An examination of the concept. , 1986 .

[28]  P. Johnson-Laird,et al.  The mental representation of spatial descriptions , 1982, Memory & cognition.

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

[30]  Mark W Greenlee,et al.  Spatial imagery in deductive reasoning: a functional MRI study. , 2002, Brain research. Cognitive brain research.

[31]  S. Levinson,et al.  LANGUAGE AND SPACE , 1996 .

[32]  R. Sternberg Representation and Process in Linear Syllogistic Reasoning. , 1980 .

[33]  Leslie G. Ungerleider Two cortical visual systems , 1982 .

[34]  R. Finke,et al.  Principles of mental imagery , 1989 .

[35]  Philip N. Johnson-Laird,et al.  Reasoning by model: The case of multiple quantification. , 1989 .

[36]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[37]  P. Pollard,et al.  Response bias in relational reasoning , 1986 .

[38]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[39]  M. Frixione,et al.  Diagrammatic Reasoning , 2001 .

[40]  D. Papadias,et al.  Computational Imagery , 1992, Cogn. Sci..

[41]  J. Desmond,et al.  Neural Substrates of Fluid Reasoning: An fMRI Study of Neocortical Activation during Performance of the Raven's Progressive Matrices Test , 1997, Cognitive Psychology.

[42]  Kim Sterelny,et al.  The Imagery Debate , 1991 .

[43]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

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

[45]  G. R. Potts,et al.  The internal representation of a three-term series problem , 1975 .

[46]  S. Siegel,et al.  Nonparametric Statistics for the Behavioral Sciences , 2022, The SAGE Encyclopedia of Research Design.

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

[48]  D. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: An Introduction , 1991 .

[49]  O Levrier,et al.  Functional magnetic resonance imaging at 1.5 T during sensorimotor and cognitive task. , 1995, European neurology.

[50]  David M. Mark,et al.  Naive Geography , 1995, COSIT.

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

[52]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.

[53]  M. Carreiras,et al.  Reasoning about relations: Spatial and nonspatial problems , 1997 .

[54]  D. Egan,et al.  Differences in mental representations spontaneously adopted for reasoning , 1982, Memory & cognition.

[55]  David M. Mark,et al.  Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research , 1991 .

[56]  B. Landau,et al.  “What” and “where” in spatial language and spatial cognition , 1993 .

[57]  G. Bower,et al.  The metrics of spatial situation models. , 1997, Journal of experimental psychology. Learning, memory, and cognition.

[58]  P. Johnson-Laird,et al.  Reasoning, Models, and Images: Behavioral Measures and Cortical Activity , 2003, Journal of Cognitive Neuroscience.

[59]  A. Parkin,et al.  Human memory , 1999, Current Biology.

[60]  Julian Hochberg,et al.  Perception and cognition at century's end , 1998 .

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

[62]  Christoph Schlieder,et al.  Mental Models in Spatial Reasoning , 1998, Spatial Cognition.

[63]  Hanno Walischewski Learning and Interpretation of the Layout of Structured Documents , 1997, KI.

[64]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[65]  P. Johnson-Laird The three-term series problem ☆ , 1972 .

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

[67]  Luis Fariñas del Cerro,et al.  Tractability Results in the Block Algebra , 2002, J. Log. Comput..

[68]  Gaynor Williams Space to Think , 2004 .

[69]  S. Kosslyn Image and mind , 1982 .

[70]  R. Maki Categorization and distance effects with spatial linear orders. , 1981 .

[71]  Wilfried Brauer,et al.  Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications , 2000 .

[72]  Mark W. Greenlee,et al.  Cortical activation evoked by visual mental imagery as measured by functional MRI , 2000 .

[73]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[74]  B. Gillam,et al.  Perception and Cognition at Century''s End , 1998 .

[75]  A. Glenberg,et al.  Comprehension of illustrated text: Pictures help to build mental models☆ , 1992 .

[76]  M. Greenlee,et al.  Cortical activation evoked by visual mental imagery as measured by fMRI , 2000, Neuroreport.

[77]  S. Kosslyn Image and Brain: The Resolution of the Imagery Debate , 1994, Journal of Cognitive Neuroscience.

[78]  K. Sterelny The Imagery Debate , 1986, Philosophy of Science.

[79]  Tod S. Levitt,et al.  Qualitative Navigation for Mobile Robots , 1990, Artif. Intell..

[80]  Markus Knauff,et al.  Visual Imagery in Deductive Reasoning: Results from experiments with sighted, blindfolded, and congenitally totally blind persons , 2004 .

[81]  J. Richardson The role of mental imagery in models of transitive inference , 1987 .

[82]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[83]  Cornelius Hagen,et al.  Interactive Layout Generation with a Diagrammatic Constraint Language , 2000, Spatial Cognition.