Efficient Methods for Qualitative Spatial Reasoning
Abstract
The theoretical properties of qualitative spatial reasoning in the RCC-8 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 RCC-8 instances, even if they are in the phase transition region - provided that one uses the maximal tractable subsets of RCC-8 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.
Cite
Text
Renz and Nebel. "Efficient Methods for Qualitative Spatial Reasoning." Journal of Artificial Intelligence Research, 2001. doi:10.1613/JAIR.872Markdown
[Renz and Nebel. "Efficient Methods for Qualitative Spatial Reasoning." Journal of Artificial Intelligence Research, 2001.](https://mlanthology.org/jair/2001/renz2001jair-efficient/) doi:10.1613/JAIR.872BibTeX
@article{renz2001jair-efficient,
title = {{Efficient Methods for Qualitative Spatial Reasoning}},
author = {Renz, Jochen and Nebel, Bernhard},
journal = {Journal of Artificial Intelligence Research},
year = {2001},
pages = {289-318},
doi = {10.1613/JAIR.872},
volume = {15},
url = {https://mlanthology.org/jair/2001/renz2001jair-efficient/}
}