Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)

Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)

Till Mossakowski, Reinhard Moratz

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Journal track. Pages 5040-5044. https://doi.org/10.24963/ijcai.2017/718

A qualitative representation of space and/or time provides mechanisms which characterize the essential properties of objects or configurations. The advantages over quantitative representations can be: (1) a better match with human concepts related to natural language, and (2) better efficiency for reasoning. The two main trends in qualitative spatial constraint reasoning are topological reasoning about regions and reasoning about directions between points and straight lines and orientations of straight lines or configurations derived from points. In this work, we apply universal algebraic tools to binary qualitative calculi and their relations.
Keywords:
Constraints and Satisfiability: Constraint Satisfaction
Knowledge Representation, Reasoning, and Logic: Common-Sense Reasoning
Knowledge Representation, Reasoning, and Logic: Geometric, Spatial, and Temporal Reasoning
Knowledge Representation, Reasoning, and Logic: Qualitative Reasoning