Notes on formalizing coordination

摘要

This paper concerns with 2-agents coordination games-we call them paradigms of coordination. To coordinate, agents' behaviour must eventually stabilize to a set of basic formulas that express a suitable part of agents' "nature". Four paradigms are advanced and discussed. Several new perspectives are provided to coordinating agents. Coordination via belief revision and cooperation by team work are two.