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
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: |
|
||||
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: | https://doi.org/10.24963/ijcai.2020/235 |