Autonomous robot navigation using human spatial concepts

With the aim of automatically reasoning with spatial aspects in a cognitive way, several qualitative models have been developed in recent years. However, there is no model to reason with several spatial aspects in a uniform way. Moreover, most of these models simplify spatial objects to points. In this paper we present the use of constraint logic programming instantiated to finite domains extended with constraint handling rules as a tool for successfully integrating the qualitative concepts of orientation, distance, and cardinal directions, using points as well as extended objects as a primitive of reasoning. The resulting model has been applied to build a demonstrator: a qualitative navigation simulator on the structured environment of our city. ©2000 John Wiley & Sons, Inc.

[1]  Erland Jungert.  The Observer's Point of View: An Extension of Symbolic Projections , 1992, Spatio-Temporal Reasoning.

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

[3]  Il-Pyung Park,et al.  Qualitative environmental navigation: theory and practice , 1994 .

[4]  Erland Jungert,et al.  Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps , 1992, IEEE Trans. Pattern Anal. Mach. Intell..

[5]  Benjamin Kuipers,et al.  Modeling Spatial Knowledge , 1978, IJCAI.

[6]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[7]  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.

[8]  Benjamin Kuipers,et al.  A Robust, Qualitative Method for Robot Spatial Learning , 1988, AAAI.

[9]  Itay Meiri,et al.  Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..

[10]  Ernest Davis,et al.  Representing and Acquiring Geographic Knowledge , 1986 .

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

[12]  Kai Zimmermann,et al.  Enhancing Qualitative Spatial Reasoning - Combining Orientation and Distance , 1993, COSIT.

[13]  M. T. Escrig.  Qualitative Spatial Reasoning: Theory and Practice: Application to Robot Navigation , 1998 .

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

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

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

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

[18]  Daryl T. Lawton,et al.  Range-free qualitative navigation , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

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

[20]  Pascal Van Hentenryck.  Constraint logic programming , 1991, The Knowledge Engineering Review.

[21]  Olga Stepánková,et al.  An Introduction to Qualitative Reasoning , 1992, Advanced Topics in Artificial Intelligence.

[22]  M. Teresa Escrig,et al.  A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information , 1998, J. Vis. Lang. Comput..

[23]  William B. Thompson,et al.  Inexact navigation , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[24]  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.