Affiliation:
1. Indian Association for the Cultivation of Science
2. Indian Statistical Institute
Abstract
In artificial intelligence planning, having an explanation of a plan given by a planner is often desirable. The ability to explain various aspects of a synthesized plan to an end user not only brings in trust on the planner but also reveals insights of the planning domain and the planning process. Contrastive questions such as “Why action A instead of action B?” can be answered with a contrastive explanation that compares properties of the original plan containing A against the contrastive plan containing B. In this article, we explore a set of contrastive questions that a user of a planning tool may raise and propose a
re-model and re-plan
framework to provide explanations to such questions. Earlier work has reported this framework on planning instances for discrete problem domains described in the Planning Domain Definition Language (PDDL) and its variants. In this article, we propose an extension for planning instances described by PDDL+ for hybrid systems that portray a mix of discrete-continuous dynamics. Specifically, given a mixed discrete-continuous system model in PDDL+ and a plan describing the set of desirable actions on the same to achieve a destined goal, we present a framework that can integrate contrastive questions in PDDL+ and synthesize alternate plans. We present a detailed case study on our approach and propose a comparison metric to compare the original plan with the alternate ones.
Funder
Science and Engineering Research Board
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Software
Reference42 articles.
1. GitHub. [n.d.]. KCL-Planning/SMTPlan. Retrieved September 22 2022 from https://github.com/KCL-Planning/SMTPlan/tree/master/benchmarks.
2. Malik Ghallab, Adele Howe, Craig Knoblock, Drew McDermott, Ashwin Ram, Manuela Veloso, Daniel Weld, et al. 1998. PDDL—The Planning Domain Definition Language. Technical Report. Yale Center for Computational Vision and Control.
3. The algorithmic analysis of hybrid systems
4. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
5. Planning as Heuristic Search: New Results
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献