Sindoni, G orcid.org/0000-0003-4003-2317, Sano, K orcid.org/0000-0002-7780-423X and Stell, JG orcid.org/0000-0001-9644-1908 (2018) Axiomatizing Discrete Spatial Relations. In: RAMiCS 2018: Relational and Algebraic Methods in Computer Science. International Conference on Relational and Algebraic Methods in Computer Science, 29 Oct - 02 Nov 2018, Groningen. Springer, Cham , pp. 113-130. ISBN 978-3-030-02148-1
Abstract
Qualitative spatial relations are used in artificial intelligence to model commonsense notions such as regions of space overlapping, touching only at their boundaries, or being separate. In this paper we extend earlier work on qualitative relations in discrete space by pre- senting a bi-intuitionistic modal logic with universal modalities, called UBiSKt. This logic has a semantics in which formulae are interpreted as subgraphs. We show how a variety of qualitative spatial relations can be defined in UBiSKt. We make essential use of a sound and complete axiomatisation of the logic and an implementation of a tableau based theorem prover to establish novel properties of these spatial relations. We also explore the role of UBiSKt in expressing spatial relations at more than one level of detail. The features of the logic allow it to rep- resent how a subgraph at a detailed level is approximated at a coarser level.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © Springer Nature Switzerland AG 2018. This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science volume 11194. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-02149-8_8. |
Keywords: | Spatial Relations; Discrete Space; Intuitionistic-Modal Logic; Qualitative Representation and Reasoning |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 29 Oct 2018 11:17 |
Last Modified: | 17 Dec 2024 11:29 |
Status: | Published |
Publisher: | Springer, Cham |
Identification Number: | 10.1007/978-3-030-02149-8_8 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:137857 |