DEL-based epistemic planning: Decidability and complexity

DEL-based epistemic planning: Decidability and complexity

Epistemic planning can be used for decision making in multi-agent systems with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. In this paper, we present a systematic overview of known comp...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Artificial intelligence 2020-10, Vol.287, p.103304, Article 103304
Hauptverfasser: Bolander, Thomas, Charrier, Tristan, Pinchinat, Sophie, Schwarzentruber, François
Format: Artikel
Sprache:eng
Schlagworte:
Automata theory
Automated planning
Complexity theory
Computer Science
Decision problems
Dynamic epistemic logic
Epistemic planning
Software Engineering
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Epistemic planning can be used for decision making in multi-agent systems with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. In this paper, we present a systematic overview of known complexity and decidability results for epistemic planning based on DEL, as well as provide some new results and improved proofs of existing results based on reductions between the problems.
ISSN:0004-3702
1872-7921
DOI:10.1016/j.artint.2020.103304