A Logic of Directions

Download PDF
Open Webpage

Heshan Du, Natasha Alechina, Anthony G. Cohn

Published: 01 Jan 2020, Last Modified: 25 Jan 2025IJCAI 2020EveryoneRevisionsBibTeXCC BY-SA 4.0
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.