Abstract

In this paper, we propose a dynamic epistemic framework to capture the knowledge evolution in multi-agent systems where agents are not able to observe. We formalize multi-agent conformant planning with group knowledge, and reduce planning problems to model checking problems. We prove that multi-agent conformant planning with group knowledge is Pspace -complete on the size of dynamic epistemic models. We also consider the alternative Kripke semantics, and show that for each Kripke model with perfect recall and no miracles, there is an equivalent dynamic epistemic model and vice versa.