Robust Plan Execution Using Model-Based Reasoning

References

• Fikes , R. E. and Nilsson , N. J. 1971 . STRIPS: a new approach to the application of theorem proving to problem solving . Artif. Intell. , 2 : 189 – 208 .
   Web of Science ®Google Scholar
• Blum , A. and Furst , M. 1995 . “ Fast planning through planning graph analysis ” . In Proc. 14th Int. Joint Conf. on Artificial Intelligence 1636 – 1642 . Montréal, QC
   Google Scholar
• Weld , D. S. 1999 . Recent advances in AI planning . AI Mag. , 20 : 93 – 123 .
   Google Scholar
• Soutchanski , M. 2001 . “ An on-line decision-theoretic golog interpreter ” . In Proc. 17th Int. Joint Conf. on Artificial Intelligence 19 – 26 . Seattle , WA
   Google Scholar
• Ferrein , A. , Fritz , C. and Lakemeyer , G. 2004 . “ On-line decision-theoretic golog for unpredictable domains ” . In Proc. 4th Int. Cognitive Robotics Workshop
   Google Scholar
• Fikes , R. E. , Hart , P. and Nilsson , N. 1981 . “ Learning and executing generalized robot plans ” . In Readings in Artificial Intelligence , Edited by: Webber , B. L. and Nilsson , N. J. 485 – 503 . San Francisco , CA : Morgan Kaufmann .
   Google Scholar
• Mcllraith , S. 1998 . “ Explanatory diagnosis: conjecturing actions to explain observations ” . In KR'98: Principles of Knowledge Representation and Reasonings , Edited by: Cohn , A. G. , Schubert , L. and Shapiro , S. C. 167 – 177 . San Francisco , CA : Morgan Kaufmann .
   Google Scholar
• Fritz , C. and cllraith , S. A. M . 2007 . “ Monitoring plan optimality during execution: theory and implementation ” . In Proc. 18th Int.Workshop on Principles of Diagnosis (DX-07) 298 – 305 . Nashville , TN
   Google Scholar
• Reiter , R. 2001 . Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems , Cambridge , MA : MIT Press .
   Google Scholar
• Fraser , G. , Steinbauer , G. and Wotawa , F. 2005 . “ Plan execution in dynamic environments ” . In Proc. 18th Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Bari
   Google Scholar
• Lussier , B. , Guiochet , J. , Gallien , M. , Ingrand , F. , Killijian , M.-O. and Powell , D. 2007 . “ Planning with diversified models for fault-tolerant robots ” . In Proc. Int. Conf. on Automated Planning & Scheduling 216 – 223 . Providence , RI
   Google Scholar
• Mcllraith , S. 2000 . Integrating actions and state constraints: a closed-form solution to the ramification problem (sometimes) . Artif. Intell. , 116 : 87 – 121 .
   Web of Science ®Google Scholar
• Roos , N. and Witteveen , C. 2006 . “ Models and methods for plan diagnosis ” . In Proc. EC AI Model Based Systems Workshop 1 – 9 . Riva del Garda
   Google Scholar
• Karlsson , L. , Bouguerra , A. and Saffiotti , A. 2007 . “ Active execution monitoring using planning and semantic knowledge ” . In Proc. ICAPS Workshop on Planning and Plan Execution for Real-World Systems 9 – 15 . Providence , RI
   Google Scholar
• Bouguerra , A. , Karlsson , L. and Saffiotti , A. 2007 . “ Handling uncertainty in semantic-knowledge based execution monitoring ” . In Proc. IEEE/RSJ Int. Conf. on Intelligent Robots and Systems 437 – 443 . San Diego , CA
   Google Scholar
• Fox , M. , Gough , J. and Long , D. 2007 . “ Detecting execution failures using learned action models ” . In Proc. 22nd AAAI Conf. on Artificial Intelligence 968 – 973 . Vancouver
   Google Scholar
• Steinbauer , G. , Weber , J. and Wotawa , F. 2005 . “ From the real-world to its qualitative representation — practical lessons learned ” . In Proc. 18th Int. Workshop on Qualitative Reasoning 186 – 191 . Graz
   Google Scholar
• Liu , H. 2008 . A fuzzy qualitative framework for connecting robot qualitative and quantitative representations . IEEE Trans. Fuzzy Syst. , 16 : 1522 – 1530 .
   Web of Science ®Google Scholar
• Reiter , R. 1987 . A theory of diagnosis from first principles . Artificial Intelligence , 32 : 57 – 95 .
   Web of Science ®Google Scholar
• B.Williams , Ingham , M. , Chung , S. and Elliott , P. 2003 . “ Model-based programming of intelligent embedded systems and robotic space explorers ” . In Proc. IEEE: Special Issue on Modeling and Design of Embedded Software 212 – 237 .
   Google Scholar
• Steinbauer , G. and F.Wotawa . 2005 . “ Detecting and locating faults in the control software of autonomous mobile robots ” . In Proc. 19th Int. Joint Conf. on Artificial Intelligence 1742 – 1743 . Edinburgh
   Google Scholar
• Brandstotter , M. , Hofbaur , M. , Steinbauer , G. and Wotawa , F. 2007 . “ Model-based fault diagnosis and reconfiguration of robot drives ” . In Proc. IEEE Int. Conf. on Intelligent Robots and Systems San Diego , CA
   Google Scholar
• Minoux , M. 1988 . LTUR: a simplified linear-time unit resolution algorithm for horn formulae and computer implementation . Inform. Proc. Lett. , 29 : 1 – 12 .
   Web of Science ®Google Scholar
• Fichtner , M. , GroGmann , A. and Thielscher , M. 2003 . Intelligent execution monitoring in dynamic environments . Fundam. Informat. , 57 : 371 – 392 .
   Web of Science ®Google Scholar
• Fritz , . C. and Mcllraith , S. A. 2008 . “ Planning in the face of frequent exogenous events ” . In Proc. 18th Int. Conf. on Automated Planning and Scheduling Sydney online poster
   Google Scholar