Skip to Main content Skip to Navigation
Conference papers

Lightweight Parallel Multi-Agent Epistemic Planning

Abstract : We study a simple version of multi-agent epistemic planning with common knowledge where the number of parallel steps has to be minimized. We prove that this extension of classical planning is in PSPACE. We propose an encoding in PDDL and present some experiments providing evidence that it allows us to solve practical problems. The types of problems we can encode include problems in which one agent can teach another agent how to perform a task and communication problems where some information must not be revealed to some agents.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03015803
Contributor : Andreas Herzig Connect in order to contact the contributor
Submitted on : Friday, November 20, 2020 - 9:35:07 AM
Last modification on : Monday, August 9, 2021 - 3:23:37 AM

File

kr2020-0028-cooper-et-al.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03015803, version 1

Citation

Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey. Lightweight Parallel Multi-Agent Epistemic Planning. 17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece. ⟨hal-03015803⟩

Share

Metrics

Record views

66

Files downloads

100