Complexity of multi-agent conformant planning with group knowledge.
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-agen...
| Publicado en: | Synthese Vol. 201; no. 4; pp. 1 - 31 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr2023
|
| Acceso en línea: | Ver este registro en EBSCOhost |