Together We Know How to Achieve: An Epistemic Logic of Know-How
This work addresses foundational issues in multi-agent systems and epistemic logic for researchers in AI and theoretical computer science, but it is incremental as it builds on existing logical frameworks.
The paper tackles the problem of distinguishing between a coalition having a strategy to achieve a goal and actually knowing how to execute it, by studying the interplay between distributed knowledge, coalition strategies, and know-how strategies. The main result is a sound and complete trimodal logical system that describes the properties of this interplay.
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The article studies an interplay between the distributed knowledge, coalition strategies, and coalition "know-how" strategies. The main technical result is a sound and complete trimodal logical system that describes the properties of this interplay.