Logo image
The Epistemic Planning Domain Definition Language
Conference proceeding   Open access   Peer reviewed

The Epistemic Planning Domain Definition Language

Alessandro Burigana and Francesco Fabiano
IPS-RiCeRcA-SPIRIT 2022: 10th Italian Workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti Workshop (RiCeRcA 2022), and Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022), Vol.3345, pp.1-6
CEUR Workshop Proceedings, 3345
Italian workshop on Planning and Scheduling (Udine, 28/11/2022–02/12/2022)
2022
Handle:
https://hdl.handle.net/10863/53487

Abstract

Artificial intelligence Syntactics
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.
pdf
paper5_2497756.16 kBDownloadView
Open Access
url
https://ceur-ws.org/Vol-3345/View

Details

Metrics

1 Record Views
Logo image