Li, S and Cohn, AG (2012) Reasoning with topological and directional spatial information. Computational Intelligence, 28 (4). 579 - 616. ISSN 0824-7935
Abstract
Current research on qualitative spatial representation and reasoning mainly focuses on one single aspect of space. In real-world applications, however, multiple spatial aspects are often involved simultaneously. This paper investigates problems arising in reasoning with combined topological and directional information. We use the RCC8 algebra and the rectangle algebra (RA) for expressing topological and directional information, respectively. We give examples to show that the bipath-consistency algorithm Bipath-Consistency is incomplete for solving even basic RCC8 and RA constraints. If topological constraints are taken from some maximal tractable subclasses of RCC8, and directional constraints are taken from a subalgebra, termed DIR49, of RA, then we show that Bipath-Consistency is able to separate topological constraints from directional ones. This means, given a set of hybrid topological and directional constraints from the above subclasses of RCC8 and RA, we can transfer the joint satisfaction problem in polynomial time to two independent satisfaction problems in RCC8 and RA. For general RA constraints, we give a method to compute solutions that satisfy all topological constraints and approximately satisfy each RA constraint to any prescribed precision.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Keywords: | Qualitative spatial reasoning; topology; region connection calculus; rectangle algebra; joint satisfaction problem; approximation |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Artificial Intelligence & Biological Systems (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 17 Nov 2014 16:27 |
Last Modified: | 21 Apr 2015 18:34 |
Published Version: | http://dx.doi.org/10.1111/j.1467-8640.2012.00431.x |
Status: | Published |
Publisher: | Wiley |
Identification Number: | 10.1111/j.1467-8640.2012.00431.x |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:81163 |