Computational Properties of Qualitative Spatial Reasoning: First Results (1995)
| Venue: | KI-95: ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Citations: | 35 - 4 self |
BibTeX
@INPROCEEDINGS{Nebel95computationalproperties,
author = {Bernhard Nebel},
title = {Computational Properties of Qualitative Spatial Reasoning: First Results},
booktitle = {KI-95: ADVANCES IN ARTIFICIAL INTELLIGENCE},
year = {1995},
pages = {233--244},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
While the computational properties of qualitative temporal reasoning have been analyzed quite thoroughly, the computational properties of qualitative spatial reasoning are not very well investigated. In fact, almost no completeness results are known for qualitative spatial calculi and no computational complexity analysis has been carried out yet. In this paper, we will focus on the so-called RCC approach and use Bennett's encoding of spatial reasoning in intuitionistic logic in order to show that consistency checking for the topological base relations can be done efficiently. Further, we show that path-consistency is sufficient for deciding global consistency. As a side-effect we prove a particular fragment of propositional intuitionistic logic to be tractable.
