Efficient Methods for Qualitative Spatial Reasoning
arXiv:1106.0679 · doi:10.1613/jair.872
Abstract
The theoretical properties of qualitative spatial reasoning in the RCC8 framework have been analyzed extensively. However, no empirical investigation has been made yet. Our experiments show that the adaption of the algorithms used for qualitative temporal reasoning can solve large RCC8 instances, even if they are in the phase transition region -- provided that one uses the maximal tractable subsets of RCC8 that have been identified by us. In particular, we demonstrate that the orthogonal combination of heuristic methods is successful in solving almost all apparently hard instances in the phase transition region up to a certain size in reasonable time.
Cited by in corpus (5)
- Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
- Topological Logics with Connectedness over Euclidean Spaces
- On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
- Tractable Fragments of Temporal Sequences of Topological Information
- Constraint-Based Qualitative Simulation