A logic of directions
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...
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Language: | English |
| Published: |
IJCAI
2020
|
| Online Access: | https://eprints.nottingham.ac.uk/60879/ |
| _version_ | 1848799816485699584 |
|---|---|
| author | Du, Heshan Alechina, Natasha Cohn, Anthony G. |
| author_facet | Du, Heshan Alechina, Natasha Cohn, Anthony G. |
| author_sort | Du, Heshan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T20:41:41Z |
| format | Book Section |
| id | nottingham-60879 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:41:41Z |
| publishDate | 2020 |
| publisher | IJCAI |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-608792020-06-11T01:02:47Z https://eprints.nottingham.ac.uk/60879/ A logic of directions Du, Heshan Alechina, Natasha Cohn, Anthony G. 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. IJCAI 2020-01-01 Book Section PeerReviewed application/pdf en cc_by https://eprints.nottingham.ac.uk/60879/1/ijcai20-4296.pdf 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) |
| spellingShingle | Du, Heshan Alechina, Natasha Cohn, Anthony G. A logic of directions |
| title | A logic of directions |
| title_full | A logic of directions |
| title_fullStr | A logic of directions |
| title_full_unstemmed | A logic of directions |
| title_short | A logic of directions |
| title_sort | logic of directions |
| url | https://eprints.nottingham.ac.uk/60879/ |