Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)
This work provides a formal logical framework for reasoning about coalition knowledge and strategies in multi-agent systems, which is incremental as it builds on existing epistemic logic and coalitional game theory.
The paper addresses the problem that a coalition's ability to have a strategy to achieve a goal does not imply it knows how to execute it or even knows the strategy exists, by studying the interplay between distributed knowledge, coalition strategies, and coalition '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 paper 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.