Qualitative Spatial-Relation Reasoning for Design

作者: Max J. Egenhofer

DOI: 10.1007/978-94-017-9297-4_9

关键词: Computer scienceModel-based reasoningLogical inferenceSymbol (formal)InterconnectednessSpatial relationRepresentation (mathematics)Theoretical computer scienceQualitative reasoning

摘要: Qualitative spatial relations are symbol abstractions of geometric representations, which allow computational analyses independent of, but consistent with, graphical depictions. This paper compiles some the most commonly used sets qualitative and their logical inference mechanisms. The abstract representation relations’ interconnectedness in form conceptual neighborhood graphs offers intriguing insight about regularity such complete relations.

参考文章(63)
Zhan Cui, Anthony G. Cohn, David A. Randell, A Spatial Logic based on Regions and Connection. principles of knowledge representation and reasoning. pp. 165- 176 ,(1992)
Max J. Egenhofer, A model for detailed binary topological relationships Geoinformatica. ,vol. 47, pp. 261- 273 ,(2019)
Max J. Egenhofer, A. Rashid B. M. Shariff, David M. Mark, Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English- Language Terms * International Journal of Geographical Information Science. ,vol. 12, pp. 215- 245 ,(1998)
Christian Freksa, Qualitative Spatial Reasoning Cognitive and Linguistic Aspects of Geographic Space. pp. 361- 372 ,(1991) , 10.1007/978-94-011-2606-9_20
Max J. Egenhofer, H. Tom Bruns, Similarity of Spatial Scenes ,(1998)
Max J. Egenhofer, Pre-processing queries with spatial constraints Photogrammetric Engineering and Remote Sensing. ,vol. 60, pp. 783- 790 ,(1994)
Max J. Egenhofer, Khaled K. Al-Taha, Reasoning about Gradual Changes of Topological Relationships advances in geographic information systems. pp. 196- 219 ,(1992) , 10.1007/3-540-55966-3_12
Anthony G. Cohn, Brandon Bennett, John Gooday, Nicholas Mark Gotts, Qualitative Spatial Representation and Reasoning with the Region Connection Calculus Geoinformatica. ,vol. 1, pp. 275- 316 ,(1997) , 10.1023/A:1009712514511
Kathleen Hornsby, Max J. Egenhofer, Patrick Hayes, Modeling Cyclic Change evolution and change in data management. pp. 98- 109 ,(1999) , 10.1007/3-540-48054-4_9