Sciweavers

Share
COSIT
2001
Springer

Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation

10 years 3 months ago
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no results about algorithmic properties of this calculus are known. First, we explore the possibility of applying constraint propagation techniques to solve the reasoning problem in this calculus. For this purpose, we have to generalize the known techniques for binary relations because the Double Cross calculus is based on ternary relations. We will show, however, that such a generalization leads to problems. The Double Cross calculus is not closed under composition and permutation. Further, as we will show, there exists no finite refinement of the base relations with such a closure property. Finally, we show that determining satisfiability of constraint systems over Double Cross relations is NP-hard, even if only the base relations of the Double Cross calculus are used. On the positive side, however, we show that ...
Alexander Scivos, Bernhard Nebel
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where COSIT
Authors Alexander Scivos, Bernhard Nebel
Comments (0)
books