Du, H, Alechina, N and Cohn, AG orcid.org/0000-0002-7652-8907 (2020) A Logic of Directions. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI-PRICAI 2020, 11-17 Jul 2020, Yokohama, Japan. International Joint Conferences on Artificial Intelligence, pp. 1695-1702. ISBN: 9780999241165
Abstract
We propose a logic of directions for points (LD) over 2D Euclidean space, which formalizes 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.
Metadata
| Item Type: | Proceedings Paper |
|---|---|
| Authors/Creators: |
|
| Copyright, Publisher and Additional Information: | Copyright © 2020 International Joint Conferences on Artificial Intelligence. Uploaded in accordance with the publisher's self-archiving policy. |
| Keywords: | Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning Knowledge Representation and Reasoning: Logics for Knowledge Representation Knowledge Representation and Reasoning: Knowledge Representation Languages |
| Dates: |
|
| Institution: | The University of Leeds |
| Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
| Funding Information: | Funder Grant number EU - European Union 825619 |
| Depositing User: | Symplectic Publications |
| Date Deposited: | 11 May 2020 19:15 |
| Last Modified: | 12 Nov 2020 03:59 |
| Published Version: | https://www.ijcai.org/Proceedings/2020/235 |
| Status: | Published |
| Publisher: | International Joint Conferences on Artificial Intelligence |
| Identification Number: | 10.24963/ijcai.2020/235 |
| Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:160128 |

CORE (COnnecting REpositories)
CORE (COnnecting REpositories)