A logic of directions

Du, Heshan, Alechina, Natasha and Cohn, Anthony G. (2020) A logic of directions. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20). IJCAI. (In Press)

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Available under Licence Creative Commons Attribution.
Download (1MB) | Preview


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.

Item Type: Book Section
Schools/Departments: University of Nottingham Ningbo China > Faculty of Science and Engineering > School of Computer Science
Depositing User: Zhou, Elsie
Date Deposited: 11 Jun 2020 01:02
Last Modified: 11 Jun 2020 01:02
URI: https://eprints.nottingham.ac.uk/id/eprint/60879

Actions (Archive Staff Only)

Edit View Edit View