Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
From local to global consistency
Artificial Intelligence
Journal of Symbolic Computation
A new approach to cyclic ordering of 2D orientations using ternary relation algebras
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Qualitative reasoning with directional relations
Artificial Intelligence
A much better polynomial time approximation of consistency in the LR calculus
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
StarVars: effective reasoning about relative directions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Various calculi have been designed for qualitative constraint-based representation and reasoning. Especially for orientation calculi, it happens that the well-known method of algebraic closure cannot decide consistency of constraint networks, even when considering networks over base relations (= scenarios) only. We show that this is the case for all relative orientation calculi capable of distinguishing between "left of" and "right of". Indeed, for these calculi, it is not clear whether efficient (i.e. polynomial) algorithms deciding scenario-consistency exist.As a partial solution of this problem, we present a technique to decide global consistency in qualitative calculi. It is applicable to all calculi that employ convex base relations over the real-valued space 茂戮驴nand it can be performed in polynomial time when dealing with convex relations only. Since global consistency implies consistency, this can be an efficient aid for identifying consistent scenarios. This complements the method of algebraic closure which can identify a subset of inconsistent scenarios.