Contrastive Explanations of Plans Through Model Restrictions

by   Benjamin Krarup, et al.

In automated planning, the need for explanations arises when there is a mismatch between a proposed plan and the user's expectation. We frame Explainable AI Planning in the context of the plan negotiation problem, in which a succession of hypothetical planning problems are generated and solved. The object of the negotiation is for the user to understand and ultimately arrive at a satisfactory plan. We present the results of a user study that demonstrates that when users ask questions about plans, those questions are contrastive, i.e. "why A rather than B?". We use the data from this study to construct a taxonomy of user questions that often arise during plan negotiation. We formally define our approach to plan negotiation through model restriction as an iterative process. This approach generates hypothetical problems and contrastive plans by restricting the model through constraints implied by user questions. We formally define model-based compilations in PDDL2.1 of each constraint derived from a user question in the taxonomy, and empirically evaluate the compilations in terms of computational complexity. The compilations were implemented as part of an explanation framework that employs iterative model restriction. We demonstrate its benefits in a second user study.


page 10

page 40


Iterative Planning with Plan-Space Explanations: A Tool and User Study

In a variety of application settings, the user preference for a planning...

Understanding a Robot's Guiding Ethical Principles via Automatically Generated Explanations

The continued development of robots has enabled their wider usage in hum...

RADAR-X: An Interactive Interface Pairing Contrastive Explanations with Revised Plan Suggestions

Empowering decision support systems with automated planning has received...

Towards Transparent Robotic Planning via Contrastive Explanations

Providing explanations of chosen robotic actions can help to increase th...

Towards Contrastive Explanations for Comparing the Ethics of Plans

The development of robotics and AI agents has enabled their wider usage ...

Towards Explainable AI Planning as a Service

Explainable AI is an important area of research within which Explainable...

Hallucinative Topological Memory for Zero-Shot Visual Planning

In visual planning (VP), an agent learns to plan goal-directed behavior ...