Skip to main content
SpringerLink
Log in
Book cover

GWAI-92: Advances in Artificial Intelligence pp 313–319Cite as

Towards a specification language for cooperation methods

  • Workshop Contributions
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 671))

Abstract

This paper presents a formal language for interaction protocols involving many agents. It is intended as a specification language for cooperation methods: interaction protocols agents can use to cooperate with other agents in a flexible way. The language is a further development of Flores and Winograd's network-style specifications and it can be regarded as a language for fixed multi-agent plans. It can serve as a tool for analysis and modelling of cooperation and collaboration. It may also be used to bring different protocols reported in the literature into a common framework.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. de Greef, D. Mahling, M. Neerincx, and S. Wyatt. Analysis of human-computer cooperative work. ESPRIT Project P5362 Deliverable D I.2, Leiden University, 1991.

    Google Scholar 

  2. F DePaoli and F. Tisato. A model for real-time cooperation. In L. Bannon, M. Robinson, and K. Schmidt, editors, Proceedings of the Second European Conference on Computer-Supported Cooperative Work, pages 203–218, Amsterdam, The Netherlands, 1991. Kluwer Academic Publishers.

    Google Scholar 

  3. R.G. Smith. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, 29:1104–1113, 1980.

    Google Scholar 

  4. R.G. Smith and R. Davis. Frameworks for cooperation in distributed problem solving. IEEE Transactions on Systems, Man and Cybernetics, 11:61–70, 1981.

    Google Scholar 

  5. T. Winograd. A language/action perspective on the design of cooperative work. In I. Greif, editor, Cooperative Computer Supported Cooperative Work: A book of readings. Morgan Kaufmann, 1988.

    Google Scholar 

  6. T. Winograd. Where the action is. BYTE, 1988.

    Google Scholar 

  7. T. Winograd and F. Flores. Understanding Computers and Cognition. Addison Wesley, Reading, MA, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SWI, University of Amsterdam, Roeterstraat 15, 1018 WB, Amsterdam

    Paul de Greef

  2. Dep. of Computing, Imperial College, Queen's Gate, SW7 2BZ, London

    Keith Clark & Frank McCabe

Authors
  1. Paul de Greef
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Keith Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frank McCabe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Greef, P., Clark, K., McCabe, F. (1993). Towards a specification language for cooperation methods. In: Jürgen Ohlbach, H. (eds) GWAI-92: Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol 671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019015

Download citation

  • DOI: https://doi.org/10.1007/BFb0019015

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56667-0

  • Online ISBN: 978-3-540-47626-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation