Download:
Abstract:

Dynamic Epistemic Logic (DEL) provides a very expressive framework for planning, called epistemic planning. In this paper, we discuss the shortcomings of the traditional DEL semantics, based on Kripke models, and we propose a formulation of epistemic planning based on a different kind of object, called possibility. We argue that the resulting framework, named DELPHIC, constitutes a valid alternative, since it provides a more compact representation of epistemic information and a lighter update mechanism. We conclude by discussing the advantages of DELPHIC, both theoretically and in terms of implementation.

Citation

Burigana, A., Felli, P., and Montali, M. 2022. “DELPHIC: Towards an Efficient Possibility-based Epistemic Planning Framework”, Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022 Vol. 3311: 33–37. https://ceur-ws.org/Vol-3311/paper6.pdf .

@inproceedings{conf/aiia/BuriganaFM2022,
    author    = {Alessandro Burigana and
                 Paolo Felli and
                 Marco Montali},
    editor    = {Luca Geatti and
                 Guido Sciavicco and
                 Alessandro Umbrico},
    title     = {{DELPHIC:} Towards an Efficient Possibility-based Epistemic Planning
                 Framework},
    booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
                 and Formal Verification, Logic, Automata, and Synthesis hosted by
                 the 21st International Conference of the Italian Association for Artificial
                 Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
    series    = {{CEUR} Workshop Proceedings},
    volume    = {3311},
    pages     = {33--37},
    publisher = {CEUR-WS.org},
    year      = {2022},
    url       = {https://ceur-ws.org/Vol-3311/paper6.pdf}
}