Model-based contrastive explanations for explainable planning

Krarup, Benjamin and Cashmore, Michael and Magazzeni, Daniele and Miller, Tim; (2019) Model-based contrastive explanations for explainable planning. In: ICAPS 2019 Workshop on Explainable AI Planning (XAIP). AAAI Press, USA.

[thumbnail of Krarup-etal-ICAPS2019-Model-based-contrastive-explanations-explainable-planning]
Preview
 Text. Filename: Krarup_etal_ICAPS2019_Model_based_contrastive_explanations_explainable_planning.pdf
Accepted Author Manuscript
Download (273kB)| Preview

Abstract

An important type of question that arises in Explainable Planning is a contrastive question, of the form “Why action A instead of action B?”. These kinds of questions can be answered with a contrastive explanation that compares properties of the original plan containing A against the contrastive plan containing B. An effective explanation of this type serves to highlight the differences between the decisions that have been made by the planner and what the user would expect, as well as to provide further insight into the model and the planning process. Producing this kind of explanation requires the generation of the contrastive plan. This paper introduces domain-independent compilations of user questions into constraints. These constraints are added to the planning model, so that a solution to the new model represents the contrastive plan. We introduce a formal description of the compilation from user question to constraints in a temporal and numeric PDDL2.1 planning setting.

ORCID iDs

Krarup, Benjamin, Cashmore, Michael ORCID logoORCID: https://orcid.org/0000-0002-8334-4348, Magazzeni, Daniele and Miller, Tim;
CORE (COnnecting REpositories)