Abstract
Automatic planning is a separate discipline of Artificial Intelligence (AI). It aims to formalize the planning problems described by the concept of state space. The Planning Domain Definition Language (PDDL) is a de facto standard language in the field of automatic planning. PDDL-related dynamic analysis tools, namely planners and validators, are insufficient for verifying and validating PDDL descriptions. Such tools make it possible to detect errors a posteriori by means of a test activity. 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 with mathematical proofs of planning problems. A refinement strategy appropriate to planning problems is, then, proposed. The ultimate Event-B model, correct by construction, supposed to be translatable into PDDL, is automatically translated into PDDL using our MDE Event-B2PDDL tool. The obtained PDDL description is submitted to efficient planners for generation of solution plans.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
McDermott, D., et al.: PDDL-the planning domain definition language. Technical Report CVC TR- 98-003/DCS TR-1165, Yale Center for Computational Vision and Control, New Haven, CI, USA (1998)
International Conference on Automated Planning and Scheduling. www.icaps-conference.org
Abrial, J.-R.: Modeling in Event-B: Systems and Software Engineering. Cambridge University Press, New York (2010)
Bibai, J.: Segmentation et évolution pour la planification: le système Divide-And-Evolve. Université Paris Sud, Paris XI (2010)
Gerevini, A., Saetti, A., Serina, I.: User Instructions for LPG-td. http://burglar-game.googlecode.com/svn/branches/burglargameant/planner/lpg/README-LPGTD
Howey, R., Long, D., Fox, M.: VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: Tools with Artificial Intelligence, ICTAI (2004)
Voisin, L., Abrial, J.R.: The rodin platform has turned ten. In: Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. LNCS, pp. 1–8. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43652-3_1
Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-45236-2_46
Fourati, F.: Contributions à l’analyse statique et dynamique d’architectures logicielles. Faculty of Science of Sfax, Tunisia (2017)
Requet, A., BART: a tool for automatic refinement. In: ABZ, p. 345 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Ammar, S., Bhiri, M.T. (2018). Automatic Planning: From Event-B to PDDL. In: Abdelwahed, E., et al. New Trends in Model and Data Engineering. MEDI 2018. Communications in Computer and Information Science, vol 929. Springer, Cham. https://doi.org/10.1007/978-3-030-02852-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-02852-7_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02851-0
Online ISBN: 978-3-030-02852-7
eBook Packages: Computer ScienceComputer Science (R0)