The transition from Event-B to PDDL makes it possible to model correct by construction and efficient planning problems. Event-B ensures the correct by construction of the states change operators. Whereas PDDL ensures the effectiveness of the plan-solutions obtained thanks to the planners associated with PDDL.
Oct 18, 2018
Automatic Planning: From Event-B to PDDL | Semantic Scholar
www.semanticscholar.org › paper › Auto...
This article recommends a rigorous approach coupling Event-B and PDDL, and proposes a refinement strategy appropriate to planning problems, ...
In this article, we recommend a rigorous approach coupling Event-B and PDDL for automatic planning. Event-B is used for formal modeling by stepwise refinement ...
The ultimate Event-B model, correct by construction, is automatically translated into PDDL using our MDE. Event-B2PDDL tool. The obtained PDDL description is ...
PDDL is a de facto standard language for planning problems. It is equipped with planners to automatically generate solution-plans.
Oct 24, 2018 · In this article, we recommend a rigorous approach coupling Event-B and PDDL for automatic planning. Event-B is used for formal modeling by ...
In this paper, we shall treat this issue through the Event-B formal method. We illustrate the contribution of the static analysis tools associated with Event-B ...
Automatic Planning: From Event-B to PDDL. https://doi.org/10.1007/978-3-030 ... automatic plan validation, continuous effects and mixed initiative planning using ...
Equally, it has plan validation tools to validate the solution plans. Our automatic approach to transform a planning problem written in PDDL to Event-B method ...
People also ask
What is PDDL in classical planning?
To achieve this, we recommend opening Event- B to the PDDL language; the de facto standard in the field of automatic planning.