Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach

摘要

There are currently two approaches to the logic of knowing how: the planning-based one and the coalition-based one. However, the first is single-agent, and the second is based on single-step joint actions. In this paper, to overcome both limitations, we propose a multi-agent framework for the logic of knowing how, based on multi-step dynamic epistemic planning studied in the literature. We obtain a sound and complete axiomatization and show that the logic is decidable, although the corresponding multi-agent epistemic planning problem is undecidable.