Human beings reason about different aspects of space (such as relative orientation, cardinal directions, distance, size and shape of objects) quite easily. With the aim of simulating human behavior, several models for these spatial concepts have been developed in the recent years. Cognitive considerations have made these frameworks qualitative, because they seem to deal better with the imprecision that human perception provides. However, an operational model to reason with all these spatial aspects in an integrated way has not been developed, up to now. The first aim of our research work has been the integration of different spatial concepts into the same spatial model which has been accomplished thanks to the definition of an operational model based on Constrain Logic Programming extended with Constraint Handling Rules. Although other aspects of space have been successfully represented by these techniques [2], in this paper we focus our attention in positional information, that is, orientation integrated with distance information. The Constraint Solver developed for managing positional information has a temporal complexity of O(n) 3, where n is the number of spatial landmarks considered in the reasoning process. The second aim of our work is to apply qualitative spatial reasoning to develop a Qualitative Navigation Simulator.
Qualitative Spatial Reasoning: Framework and Frontiers