Enhancing plan execution in dynamic domains using model-based reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5314 LNAI, Issue PART 1, 2008, Pages 510-519

  Steinbauer, Gerald ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Autonomous robot; Diagnosis; Dynamic domains; Model based reasoning; Plan execution

Indexed keywords

DIAGNOSIS; MOBILE ROBOTS; NAVIGATION; ROBOTICS; ROBOTS;

AUTONOMOUS MOBILE ROBOT; COMPLEX TASK; DYNAMIC DOMAINS; DYNAMIC ENVIRONMENTS; MODEL BASED DIAGNOSIS; MODEL-BASED REASONING; PLAN EXECUTION; PLANNING PHASE;

ROBOT PROGRAMMING;

EID: 56749134457     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88513-9_55     Document Type: Conference Paper

References (20)

1. 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)
2. 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)
3. Weld, D.S.: Recent Advances in AI Planning. AI Magazine 20(2), 93-123 (1999)
4. 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)
5. Ferrein, A., Fritz, C., Lakemeyer, G.: On-line decision-theoretic golog for unpredictable domains. In: Proc. of 4th International Cognitive Robotics Workshop (2004)
6. 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)
7. 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)
8. 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)
9. Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
10. 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)
11. 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)
12. McIlraith, S.: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artificial Intelligence 116(1), 87-121 (2000)
13. 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)
14. 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)
15. 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)
16. 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)
17. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
18. 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)
19. Steinbauer, G., Wotawa, F.: Detecting and locating faults in the control software of autonomous mobile robots. In: 19th International Joint Conference on Artificial Intelligence (IJCAI2005), Edinburgh, UK (2005)
20. 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)