3. Collective Intentions

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

Published Online: 6 MAY 2010

DOI: 10.1002/9780470665237.ch3

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) Collective Intentions, in Teamwork in Multi-Agent Systems: A Formal Approach, John Wiley & Sons, Ltd, Chichester, UK. doi: 10.1002/9780470665237.ch3

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

SEARCH

Keywords:

  • awareness;
  • collective intentions;
  • goals;
  • mutual intention;
  • TeamLog

Summary

This chapter presents author’s way of understanding collective intentions, together with examples of situations where they apply. In contrast to many other approaches to intentions in a group, it provides a completeness proof for the logic TeamLog with respect to the intended semantics. The chapter gives a short logical background and a description of the logical theory of individual goals and intentions. Collective intentions are investigated and characterized in a logical framework. The chapter presents several approaches for handling the potentially infinitary flavor of collective intentions. Some alternative definitions of collective intention, based on the notion of degrees of awareness, are also presented. The completeness of the logic of mutual intention and its nearest neighbors is proved. The chapter rounds off with a discussion of related work.

Controlled Vocabulary Terms

planning (artificial intelligence); team working