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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
R.G. Smith and R. Davis. Frameworks for cooperation in distributed problem solving. IEEE Transactions on Systems, Man and Cybernetics, 11:61–70, 1981.
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.
T. Winograd. Where the action is. BYTE, 1988.
T. Winograd and F. Flores. Understanding Computers and Cognition. Addison Wesley, Reading, MA, 1986.
Author information
Authors and Affiliations
Editor information
Rights 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