Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Contrastive Explanations of Plans Through Model Restrictions   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.

36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph