Making hybrid plans more clear to human users - A formal approach for generating sound explanations

ICAPS 2012 - Proceedings of the 22nd International Conference on Automated Planning and Scheduling

Volumn , Issue , 2012, Pages 225-233

  Seegebarth, Bastian ^a   Müller, Felix ^a   Schattenberg, Bernd ^a   Biundo, Susanne ^a  

^a UNIVERSITY OF ULM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATICALLY GENERATED; AXIOMATIC SYSTEM; EXPLANATION SYSTEMS; FIRST ORDER LOGIC; FORMAL APPROACH; HUMAN USERS; LEVEL OF ABSTRACTION; PLANNING SYSTEMS;

EID: 84866454691     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Bidot, J.; Biundo, S.; Heinroth, T.; Minker, W.; Nothdurft, F.; and Schattenberg, B. 2010. Verbal explanations for hybrid planning. In Proc. of the Conference "Multikonferenz Wirtschaftsinformatik" (MKWI 2010), Teilkonferenz "Planen, Scheduling und Konfigurieren, Entwerfen " (PuK 2010), 2309-2320. Universitätsverlag Göttingen.
2. Biundo, S., and Schattenberg, B. 2001. From abstract crisis to concrete relief (a preliminary report on combining state abstraction and HTN planning). In Proc. of the Sixth European Conference on Planning (ECP 2001), 157-168.
3. Biundo, S.; Bercher, P.; Geier, T.; Müller, F.; and Schattenberg, B. 2011. Advanced user assistance based on AI planning. Cognitive Systems Research 12(3-4):219-236. Special Issue on Complex Cognition.
4. Cesta, A.; Cortellessa, G.; Rasconi, R.; Pecora, F.; Scopelliti, M.; and Tiberio, L. 2011. Monitoring elderly people with the robocare domestic environment: Interaction synthesis and user evaluation. Computational Intelligence 27(1):60-82.
5. de la Asunción, M.; Castillo, L.; Fdez.-Olivares, J.; García-Pérez, O.; González, A.; and Palao, F. 2005. SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting. AI Communications 18:257-268.
6. Erol, K.; Hendler, J.; and Nau, D. S. 1994. UMCP: A sound and complete procedure for hierarchical task-network planning. In Proc. of the Second International Conference on AI Planning Systems (AIPS 1994), 249-254.
7. Estlin, T. A.; Chien, S. A.; and Wang, X. 1997. An argument for a hybrid HTN/operator-based approach to planning. In Proc. of the Fourth European Conference on Planning (ECP 1997), 182-194.
8. Gerevini, A.; Kuter, U.; Nau, D. S.; Saetti, A.; and Waisbrot, N. 2008. Combining domain-independent planning and HTN planning: The duet planner. In Proc. of the 18th European Conference on AI (ECAI 2008), 573-577.
9. Göbelbecker, M.; Keller, T.; Eyerich, P.; Brenner, M.; and Nebel, B. 2010. Coming up with good excuses: What to do when no plan can be found. In Proc. of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010), 81-88.
10. Horacek, H. 2007. How to build explanations of automated proofs: A methodology and requirements on domain representations. In ExaCt Workshop on Explanation-aware Computing, 34-41.
11. Kambhampati, S.; Mali, A.; and Srivastava, B. 1998. Hybrid planning for partially hierarchical domains. In Proc. of the 15th National Conference on AI (AAAI 1998), 882-888.
12. Karpas, E., and Domshlak, C. 2011. Living on the edge: Safe search with unsafe heuristics. In HDIP 2011 Third Workshop on Heuristics for Domain-independent Planning, 53-58.
13. Khan, O.; Poupart, P.; and Black, J. 2009. Minimal sufficient explanations for factored markov decision processes. In Proc. of the 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), 194-200.
14. McAllester, D., and Rosenblitt, D. 1991. Systematic nonlinear planning. In Proc. of the Ninth National Conference on Artificial Intelligence (AAAI 1991) - Volume 2, 634-639.
15. McGuinness, D. L., and Borgida, A. T. 1995. Explaining subsumption in description logics. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995) - Volume 1, 816-821.
16. McGuinness, D.; da Silva, P.; Wolverton, M.; and Center, A. 2005. Plan for explaining task execution in CALO. Technical report, Stanford KSL Technical Report. KSL-05-11.
17. McGuinness, D.; Glass, A.; Wolverton, M.; and Da Silva, P. 2007. Explaining task processing in cognitive assistants that learn. In Proc. of the 20th International FLAIRS Conference (FLAIRS-20), 284-289.
18. Molineaux, M.; Kuter, U.; and Klenk, M. 2011. What just happened? Explaining the past in planning and execution. In ExaCt Workshop on Explanation-aware Computing, 31-40.
19. Moore, J. D., and Swartout, W. R. 1989. A reactive approach to explanation. In Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI 1989), 1504-1510.
20. Muñoz-Avila, H.; Aha, D. W.; Breslow, L.; and Nau, D. S. 1999. HICAP: an interactive case-based planning architecture and its application to noncombatant evacuation operations. In Proc. of the 11th Conference on Innovative Applications of Artificial Intelligence (IAAI-99), 870-875.
21. Pollack, M. E. 2002. Planning technology for intelligent cognitive orthotics. In Proc. of the Sixth International Conference on Artificial Intelligence Planning Systems (AIPS 02), 322-331.
22. Puterman, M. L. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming. New York, NY, USA: John Wiley & Sons, Inc.
23. Smith, D. E. 2010. Thinking outside the "box". ICAPS-2010 Panel on The Present and Future(s) of Planning.
24. Vidal, V., and Geffner, H. 2006. Branching and pruning: An optimal temporal POCL planner based on constraint programming. Artificial Intelligence 170:298-335.
25. Vilain, M.; Kautz, H.; and van Beek, P. 1990. Readings in Qualitative Reasoning about Physical Systems. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc. chapter Constraint propagation algorithms for temporal reasoning: a revised report, 373-381.
26. Yang, Q. 1990. Formalizing planning knowledge for hierarchical planning. Computational Intelligence 6(1):12-24.