Automatic Planning: From Event-B to PDDL

被引：0
|
作者：
Ammar, Sabrine [1 ]
Bhiri, Mohamed Tahar [1 ]
机构：
[1] Sfax Univ, Fac Sci Sfax, Sfax, Tunisia
来源：
NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018) | 2018年 / 929卷
关键词：
Automatic planning; PDDL; Event-B; Correct by construction; Planner; State space; State change operator; MDE;
D O I：
10.1007/978-3-030-02852-7_21
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：247 / 254
页数：8
相关论文
共 50 条
  • [21] A proposal for records in Event-B
    Evans, Neil
    Butler, Michael
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 221 - 235
  • [22] Reasoned Modelling with Event-B
    Butler, Michael
    ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS (SETSS 2016), 2017, 10215 : 51 - 109
  • [23] Code generation for Event-B
    Rivera, Victor
    Catano, Nestor
    Wahls, Tim
    Rueda, Camilo
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2017, 19 (01) : 31 - 52
  • [24] From Event-B Models to Dafny Code Contracts
    Dalvandi, Mohammadsadegh
    Butler, Michael
    Rezazadeh, Abdolbaghi
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2015, 2015, 9392 : 308 - 315
  • [25] The Composition of Event-B Models
    Poppleton, Michael
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 209 - 222
  • [26] Decomposition tool for Event-B
    Silva, Renato
    Pascal, Carine
    Thai Son Hoang
    Butler, Michael
    SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (02): : 199 - 208
  • [27] Decomposition Structures for Event-B
    Butler, Michael
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2009, 5423 : 20 - 38
  • [28] From Event-B Specifications to Programs for Distributed Algorithms
    Tounsi, Mohamed
    Mosbah, Mohamed
    Mery, Dominique
    2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 104 - 109
  • [29] Derivation of Event-B Models from OWL Ontologies
    Alkhammash, Eman H.
    20TH INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, COMMUNICATIONS AND COMPUTERS (CSCC 2016), 2016, 76
  • [30] Research on Event-B based formal modeling and verification of automatic production line
    Fu, Kaiming
    Fang, Bin
    Li, Yafen
    Li, Huijie
    PROCEEDINGS OF THE 28TH CHINESE CONTROL AND DECISION CONFERENCE (2016 CCDC), 2016, : 3690 - 3695
12345