Formally grounding spatio-temporal thinking
- 205 Downloads
To navigate through daily life, humans use their ability to conceptualize spatio-temporal information, which ultimately leads to a system of categories. Likewise, the spatial sciences rely heavily on conceptualization and categorization as means to create knowledge when they process spatio-temporal data. In the spatial sciences and in related branches of artificial intelligence, an approach has been developed for processing spatio-temporal data on the level of coarse categories: qualitative spatio-temporal representation and reasoning (QSTR). Calculi developed in QSTR allow for the meaningful processing of and reasoning with spatio-temporal information. While qualitative calculi are widely acknowledged in the cognitive sciences, there is little behavioral assessment whether these calculi are indeed cognitively adequate. This is an astonishing conundrum given that these calculi are ubiquitous, are often intended to improve processes at the human–machine interface, and are on several occasions claimed to be cognitively adequate. We have systematically evaluated several approaches to formally characterize spatial relations from a cognitive-behavioral perspective for both static and dynamically changing spatial relations. This contribution will detail our framework, which is addressing the question how formal characterization of space can help us understand how people think with, in, and about space.
KeywordsQualitative spatial reasoning Formalized cognition Similarity measures
This research is funded by the National Science Foundation (#0924534). Additionally, F. Dylla acknowledges funding by German Research Organization (DFG) SFB/TR8 Spatial Cognition.
Conflict of interest
This supplement was not sponsored by outside commercial interests. It was funded entirely by ECONA, Via dei Marsi, 78, 00185 Roma, Italy
- Cohn AG, Renz J (2008) Qualitative spatial representation and reasoning. In: van Harmelen F, Lifschitz V, Porter B (eds.), Foundations of artificial intelligence. Handbook of knowledge representation (1st ed), Amsterdam, Elsevier, pp 551–596Google Scholar
- Freksa C (1991) Conceptual neighborhood and its role in temporal and spatial reasoning. In: Singh MG, Trav′e-Massuy`es L (eds), Proceedings of the IMACS Workshop on Decision Support Systems and Qualitative Reasoning, North-Holland, Amsterdam, Elsevier, pp 181–187Google Scholar
- Galton A (2000) Qualitative spatial change. Spatial information systems. Oxford University Press, OxfordGoogle Scholar
- Gibson J (1979) The ecological approach to visual perception. Houghton Mifflin, Boston, MAGoogle Scholar
- Klippel A (in print) Spatial information theory meets spatial thinking—is topology the Rosetta Stone of spatio-temporal cognition? Annals of the Association of American Geographers, (67 manuscript pages)Google Scholar
- Kordjamshidi P, Otterlo M von, Moens M-F (2010) From language towards formal spatial calculi. In: Ross RJ, Hois J, Kelleher J (eds), Computational models of spatial language interpretation (CoSLI) Workshop at Spatial Cognition 2010, Mt. Hood, Oregon, 17–24. CEUR Workshop ProceedingsGoogle Scholar
- Randell DA, Cui Z, Cohn AG (1992) A spatial logic based on regions and connections. In: Nebel B, Rich C, Swartout WR (eds), Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, San Francisco, Morgan Kaufmann, pp 165–176Google Scholar
- Schultz C, Amor R, Guesgen HW (2011) Methodologies for qualitative spatial and temporal reasoning application design. In: Hazarika SM (ed), Qualitative Spatio-temporal representation and reasoning. Trends and future directions. Hershey, IGI GlobalGoogle Scholar
- Sridhar M, Cohn A, Hogg D (2011) From Video to RCC8: exploiting a distance based semantics to stabilise the interpretation of mereotopological relations: spatial information theory. In: Egenhofer M, Giudice N, Moratz R, Worboys M (eds), Lecture notes in computer science. Spatial Information Theory. 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12–16. Proceedings, 110–125. Berlin, SpringerGoogle Scholar