A Formal Approach Combining Event-B and PDDL for Planning Problems

Sabrine Ammar, Mohamed Tahar Bhiri

2021

Abstract

In artificial intelligence, the goal of automatic planning is to structure actions in the form of a plan to achieve an expressed goal. The PDDL (Planning Domain Definition Language) was designed to allow the common representation of planning problems during ICAPS (International Conference on Automated Planning and Scheduling) competitions. PDDL has many verification and validation tools allowing the description, resolution and validation of planning problems. But they only allow the reliability of PDDL descriptions a posteriori. In this article, we recommend a rigorous approach coupling Event-B and PDDL favoring obtaining PDDL descriptions deemed correct, a priori, from an ultimate Event-B model. The formal Event-B method allows us to obtain, by successive refinements with mathematical proofs, correct by construction formal models of planning problems. A refinement strategy appropriate to planning problems is, then, proposed. The ultimate Event-B model, correct by construction, is automatically translated into PDDL using our MDE Event-B2PDDL tool. The obtained PDDL description is submitted to efficient planners for generation of correct and efficient plan-solutions.

Download


Paper Citation


in Harvard Style

Ammar S. and Bhiri M. (2021). A Formal Approach Combining Event-B and PDDL for Planning Problems. In Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-523-4, pages 261-268. DOI: 10.5220/0010577102610268


in Bibtex Style

@conference{icsoft21,
author={Sabrine Ammar and Mohamed Tahar Bhiri},
title={A Formal Approach Combining Event-B and PDDL for Planning Problems},
booktitle={Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2021},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010577102610268},
isbn={978-989-758-523-4},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - A Formal Approach Combining Event-B and PDDL for Planning Problems
SN - 978-989-758-523-4
AU - Ammar S.
AU - Bhiri M.
PY - 2021
SP - 261
EP - 268
DO - 10.5220/0010577102610268