DEL-based epistemic planning: Decidability and complexity - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Artificial Intelligence Année : 2020

DEL-based epistemic planning: Decidability and complexity

Résumé

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.

Dates et versions

hal-04047904 , version 1 (27-03-2023)

Identifiants

Citer

Thomas Bolander, Tristan Charrier, Sophie Pinchinat, François Schwarzentruber. DEL-based epistemic planning: Decidability and complexity. Artificial Intelligence, 2020, 287, pp.103304. ⟨10.1016/j.artint.2020.103304⟩. ⟨hal-04047904⟩
10 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More