Download:

Abstract:

Epistemic planning is a branch of Artificial Intelligence that stems from the combination of automated planning and Dynamic Epistemic Logic (DEL). While DEL provides a very expressive framework—which comes at the cost of undecidability—to guarantee the feasibility of the planning process, various fragments have been studied in the literature, that rely on very specific syntax for representing domains. As a result, a comprehensive language that is able to capture the general DEL framework is currently not present in the literature. In this paper, we propose a new language called EPDDL (Epistemic Planning Domain Definition Language), through which we can capture the full DEL semantics, thus allowing for a general and unified syntax for representing epistemic planning domains.


Citation

Burigana, A., Fabiano, F. 2022. “The Epistemic Planning Domain Definition Language (Short Paper)”, Proceedings of the 10th Italian workshop on Planning and Scheduling ({IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy ({SPIRIT} 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy Vol. 3345. https://ceur-ws.org/Vol-3345/paper5_2497.pdf .

@inproceedings{conf/aiia/BuriganaF2022,
    author    = {Alessandro Burigana and
                 Francesco Fabiano},
    editor    = {Riccardo De Benedictis and
                 Nicola Gatti and
                 Marco Maratea and
                 Andrea Micheli and
                 Aniello Murano and
                 Enrico Scala and
                 Luciano Serafini and
                 Ivan Serina and
                 Alessandro Umbrico and
                 Mauro Vallati},
    title     = {The Epistemic Planning Domain Definition Language (Short Paper)},
    booktitle = {Proceedings of the 10th Italian workshop on Planning and Scheduling
                 ({IPS} 2022), {RCRA} Incontri {E} Confronti (RiCeRcA 2022), and the
                 workshop on Strategies, Prediction, Interaction, and Reasoning in
                 Italy ({SPIRIT} 2022) co-located with 21st International Conference
                 of the Italian Association for Artificial Intelligence (AIxIA 2022),
                 November 28 - December 2, 2022, University of Udine, Udine, Italy},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {3345},
    publisher = {CEUR-WS.org},
    year      = {2022},
    url       = {https://ceur-ws.org/Vol-3345/paper5\_2497.pdf}
}