A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning

Authors

  • Rebecca Eifler Saarland University
  • Michael Cashmore University of Strathclyde
  • Jörg Hoffmann Saarland University
  • Daniele Magazzeni King's College London
  • Marcel Steinmetz Saarland University

DOI:

https://doi.org/10.1609/aaai.v34i06.6534

Abstract

In many usage scenarios of AI Planning technology, users will want not just a plan π but an explanation of the space of possible plans, justifying π. In particular, in oversubscription planning where not all goals can be achieved, users may ask why a conjunction A of goals is not achieved by π. We propose to answer this kind of question with the goal conjunctions B excluded by A, i. e., that could not be achieved if A were to be enforced. We formalize this approach in terms of plan-property dependencies, where plan properties are propositional formulas over the goals achieved by a plan, and dependencies are entailment relations in plan space. We focus on entailment relations of the form ∧gAg ⇒ ⌝ ∧gBg, and devise analysis techniques globally identifying all such relations, or locally identifying the implications of a single given plan property (user question) ∧gAg. We show how, via compilation, one can analyze dependencies between a richer form of plan properties, specifying formulas over action subsets touched by the plan. We run comprehensive experiments on adapted IPC benchmarks, and find that the suggested analyses are reasonably feasible at the global level, and become significantly more effective at the local level.

Downloads

Published

2020-04-03

How to Cite

Eifler, R., Cashmore, M., Hoffmann, J., Magazzeni, D., & Steinmetz, M. (2020). A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. Proceedings of the AAAI Conference on Artificial Intelligence, 34(06), 9818-9826. https://doi.org/10.1609/aaai.v34i06.6534

Issue

Section

AAAI Technical Track: Planning, Routing, and Scheduling