Journal article
DEL-based epistemic planning: Decidability and complexity
In
Artificial Intelligence
—
2020, Volume 287, pp. 103304
Abstract
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.
| Language: | English |
|---|---|
| Year: | 2020 |
| Pages: | 103304 |
| ISSN: | 18727921 and 00043702 |
| Types: | Journal article |
| DOI: | 10.1016/j.artint.2020.103304 |
| ORCIDs: | Bolander, Thomas |
