EPDDL: Un Linguaggio Unificato per la Pianificazione Epistemica
Un nuovo linguaggio di definizione del dominio di pianificazione, EPDDL, è stato introdotto per standardizzare la pianificazione epistemica. La pianificazione epistemica estende la pianificazione automatica incorporando le conoscenze e le credenze degli agenti, spesso utilizzando la Logica Epistemica Dinamica (DEL) per la semantica. Tuttavia, l'elevata espressività della DEL rende l'implementazione complessa, portando a linguaggi ad hoc frammentati. EPDDL fornisce una rappresentazione simile a PDDL che cattura l'intera semantica della DEL, consentendo lo sviluppo di benchmark unificati e il confronto tra pianificatori. Il linguaggio mira a facilitare il riutilizzo e la valutazione sistematica nel campo.
Fatti principali
- EPDDL sta per Epistemic Planning Domain Definition Language.
- È progettato per unificare le rappresentazioni dei problemi di pianificazione epistemica.
- La pianificazione epistemica utilizza la Logica Epistemica Dinamica (DEL) per la semantica.
- I pianificatori esistenti utilizzano linguaggi ad hoc, ostacolando il confronto.
- EPDDL cattura l'intera semantica della DEL.
- Il linguaggio è simile a PDDL.
- Mira a consentire lo sviluppo sistematico di benchmark.
- Il lavoro affronta la frammentazione nella pianificazione epistemica.
Entità
Istituzioni
- arXiv