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.
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: https://orcid.org/0000-0002-8334-4348, Magazzeni, Daniele and Miller, Tim;-
-
Item type: Book Section ID code: 69957 Dates: DateEvent15 July 2019Published3 May 2019AcceptedSubjects: Science > Mathematics > Computer software Department: Faculty of Science > Computer and Information Sciences Depositing user: Pure Administrator Date deposited: 26 Sep 2019 08:34 Last modified: 11 Nov 2024 15:19 URI: https://strathprints.strath.ac.uk/id/eprint/69957