A Logic of Directions

A Logic of Directions

Heshan Du, Natasha Alechina, Anthony G. Cohn

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
Main track. Pages 1695-1702. https://doi.org/10.24963/ijcai.2020/235

We propose a logic of directions for points (LD) over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete.
Keywords:
Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning
Knowledge Representation and Reasoning: Logics for Knowledge Representation
Knowledge Representation and Reasoning: Knowledge Representation Languages