Knowledge, strategies, and know-how (Pavel Naumov, CMC)

An agent comes to a fork in a road. There is a sign that says that one of the two roads leads to prosperity and another to death. The agent must take the fork, but she does not know which road leads where. Does the agent have a strategy to get to prosperity? On one hand, since one of the roads leads to prosperity, such a strategy clearly exists. On the other, the agent does not know what the strategy is.

If a coalition of agents has a strategy, it knows that it has a strategy, and it also knows what this strategy is, then we say that the coalition has a know-how strategy. In this talk I will discuss several of my recent papers on modal logics that describe the interplay between coalition knowledge, strategies, and know-how strategies.