A Logic of Directions

Heshan Du; Natasha Alechina; Anthony G. Cohn

doi:10.24963/ijcai.2020/235

A Logic of Directions

Heshan Du, Natasha Alechina, Anthony G. Cohn

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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.

Original language	English
Title of host publication	Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
Editors	Christian Bessiere
Pages	1695-1702
ISBN (Electronic)	9780999241165
DOIs	https://doi.org/10.24963/ijcai.2020/235
Publication status	Published - 2020
Externally published	Yes

Access to Document

10.24963/ijcai.2020/235

Cite this

@inproceedings{b2c16cf151c145189f6da6f5c809a82e,

title = "A Logic of Directions",

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.",

author = "Heshan Du and Natasha Alechina and Cohn, {Anthony G.}",

year = "2020",

doi = "10.24963/ijcai.2020/235",

language = "English",

pages = "1695--1702",

editor = "Christian Bessiere",

booktitle = "Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence",

}

TY - GEN

T1 - A Logic of Directions

AU - Du, Heshan

AU - Alechina, Natasha

AU - Cohn, Anthony G.

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

U2 - 10.24963/ijcai.2020/235

DO - 10.24963/ijcai.2020/235

M3 - Conference Article in proceeding

SP - 1695

EP - 1702

BT - Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence

A2 - Bessiere, Christian

ER -

A Logic of Directions

Abstract

Access to Document

Fingerprint

Cite this