A theory of diagnosis from first principles
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Plan execution in dynamic environments
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Detecting execution failures using learned action models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
An on-line decision-theoretic Golog interpreter
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Detecting and locating faults in the control software of autonomous mobile robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A Real-Time Hybrid Architecture for Biped Humanoids with Active Vision Mechanisms
Journal of Intelligent and Robotic Systems
Hi-index | 0.00 |
If an autonomous mobile robot has to perform a really complex task like setting the table for dinner, it has to have capabilities for planning and reasoning in order to be able to successfully finish the task. For the calculation of a plan for a given goal there exist a number of suitable algorithms. But if such a plan is executed on an autonomous mobile robot in a dynamic environment, a number of problems are likely to occur. Beside the problems caused by the assumption used in the planning phase problems arise trough inaccurate sensing, acting and events which are not under control of the robot. All these problems have in common that they cause an inconsistency between the intentions of the plan and the observed world. In this paper we propose model-based diagnosis as a method for the detection and the categorization of such inconsistencies. The obtained knowledge about failures in plan execution and about their root causes can be used to monitor plan execution. Such monitoring together with appropriate repair actions improves the robustness of the execution of plans in dynamic environments and thus improves robustness of autonomous mobile robots.