作者: Max J. Egenhofer
DOI: 10.1007/978-94-017-9297-4_9
关键词: Computer science 、 Model-based reasoning 、 Logical inference 、 Symbol (formal) 、 Interconnectedness 、 Spatial relation 、 Representation (mathematics) 、 Theoretical computer science 、 Qualitative 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.