Article

Making hybrid plans more clear to human users — a formal approach for generating sound explanations

Authors:

Bastian Seegebarth,

Bernd Schattenberg,

Susanne BiundoAuthors Info & Claims

ICAPS'12: Proceedings of the Twenty-Second International Conference on International Conference on Automated Planning and Scheduling

Pages 225 - 233

Published: 25 June 2012 Publication History

Abstract

Human users who execute an automatically generated plan want to understand the rationale behind it. Knowledge-rich plans are particularly suitable for this purpose, because they provide the means to give reason for causal, temporal, and hierarchical relationships between actions. Based on this information, focused arguments can be generated that constitute explanations on an appropriate level of abstraction. In this paper, we present a formal approach to plan explanation. Information about plans is represented as first-order logic formulae and explanations are constructed as proofs in the resulting axiomatic system. With that, plan explanations are provably correct w.r.t. the planning system that produced the plan. A prototype plan explanation system implements our approach and first experiments give evidence that finding plan explanations is feasible in real-time.

References

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[22]

Puterman, M. L. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming. New York, NY, USA: John Wiley & Sons, Inc.

Digital Library

[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.

Digital Library

[26]

Yang, Q. 1990. Formalizing planning knowledge for hierarchical planning. Computational Intelligence 6(1):12-24.

Digital Library

Cited By

Brachman MPan QDo HDugan CChaudhary AJohnson JRai PChakraborti TGschwind TLaredo JMiksovic CScotton PTalamadupula KThomas G(2023)Follow the Successful Herd: Towards Explanations for Improved Use and Mental Models of Natural Language SystemsProceedings of the 28th International Conference on Intelligent User Interfaces10.1145/3581641.3584088(220-239)Online publication date: 27-Mar-2023
https://dl.acm.org/doi/10.1145/3581641.3584088
Das DKim BChernova S(2023)Subgoal-Based Explanations for Unreliable Intelligent Decision Support SystemsProceedings of the 28th International Conference on Intelligent User Interfaces10.1145/3581641.3584055(240-250)Online publication date: 27-Mar-2023
https://dl.acm.org/doi/10.1145/3581641.3584055
Silva CBowling MLelis L(2022)Teaching People by Justifying Tree Search DecisionsJournal of Artificial Intelligence Research10.1613/jair.1.1321972(1083-1102)Online publication date: 4-Jan-2022
https://dl.acm.org/doi/10.1613/jair.1.13219
Show More Cited By

Recommendations

Generating parallel execution plans with a partial-order planner
AIPS'94: Proceedings of the Second International Conference on Artificial Intelligence Planning Systems

Many real-world planning problems require generating plans that maximize the parallelism inherent in a problem. There are a number of partial-order planners that generate such plans; however, in most of these planners it is unclear under what conditions ...
Explicability versus Explanations in Human-Aware Planning
AAMAS '18: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems

Human aware planning requires an agent to be aware of the mental model of the human in the loop during its decision process. This can involve generating plans that are explicable to the human as well as the ability to provide explanations when such ...
Generating Plans Using LRTA
BRACIS '13: Proceedings of the 2013 Brazilian Conference on Intelligent Systems

A new category of faster and efficiently planners has been used to solve planning problems, which use heuristic search algorithms to build their plans. One of the first successful planning systems to use this new approach was the Fast Forward (FF) ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ICAPS'12: Proceedings of the Twenty-Second International Conference on International Conference on Automated Planning and Scheduling

June 2012

372 pages

Sponsors

NSF: National Science Foundation
USP: Universidade de São Paulo
Artificial Intelligence Journal
IBMR: IBM Research
National ICT Australia

Publisher

AAAI Press

Publication History

Published: 25 June 2012

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 17 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Brachman MPan QDo HDugan CChaudhary AJohnson JRai PChakraborti TGschwind TLaredo JMiksovic CScotton PTalamadupula KThomas G(2023)Follow the Successful Herd: Towards Explanations for Improved Use and Mental Models of Natural Language SystemsProceedings of the 28th International Conference on Intelligent User Interfaces10.1145/3581641.3584088(220-239)Online publication date: 27-Mar-2023
https://dl.acm.org/doi/10.1145/3581641.3584088
Das DKim BChernova S(2023)Subgoal-Based Explanations for Unreliable Intelligent Decision Support SystemsProceedings of the 28th International Conference on Intelligent User Interfaces10.1145/3581641.3584055(240-250)Online publication date: 27-Mar-2023
https://dl.acm.org/doi/10.1145/3581641.3584055
Silva CBowling MLelis L(2022)Teaching People by Justifying Tree Search DecisionsJournal of Artificial Intelligence Research10.1613/jair.1.1321972(1083-1102)Online publication date: 4-Jan-2022
https://dl.acm.org/doi/10.1613/jair.1.13219
Sreedharan SHernandez AMishra AKambhampati S(2019)Model-free model reconciliationProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367032.3367116(587-594)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367032.3367116
Amir ODoshi-Velez FSarne D(2019)Summarizing agent strategiesAutonomous Agents and Multi-Agent Systems10.1007/s10458-019-09418-w33:5(628-644)Online publication date: 1-Sep-2019
https://dl.acm.org/doi/10.1007/s10458-019-09418-w
Sreedharan SSrivastava SKambhampati S(2018)Hierarchical expertise level modeling for user specific contrastive explanationsProceedings of the 27th International Joint Conference on Artificial Intelligence10.5555/3304652.3304680(4829-4836)Online publication date: 13-Jul-2018
https://dl.acm.org/doi/10.5555/3304652.3304680
Amir ODoshi-Velez FSarne DAndre EKoenig SDastani MSukthankar G(2018)Agent Strategy SummarizationProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3237383.3237877(1203-1207)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.5555/3237383.3237877
Amir DAmir OAndre EKoenig SDastani MSukthankar G(2018)HIGHLIGHTSProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3237383.3237869(1168-1176)Online publication date: 9-Jul-2018
https://dl.acm.org/doi/10.5555/3237383.3237869
Sukkerd RSimmons RGarlan DBures TFitzgerald JSchmerl BWeyns D(2018)Towards explainable multi-objective probabilistic planningProceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems10.1145/3196478.3196488(19-25)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3196478.3196488
Bercher PBehnke GHöller DBiundo S(2017)An admissible HTN planning heuristicProceedings of the 26th International Joint Conference on Artificial Intelligence10.5555/3171642.3171712(480-488)Online publication date: 19-Aug-2017
https://dl.acm.org/doi/10.5555/3171642.3171712
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents