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