Logic-based sensor fusion for localization

A sensor-fusion technique based on the logic of possibility is proposed for the localization of a mobile robot in an approximately known indoor area. The basic concepts underlying the approach are summarized and the formal method for sensor fusion is illustrated. The technique is used to update the necessity values of a discrete set of relevant places in a topological map of the environment. Experimental tests, using a sonar ring and a beacon-tracking camera, are reported.

[1]  H. Prade,et al.  Possibilistic logic , 1994 .

[2]  Illah R. Nourbakhsh,et al.  DERVISH - An Office-Navigating Robot , 1995, AI Mag..

[3]  Reid G. Simmons,et al.  Probabilistic Robot Navigation in Partially Observable Environments , 1995, IJCAI.

[4]  Alessandro Saffiotti,et al.  Perception-Based Self-Localization Using Fuzzy Locations , 1995, Reasoning with Uncertainty in Robotics.

[5]  Hisayoshi Sugiyama.  A method for an autonomous mobile robot to recognize its position in the global coordinate system when building a map , 1993, Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '93).

[6]  Alejandro Martín,et al.  Mobile Robot Localization Using Fuzzy Maps , 1995, Fuzzy Logic in Artificial Intelligence.

[7]  Paolo Bison,et al.  A Robot Duo for Cooperative Autonomous Navigation , 1996 .

[8]  Paolo Bison,et al.  A Syntactical Approach to Data Fusion , 1997, ECSQARU-FAPR.

[9]  Leslie Pack Kaelbling,et al.  Uncertainty in Graph-Based Map Learning , 1993 .

[10]  Leslie Pack Kaelbling,et al.  Acting under uncertainty: discrete Bayesian models for mobile-robot navigation , 1996, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS '96.

[11]  Didier Dubois,et al.  A survey of belief revision and updating rules in various uncertainty models , 1994, Int. J. Intell. Syst..

[12]  Andrew B. Kahng,et al.  Cooperative Mobile Robotics: Antecedents and Directions , 1997, Auton. Robots.

[13]  Ryo Kurazume,et al.  Cooperative positioning with multiple robots , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[14]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[15]  Luca Boldrin,et al.  Local Possibilistic Logic , 1997, J. Appl. Non Class. Logics.

[16]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[17]  D. Dubois,et al.  Possibility theory and data fusion in poorly informed environments , 1994 .

[18]  David Kortenkamp,et al.  Topological Mapping for Mobile Robots Using a Combination of Sonar and Vision Sensing , 1994, AAAI.