A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information

Several qualitative models have been developed in the last years with the aim of simulating the spatial reasoning process used by humans. However, up to now no model has been developed to represent and reason with several aspects of space (such as orientation, distance and cardinal directions, for instance) in a uniform way, i.e. by referring to the same spatial objects. An approach for the integration of several aspects of space into the same model, based on constraint logic programming extended with constraint handling rules, is proposed in this article. As an example of this approach, the integration of orientation and positional information in the same model is explained.

[1]  Christian Freksa,et al.  On the utilization of spatial structures for cognitively plausible and efficient reasoning , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[2]  M. Teresa Escrig,et al.  The Integration of Qualitative Orientation and Named Distances: Application to a Qualitative Navigation Simulator , 1997, Int. J. Artif. Intell. Tools.

[3]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[4]  Andrew U. Frank,et al.  Qualitative spatial reasoning about distances and directions in geographic space , 1992, J. Vis. Lang. Comput..

[5]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[6]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[7]  Pedro Meseguer,et al.  Constraint Satisfaction Problems: An Overview , 1989, AI Commun..

[8]  M. Teresa Escrig,et al.  Qualitative Spatial Orientation with Constraint Handling Rules , 1996, ECAI.

[9]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[10]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[11]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[12]  Thom W. Frühwirth,et al.  Constraint Handling Rules , 2009, Constraint Programming.

[13]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[14]  Erland Jungert,et al.  A Spatial Knowledge Structure for Image Information Systems Using Symbolic Projections , 1986, FJCC.