A dependable perception-decision-execution cycle for autonomous robots

The tasks robots are employed to achieve are becoming increasingly complex, demanding for dependable operation, especially if robots and humans share common space. Unfortunately, for these robots non-determinism is a severe challenge. Malfunctioning hardware, inaccurate sensors, exogenous events and incomplete knowledge lead to inconsistencies in the robot's belief about the world.

[1]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[2]  Alexander Ferrein,et al.  Belief Management for High-Level Robot Programs , 2011, IJCAI.

[3]  Raymond Reiter.  A theory of diagnosis from first principles , 1986 .

[4]  Wolfram Burgard,et al.  Robust Monte Carlo localization for mobile robots , 2001, Artif. Intell..

[5]  Nils J. Nilsson,et al.  Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[6]  Franz Wotawa,et al.  From the real-world to its qualitative representation -- Practical lessons learned , 2005 .

[7]  Sebastian Thrun,et al.  Real-time fault diagnosis [robot fault diagnosis] , 2004, IEEE Robotics & Automation Magazine.

[8]  Jorge A. Baier,et al.  Diagnosis as Planning Revisited , 2010, KR.

[9]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[10]  Gero Iwan,et al.  History-based diagnosis templates in the framework of the situation calculus , 2001, AI Commun..

[11]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

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

[13]  Robin R. Murphy,et al.  Handling Sensing Failures in Autonomous Mobile Robots , 1999, Int. J. Robotics Res..

[14]  Tara Estlin,et al.  CLARAty: Coupled Layer Architecture for Robotic Autonomy , 2000 .

[15]  Ronald Azuma,et al.  A Survey of Augmented Reality , 1997, Presence: Teleoperators & Virtual Environments.

[16]  Jürgen Dix,et al.  Multi-Agent Programming , 2009, Springer US.

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

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

[19]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[20]  Rachid Alami,et al.  An Architecture for Autonomy , 1998, Int. J. Robotics Res..

[21]  Kurt Konolige,et al.  The Office Marathon: Robust navigation in an indoor office environment , 2010, 2010 IEEE International Conference on Robotics and Automation.

[22]  Jeffrie G. Murphy,et al.  Shame Creeps Through Guilt and Feels Like Retribution , 1999 .

[23]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

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

[25]  Hector J. Levesque,et al.  IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[26]  Sheila A. McIlraith.  Explanatory Diagnosis: Conjecturing Actions to Explain Observations , 1998, KR.

[27]  Raja Chatila,et al.  Fault Tolerance in Autonomous Systems: How and How Much? , 2005 .

[28]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..