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 |