Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6852997 | Artificial Intelligence | 2018 | 46 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Pavel Naumov, Jia Tao,