Abstract
We present a study of the interaction properties of multiagent systems where agents communicate by means of speech act based primitives. We identify a set of basic interaction mechanisms: agent identity, asynchronous message passing, implicit message acceptance, which are closed to those of the actor model. Then, we define an actor algebra over actor terms as a basic formalism for multiagent systems. Finally, we show how it is possible to translate a speech act based language (a subset of KQML) into the given algebra.
The author would like to acknowledge discussions with Angela Dalmonte, Roberto Gorrieri and Gul Agha. This paper has been partially supported by the Italian Ministry of Universities (MURST) and by the ESPRIT BRA Project 9102-Coordination.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, Cambridge, MA, 1986.
G. Agha, I. Mason, S. Smith, and C. Talcott. Towards a Theory of Actor Computation. In Proc. of CONCUR'92, volume 630 of Lecture Notes in Computer Science, pages 564–579. Springer Verlag, 1992.
F. DeBoer, J. Klop, and C. Palamidessi. Asynchronous Communication in Process Algebra. In Proc. 7 th annual IEEE Symposium on Logic in Computer Science, Santa Crux, California, 1992.
M. Gaspari and E. Motta. Symbol-level Requirements for Agent-level Programming. In A. Cohn, editor, ECAI94 the 11th European Conference on Artificial Intelligence, pages 364–368. John Wiley and SonsLtd, 1994.
M. Genesereth and S. Ketchpel. Software agents. Artificial Intelligence, 37(7):49–53, 1994.
K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In The Fifth European Conference on Object-Oriented Programming, volume 512 of Lecture Notes in Computer Science, pages 141–162. Springer-Verlag, Berlin, 1991.
S. Khoshafian and G. Copeland. Object Identity. In Proc. OOPSLA '86, pages 406–416, September 1986.
Y. Labrou and T. Finin. A Semantic Approach for KQML — a general purpose communication language for software agents. In Proc. Int. Conf. on Information and Knowledge Management, 1994.
R. Milner. Communication and Concurrency. Prentice Hall, 1989.
R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):119–141, 1992.
R. Milner. Elements of interaction. Communications of the ACM, 36(1):79–89, January 1993.
J. Rosenschein and G. Zlotkin. Designing Concensions for Automated Negotiation. The AI Magazine, pages 29–46, Fall 1994.
J. Searle. Speech Acts. Cambridge Univ. Press, 1969.
Y. Shoham. Agent-Oriented Programming. Artificial Intelligence, 60:51–92, 1993.
R. Smith. The Contract Net Protocol: High Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers, 29:1104–113, 1980.
V. Vasconcelos. Typed Concurrent Objects. In 8th European Conference on Object Oriented Programming, Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gaspari, M. (1995). Modelling interactions in agent system. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_42
Download citation
DOI: https://doi.org/10.1007/3-540-60437-5_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60437-2
Online ISBN: 978-3-540-47468-5
eBook Packages: Springer Book Archive