Model-based contrastive explanations for explainable planning
Model-based contrastive explanations for explainable planning
复制标题
DOI：
--
复制
发表时间：
2019-07
期刊：
影响因子：
--
通讯作者：
Benjamin Krarup;Michael Cashmore;D. Magazzeni;Tim Miller
中科院分区：
文献类型：
--
作者：
Benjamin Krarup;Michael Cashmore;D. Magazzeni;Tim Miller
在可解释规划中出现的一个重要问题类型是一个对比问题，其形式为“为什么是行动A而不是行动B？"。这类问题可以通过对比解释来回答，该解释将包含A的原始计划的属性与包含B的对比计划的属性进行比较。这种类型的有效解释有助于突出规划者所做的决策与用户所期望的决策之间的差异，并提供对模型和规划过程的进一步了解。产生这种解释需要产生对比方案。本文介绍了领域无关的用户问题的编译到约束。这些约束被添加到计划模型中，以便新模型的解决方案表示对比计划。我们介绍了一个正式的描述，从用户的问题，约束的时间和数值PDDL2.1规划设置的编译。
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.