loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sabrine Ammar 1 and Mohamed Tahar Bhiri 2

Affiliations: 1 MIRACL, Faculty of Economics and Management of Sfax, Sfax, Tunisia ; 2 MIRACL, Faculty of Science of Sfax, Sfax, Tunisia

Keyword(s): Code Generation, Correct by Construction, Event-B, PDDL, Formal Modelling, Refinement Strategy.

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 au tomatically 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.91.17.78

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICSOFT; ISBN 978-989-758-523-4; ISSN 2184-2833, SciTePress, pages 261-268. DOI: 10.5220/0010577102610268

@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 - ICSOFT},
year={2021},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010577102610268},
isbn={978-989-758-523-4},
issn={2184-2833},
}

TY - CONF

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