A Logic of Directions
Files
Publication date
2020
Authors
Du, Heshan
Alechina, Natasha
Cohn, Anthony G.
Editors
Bessiere, Christian
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
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
Taverne
Citation
Du, H, Alechina, N & Cohn, A G 2020, A Logic of Directions. in C Bessiere (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. ijcai.org, pp. 1695-1702. https://doi.org/10.24963/ijcai.2020/235