Abstract
This paper focuses on the study of the pragmatics of multi-agent systems design, proposing an efficient approach for the interaction protocol engineering. This approach combines two complementary paradigms: 1) Distributed observation is used to capture the concurrent events inherent to the interactions between agents, through causal dependency, in order to explain the relationships within conversations or group utterances; 2) Colored Petri Nets are used as a suitable formalism to identify interaction-oriented designs while providing the means to model, analyze, and validate large scale applications.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J.L. Austin: How To Do Things With Words. Oxford University Press. (1962).
H. Bachatène, M. Coriat and A. El Fallah Seghrouchni: Using Software Engineering Principles to Design Intelligent Cooperative Systems. In: Proc. of SEKE’93 (KSI Press. San Fransisco, USA. (1993).
P.R. Cohen and H.J. Levesque: Communicative actions for artificial agent. In Proc. of ICMAS’95, San Francisco, CA (1995).
R. S. Cost, Y. Chen, T. Finin, Y. Labrou and Y. Peng. Modeling Agent Conversations with colored Petri Nets. To appear in Working Notes of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents’ 99. Seattle, Whashington, May 1999.
A. El Fallah Seghrouchni, S. Haddad and H. Mazouzi: Etude des interactions basée sur l’observation répartie dans un systéme multi-agents. In Proc. of JFIADSMA’98, Eds Hermès. Nancy. (1998).
A. El Fallah Seghrouchni, S. Haddad and H. Mazouzi: A Formal Study of Inter actions in Multi-Agent Systems. In Proc. of CATA’99. pp 240–246. April, Cancun, Mexico.
J. Esparza, S. Romer, and W. Volger: An improvement of McMillan’s unfolding algorithm. In Proc. of the second international workshop TACAS’96, volume 1055 of LNCS, pp. 87–106, Passau, Germany, 1996. Springer Verlag.
T. Finin, R. Fritzon, D. McKay et R. McEntire. KQML as an agent Communication Language. In 3rd International Conference on Information and Knowledge Management (CIKM’94), ACM Press, 1994.
Foundation for Intelligent Physical Agents: FIPA 97 Specification. Part 2, Agent Communication Language, (1997).
J. Fidge: Timestamps in message passing systems that preserve the partial ordering. In Proc. 11th Australian Computer Science Conference, (1988), 55–66.
K. Jensen and G. Rozenberg: High Level Petri Nets, Theory and Applications. Springer-Verlag (1991).
J.L. Koning, G. Franois and Y. Demazeau: Formalization and pre-validation for interaction protocols in multi agent systems, ECAI’98, Brighton, (1998).
L. Lamport: Time, Clocks, and the ordering of events, in distributed system. Communication of the ACM. 21(7), pp. 558–565. (1978).
F. Mattern: Virtual time and global states of distibuted systems. In. Proc. of the Workshop on Parallel and Distributed Algorithms, Bonas, North Holland (1988).
K.L. McMillan: On-the-fly verification with stubborn sets. In Proc. of Computer Aided Verification, vol. 663 of LNCS, 164–175, Montreal, June 1992. Springer Verlag.
M. Niellsen. G. Plotkin and G. Winskel: Petri Nets, Event Structures and Domains. Theoretical Computer Science (13)1, pp. 85–108 (1980).
V. Parunak: Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis. In. Proc. of ICMAS’96. (1996).
J.R. Searle: Speech Acts. Cambridge University Press (1969).
A. Tarafdar and V. K. Garg: Adressing False Causality while Detecting Predicates in Distributed Programs. Proceedings of the IEEE 18th ICDCS, pages 94–101, Amsterdam, Netherlands, May 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
El Fallah-Seghrouchni, A., Haddad, S., Mazouzi, H. (1999). Protocol Engineering for Multi-agent Interaction. In: Garijo, F.J., Boman, M. (eds) Multi-Agent System Engineering. MAAMAW 1999. Lecture Notes in Computer Science(), vol 1647. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48437-X_8
Download citation
DOI: https://doi.org/10.1007/3-540-48437-X_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66281-5
Online ISBN: 978-3-540-48437-0
eBook Packages: Springer Book Archive