This chapter presents the non-dynamic part of a formal framework for teamwork in multi-agent systems. The framework consists of both  a static part  , defining collective motivational attitudes in such a way that the system developer can adapt them to the circumstances, and  a dynamic part  monitoring the changes in team attitudes during the course of cooperative problem solving (CPS).#R##N##R##N#In the first part of this chapter, the notion of  collective intention  in teams of agents is investigated. Starting from individual  intentions  ,  goals  , and  beliefs  defining agents' local attitudes, we arrive at an understanding of collective intention in cooperative teams as a rather strong concept: it implies that all members  intend  for all others to share that intention. This way a team is glued together by collective intention, and exists as long as this attitude holds, after which it may disintegrate.#R##N##R##N#Collective intentions are formalized in a multi-modal logical framework. Together with individual and common knowledge and/or belief, collective intention constitutes a basis for preparing a plan, reflected in the strongest attitude, i.e., in  collective commitment  , defined and investigated in the next part. Distinct versions of collective commitments that are applicable in various situations, differ with respect to the  aspects  of teamwork of which the agents involved are aware, and the  kind  of awareness present within a team. This way a kind of tuning mechanism is provided for the system developer to tune a version of collective commitment fitting the circumstances. Finally, a few exemplar versions of collective commitment resulting from instantiating the general tuning scheme are presented.
['Barbara Dunin-Keplicz', 'Rineke Verbrugge']
A logical view on teamwork