6. The Evolution of Commitments during Reconfiguration

  1. Barbara Dunin-Kȩplicz Ph.D. Professor1 and
  2. Rineke Verbrugge Ph.D. Professor2

Published Online: 6 MAY 2010

DOI: 10.1002/9780470665237.ch6

Teamwork in Multi-Agent Systems: A Formal Approach

Teamwork in Multi-Agent Systems: A Formal Approach

How to Cite

Dunin-Kȩplicz, B. and Verbrugge, R. (2010) The Evolution of Commitments during Reconfiguration, in Teamwork in Multi-Agent Systems: A Formal Approach, John Wiley & Sons, Ltd, Chichester, UK. doi: 10.1002/9780470665237.ch6

Author Information

  1. 1

    Warsaw University and Polish Academy of Sciences, Poland

  2. 2

    University of Groningen, The Netherlands

Publication History

  1. Published Online: 6 MAY 2010
  2. Published Print: 18 JUN 2010

Book Series:

  1. Wiley Series in Agent Technology

Book Series Editors:

  1. Michael Wooldridge

Series Editor Information

  1. University of Liverpool, UK

ISBN Information

Print ISBN: 9780470699881

Online ISBN: 9780470665237



  • collective commitments;
  • dynamic logic;
  • Kripke models;
  • multi-modal language;
  • reconfiguration;
  • social plan


This chapter formally describes the maintenance of collective commitments during reconfiguration. In case some action performance fails during team action, the realization of the collective commitment is threatened. To save the situation, often a minor correction of the social plan and the corresponding collective commitment suffices. The reconfiguration algorithm reflects a rigorous methodological approach to these changes, resulting in an evolution of collective commitment. The chapter characterizes the properties of this process using dynamic logic. In the chapter, the logical language and semantics are introduced, and Kripke models and dynamic logic for actions and social plans are discussed. The chapter gives a short overview of the four stages of teamwork, and presents in a multi-modal language of how collective commitments evolve during reconfiguration.

Controlled Vocabulary Terms

performance index; team working