Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2(3-4), 189–208 (1971)
Blum, A., Furst, M.: Fast Planning Through Planning Graph Analysis. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1636–1642 (1995)
Weld, D.S.: Recent Advances in AI Planning. AI Magazine 20(2), 93–123 (1999)
Soutchanski, M.: An on-line decision-theoretic golog interpreter. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, Washington, USA (2001)
Ferrein, A., Fritz, C., Lakemeyer, G.: On-line decision-theoretic golog for unpredictable domains. In: Proc. of 4th International Cognitive Robotics Workshop (2004)
Fikes, R.E., Hart, P., Nilsson, N.: Learning and Executing Generalized Robot Plans. In: Webber, B.L., Nilsson, N.J. (eds.) Readings in artificial intelligence. Morgan Kaufmann Publishers, San Francisco (1981)
McIlraith, S.: Explanatory diagnosis: Conjecturing actions to explain observations. In: Cohn, A.G., Schubert, L., Shapiro, S.C. (eds.) KR 1998: Principles of Knowledge Representation and Reasoning, pp. 167–177. Morgan Kaufmann, San Francisco (1998)
Fritz, C., McIlraith, S.A.: Monitoring Plan Optimality during Execution: Theory and Implementation. In: The 18th International Workshop on Principles of Diagnosis (DX 2007), Nashville, TN, USA, pp. 298–305 (2007)
Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Fraser, G., Steinbauer, G., Wotawa, F.: Plan Execution in Dynamic Environments. In: Ali, M., Esposito, F. (eds.) IEA/AIE 2005. LNCS (LNAI), vol. 3533, pp. 208–217. Springer, Heidelberg (2005)
Lussier, B., Matthieu Gallien, J.G., Ingrand, F., Killijian, M.O., Powell, D.: Planning with diversified models for fault-tolerant robots. In: ICAPS 2007 The International Conference on Automated Planning & Scheduling, Providence, Rhode Island, USA (2007)
McIlraith, S.: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence 116(1), 87–121 (2000)
Roos, N., Witteveen, C.: Models and methods for plan diagnosis. In: Proceedings of the ECAI Model Based Systems Workshop (MBS 2006), Riva del Garda, Italy, pp. 1–9 (2006)
Abdelbaki Bouguerra, L.K., Saffiotti, A.: Active execution monitoring using planning and semantic knowledge. In: ICAPS Workshop on Planning and Plan Execution for Real-World Systems, Providence, RI, USA, pp. 9–15 (2007)
Bouguerra, A., Karlsson, L., Saffiotti, A.: Handling uncertainty in semantic-knowledge based execution monitoring. In: Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), San Diego, CA (2007)
Fox, M., Gough, J., Long, D.: Detecting execution failures using learned action models. In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, British Columbia, Canada, pp. 968–973 (2007)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Williams, B., Ingham, M., Chung, S., Elliott, P.: Model-based programming of intelligent embedded systems and robotic space explorers. In: Proceedings of the IEEE: Special Issue on Modeling and Design of Embedded Software, pp. 212–237 (2003)
Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK (2005)
Hofbaur, M.B.M., Steinbauer, G., Wotawa, F.: Model-based fault diagnosis and reconfiguration of robot drives. In: Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems (IROS), San Diego, CA, USA (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Steinbauer, G., Wotawa, F. (2008). Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. In: Xiong, C., Huang, Y., Xiong, Y., Liu, H. (eds) Intelligent Robotics and Applications. ICIRA 2008. Lecture Notes in Computer Science(), vol 5314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88513-9_55
Download citation
DOI: https://doi.org/10.1007/978-3-540-88513-9_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88512-2
Online ISBN: 978-3-540-88513-9
eBook Packages: Computer ScienceComputer Science (R0)