The Mr.ArmHandOne Project: A Mazes Roamer Robot

We present in this paper the crucial components of “Mr.ArmHandOne” project. We shall discuss topics concerning the robot architecture; the robot building process, including the mechanics and electronics solutions to the robot structure; the description of a dynamic neural network for processing the raw data coming from the sonars; the local map dynamic construction, and the overall structure of the cognitive components. We shall then describe ArmHandOne main task, consisting in £nding and getting some object in a real non engineered dynamic world. The test-bed of our research is summarized in the proposed demo: £nding and recognizing objects displaced in an unknown labyrinthine structure. The agent is initially positioned in a random place inside a maze, and his goal is to £nd, grasp and recover a required object, and taking it to an “Exit” position.

[1]  David S. Greenberg,et al.  Traversing Directed Eulerian Mazes , 2000, WG.

[2]  Giuseppe De Giacomo,et al.  Execution Monitoring of High-Level Robot Programs , 1998, KR.

[3]  Sebastian Thrun,et al.  Learning Metric-Topological Maps for Indoor Mobile Robot Navigation , 1998, Artif. Intell..

[4]  Félix Ingrand,et al.  Online Execution Control Checking for Autonomous Systems , 2002 .

[5]  Manuel Blum,et al.  On the power of the compass (or, why mazes are easier to search than graphs) , 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

[6]  Richard J. Lipton,et al.  Random walks, universal traversal sequences, and the complexity of maze problems , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[7]  Michael J. Swain,et al.  The animate agent architecture , 1998 .

[8]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

[9]  Gerhard Lakemeyer,et al.  On-Line Execution of cc-Golog Plans , 2001, IJCAI.

[10]  Karen Zita Haigh,et al.  Xavier: experience with a layered robot architecture , 1997, SGAR.

[11]  Michael Jenkin,et al.  Reactivity in a Logic-Based Robot Programming Framework (Extended Version) , 1999 .

[12]  E. Gat.  On Three-Layer Architectures , 1997 .

[13]  J. Denavit,et al.  A kinematic notation for lower pair mechanisms based on matrices , 1955 .

[14]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[15]  Wolfram Burgard,et al.  Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva , 2000, Int. J. Robotics Res..

[16]  Fiora Pirri,et al.  A Situation-Bayes View of Object Recognition Based on SymGeons , 2002 .

[17]  Wolfram Burgard,et al.  The Interactive Museum Tour-Guide Robot , 1998, AAAI/IAAI.

[18]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[19]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[20]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[21]  Sebastian Thrun,et al.  Probabilistic Algorithms in Robotics , 2000, AI Mag..

[22]  Baruch Schieber,et al.  Navigating in unfamiliar geometric terrain , 1991, STOC '91.

[23]  Brian C. Williams,et al.  Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior , 2001, IJCAI.

[24]  Wolfram Burgard,et al.  MINERVA: A Tour-Guide Robot that Learns , 1999, KI.

[25]  Raymond Reiter,et al.  Open World Planning in the Situation Calculus , 2000, AAAI/IAAI.

[26]  Sven Koenig,et al.  Greedy mapping of terrain , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[27]  Alberto Finzi,et al.  Combining Probabilities, Failures and Safety in Robot Control , 2001, IJCAI.