Abstract

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.