Qualitative spatial reasoning about relative position: the tradeoff between strong formal properties and successful reasoning about route graphs

Authors:
Reinhard Moratz;Bernhard Nebel;Christian Freksa
Affiliations:
Universität Bremen, Department of Mathematics and Informatics, Bibliothekstr., Bremen, Germany;University of Freiburg, Institute for Informatics, Freiburg, Germany;Universität Bremen, Department of Mathematics and Informatics, Bibliothekstr., Bremen, Germany
Venue:
Spatial cognition III
Year:
2003

Citing 14
Cited 7

Effective solution of qualitative interval constraint problems

Artificial Intelligence
On the computational complexity and geometry of the first-order theory of the reals. Par I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals

Journal of Symbolic Computation
On binary constraint problems

Journal of the ACM (JACM)
Qualitative representation of positional information

Artificial Intelligence
On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus

Artificial Intelligence
A new approach to cyclic ordering of 2D orientations using ternary relation algebras

Artificial Intelligence
Robot Motion Planning

Robot Motion Planning
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
Qualitative Spatial Representation and Reasoning Techniques

KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
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
Acquisition of qualitative spatial representation by visual observation

IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Qualitative and quantitative representations of locomotion and their application in robot navigation

IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A logical account of causal and topological maps

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Projective relations for 3D space: computational model, application, and psychological evaluation

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

On generalizing orientation information in OPRAm

KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Qualitative spatial representation and reasoning in the SparQ-toolbox

SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
The spatial and the visual in mental spatial reasoning: an ill-posed distinction

SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Exploiting qualitative spatial constraints for multi-hypothesis topological map learning

COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Spatial representation and reasoning: integrating synthetic character's visual perception and symbolic representation

AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
The finest of its class: the natural point-based ternary calculus LR for qualitative spatial reasoning

SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Exploiting qualitative spatial neighborhoods in the situation calculus

SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction

Quantified Score

Hi-index	0.00

Visualization

Abstract

Qualitative knowledge about relative orientation can be expressed in form of ternary point relations. In this paper we present a calculus based on ternary relations. It utilises finer distinctions than previously published calculi. It permits differentiations which are useful in realistic application scenarios that cannot directly be dealt with in coarser calculi. There is a price to pay for the advanced options: useful mathematical results for coarser calculi do not hold for the new calculus. This tradeoff is demonstrated by a direct comparison of the new calculus with the flip-flop calculus.