Skip to main content
SpringerLink
Log in

A Logical View on Teamwork

  • Chapter
Games, Actions and Social Software

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7010))

Abstract

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).

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.

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Akkerman, S., van den Bossche, P., Admiraal, W., Gijselaers, W., Segers, M., Simons, R., Kirschner, P.: Reconsidering group cognition: From conceptual confusion to a boundary area between cognitive and socio-cultural perspectives? Educational Research Review 2, 39–63 (2007)

    Article  Google Scholar 

  2. Borrill, C., West, M.: The psychology of effective teamworking. In: Gold, N. (ed.) Teamwork, pp. 136–160. Palgrave McMillan, Basingstoke (2005)

    Chapter  Google Scholar 

  3. Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  4. Bratman, M.: Faces of Intention. Cambridge University Press, Cambridge (1999)

    Book  Google Scholar 

  5. Broersen, J., Dastani, M., van der Torre, L.: Realistic desires. Journal of Applied Non-Classical Logics 12(2), 287–308 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  6. Broersen, J., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation 16(5), 559–578 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  7. Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Lesser, V. (ed.) Proceedings First International Conference on Multi-Agent Systems, pp. 41–48. AAAI-Press and MIT Press, San Francisco (1995)

    Google Scholar 

  8. Castelfranchi, C., Miceli, M., Cesta, A.: Dependence relations among autonomous agents. In: Werner, Demazeau (eds.) [55]

    Google Scholar 

  9. Cavedon, L., Rao, A., Tidhar, G.: Social and Individual Commitment (Preliminary Report). In: Cavedon, L., Wobcke, W., Rao, A. (eds.) PRICAI-WS 1996. LNCS (LNAI), vol. 1209, pp. 152–163. Springer, Heidelberg (1997)

    Google Scholar 

  10. Cohen, P., Levesque, H.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dennett, D.: The Intentional Stance. MIT Press, Cambridge (1987)

    Google Scholar 

  12. Dignum, F., Conte, R.: Intentional agents and goal formation: Extended abstract. In: Singh, M., Rao, A., Wooldridge, M. (eds.) Preproceedings Fourth International Workshop on Agent Theories, Architectures and Languages, Providence, Rhode Island, pp. 219–231 (1997)

    Google Scholar 

  13. Dignum, F., Dunin-Kęplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic Journal of the IGPL 9, 145–158 (2001)

    Article  MATH  Google Scholar 

  14. Dunin-Kęplicz, B., Verbrugge, R.: Teamwork in Multi-Agent Systems: A Formal Approach. Wiley, Chichester (2010)

    Book  MATH  Google Scholar 

  15. Dunin-Kęplicz, B., Verbrugge, R.: Collective commitments. In: Tokoro, M. (ed.) Proceedings Second International Conference on Multi-Agent Systems, pp. 56–63. AAAI-Press, Menlo Park (1996)

    Google Scholar 

  16. Dunin-Kęplicz, B., Verbrugge, R.: Collective motivational attitudes in cooperative problem solving. In: Gorodetsky, V. (ed.) Proceedings of the First International Workshop of Eastern and Central Europe on Multi-agent Systems (CEEMAS 1999), St. Petersburg, pp. 22–41 (1999)

    Google Scholar 

  17. Dunin-Kęplicz, B., Verbrugge, R.: A reconfiguration algorithm for distributed problem solving. Engineering Simulation 18, 227–246 (2001)

    MATH  Google Scholar 

  18. Dunin-Kęplicz, B., Verbrugge, R.: Collective intentions. Fundamenta Informaticae 51(3), 271–295 (2002)

    MathSciNet  MATH  Google Scholar 

  19. Dunin-Kęplicz, B., Verbrugge, R.: Evolution of collective commitments during teamwork. Fundamenta Informaticae 56, 329–371 (2003)

    MathSciNet  MATH  Google Scholar 

  20. Dunin-Kęplicz, B., Verbrugge, R.: A tuning machine for cooperative problem solving. Fundamenta Informaticae 63, 283–307 (2004)

    MathSciNet  MATH  Google Scholar 

  21. Dziubiński, M., Verbrugge, R., Dunin-Kęplicz, B.: Complexity issues in multiagent logics. Fundamenta Informaticae 75(1-4), 239–262 (2007)

    MathSciNet  MATH  Google Scholar 

  22. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  23. Ferber, J.: Multi-agent Systems: An Introduction to Distributed Artificial Intelligence. Addison Wesley, Reading (1999)

    Google Scholar 

  24. Gärdenfors, P.: The Cognitive and Communicative Demands of Cooperation. In: van Eijck, J., Verbrugge, R. (eds.) Games, Actions and Social Software 2011. LNCS (LNAI), vol. 7010, pp. 164–183. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  25. Gilbert, M.: A theoretical framework for the understanding of teams. In: Gold, N. (ed.) Teamwork, pp. 22–32. Palgrave McMillan, Basingstoke (2005)

    Chapter  Google Scholar 

  26. Graedel, E.: Why is modal logic so robustly decidable? Bulletin of the EATCS 68, 90–103 (1999)

    Google Scholar 

  27. Grosz, B., Kraus, S.: The evolution of SharedPlans. In: Rao, A., Wooldridge, M. (eds.) Foundations of Rational Agency, pp. 227–262. Kluwer, Dordrecht (1999)

    Chapter  Google Scholar 

  28. Haddadi, A.: Communication and Cooperation in Agent Systems. LNCS (LNAI), vol. 1056. Springer, Heidelberg (1996)

    MATH  Google Scholar 

  29. Halpern, J.: The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic. Artificial Intelligence 75, 361–372 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  30. Halpern, J., Zuck, L.: A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols. In: 6th ACM Symposium on Principles of Distributed Computing, pp. 268–280 (1987)

    Google Scholar 

  31. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  32. Horty, J.F., Belnap, N.: The deliberative Stit: A study of action, omission, ability, and obligation. Journal of Philosophical Logic 24(6), 583–644 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  33. Huczynski, A., Buchanan, D.: Organizational Behaviour: An Introductory Text, 6th edn. Pearson Education Ltd., Essex (2007)

    Google Scholar 

  34. Hustadt, U., Schmidt, R.: On evaluating decision procedures for modal logics. In: Pollack, M. (ed.) Proceedings IJCAI 1997. Morgan Kauffman, Los Angeles (1997)

    Google Scholar 

  35. Jennings, N.: Commitments and conventions: The foundation of coordination in multi-agent systems. Knowledge Engineering Review 3, 223–250 (1993)

    Article  Google Scholar 

  36. Kozlowski, S., Bell, B.: Work groups and teams in organizations. In: Borman, W., Ilgen, D., Klimoski, R. (eds.) Handbook of Psychology: Industrial and Organizational Psychology, pp. 333–375. Wiley, Chichester (2003)

    Google Scholar 

  37. Kozlowski, S.W.J., Ilgen, D.R.: Enhancing the effectiveness of work groups and teams. Psychological Science in the Public Interest, 77–124 (2006)

    Google Scholar 

  38. Levesque, H., Cohen, P., Nunes, J.: On acting together. In: Proceedings Eighth National Conference on AI (AAAI 1990), pp. 94–99. AAAI-Press and MIT Press, Menlo Park (CA), Cambridge, MA (1990)

    Google Scholar 

  39. Meyer, J., van der Hoek, W.: Epistemic Logic for AI and Theoretical Computer Science. Cambridge University Press, Cambridge (1995)

    Book  MATH  Google Scholar 

  40. Osborne, M.: An Introduction to Game Theory. Oxford University Press, New York (2004)

    Google Scholar 

  41. Quine, W.: Quantifiers and propositional attitudes. Journal of Philosophy 53, 177–187 (1956)

    Article  Google Scholar 

  42. Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.) Proceedings of the Second Conference on Knowledge Representation and Reasoning, pp. 473–484. Morgan Kaufman (1991)

    Google Scholar 

  43. Rao, A., Georgeff, M., Sonenberg, E.: Social plans: A preliminary report. In: Werner, Demazeau (eds.) [55], pp. 57–76

    Google Scholar 

  44. Rasmusen, E.: Games and Information, 4th edn. Blackwell, Malden (2008)

    MATH  Google Scholar 

  45. Segerberg, K.: Bringing it about. Journal of Philosophical Logic 18, 327–347 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  46. Singh, M.: Commitments among autonomous agents in information-rich environments. In: Boman, M., Van de Velde, W. (eds.) MAAMAW 1997. LNCS (LNAI), vol. 1237, pp. 141–155. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  47. Stulp, F., Verbrugge, R.: A knowledge-based algorithm for the internet protocol TCP. Bulletin of Economic Research 54(1), 69–94 (2002)

    Article  Google Scholar 

  48. Su, K., Sattar, A., Lin, H., Reynolds, M.: A modal logic for beliefs and pro attitudes. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI), vol. 1, pp. 496–501. AAAI Press (2007)

    Google Scholar 

  49. Tomasello, M.: Why We Cooperate. MIT Press, Cambridge (2009)

    Google Scholar 

  50. Tuomela, R.: The Importance of Us: A Philosophical Study of Basic Social Notions. Stanford Series in Philosophy. Stanford University Press, Stanford (1995)

    Google Scholar 

  51. Tuomela, R., Miller, K.: We-intentions. Philosophical Studies 53, 367–390 (1988)

    Article  Google Scholar 

  52. van Linder, B., van der Hoek, W., Meyer, J.: Formalising abilities and opportunities of agents. Fundamenta Informaticae 34, 53–101 (1998)

    MathSciNet  MATH  Google Scholar 

  53. Vardi, M.: Why is modal logic so robustly decidable? DIMACS Series on Discrete Mathematics and Theoretical Computer Science 31, 149–184 (1997)

    MathSciNet  MATH  Google Scholar 

  54. Weiss, G. (ed.): Multiagent Systems. MIT Press, Cambridge (1999)

    Google Scholar 

  55. Werner, E., Demazeau, Y. (eds.): Decentralized A.I.-3. Elsevier, Amsterdam (1992)

    Google Scholar 

  56. Wooldridge, M.: Reasoning About Rational Agents. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  57. Wooldridge, M., Jennings, N.: Towards a theory of collective problem solving. In: Perram, J., Müller, J.P. (eds.) MAAMAW 1994. LNCS (LNAI), vol. 1069, pp. 40–53. Springer, Heidelberg (1996)

    Google Scholar 

  58. Wooldridge, M., Jennings, N.: Cooperative problem solving. Journal of Logic and Computation 9, 563–592 (1999)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Warsaw University, Warsaw, Poland

    Barbara Dunin-Kęplicz

  2. Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland

    Barbara Dunin-Kęplicz

  3. Department of Artificial Intelligence, Faculty of Mathematics and Natural Sciences, University of Groningen, The Netherlands

    Rineke Verbrugge

Authors
  1. Barbara Dunin-Kęplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rineke Verbrugge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centrum Wiskunde & Informatica (CWI), Science Park 123, 1098 XG, Amsterdam, The Netherlands

    Jan van Eijck

  2. Department of Artificial Intelligence, Faculty of Mathematics and Natural Sciences, University of Groningen, PO Box 407, 9700 AK, Groningen, The Netherlands

    Rineke Verbrugge

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dunin-Kęplicz, B., Verbrugge, R. (2012). A Logical View on Teamwork. In: van Eijck, J., Verbrugge, R. (eds) Games, Actions and Social Software. Lecture Notes in Computer Science, vol 7010. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29326-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29326-9_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29325-2

  • Online ISBN: 978-3-642-29326-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation