Abstract
This paper proposes a formal definition of a conceptual model for cooperation among multi-agent systems (MAS). This works constitutes a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among MAS. We propose a framework for the specification, design and verification of interaction mechanisms. Doing so, and using the Z notation, we bring closer the concepts describing a cooperative activity while integrating them with the concepts related to the organizational modelling within a MAS. Moreover, we suggest a set of necessary properties needed to maintain the consistency at the individual level (Agent) as well as at the collective level (System). The syntax and the semantic of proposed specifications have been validated with the Z-eves verification tool [1].
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
Meisels, I., Saaltink, M.: The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)
Luck, M., d’Inverno, M.: A formal framework for agency and autonomy. In: Proceedings of the first international conference on Multi-Agent Systems, pp. 254–260. AAAI Press/MIT Press (1995)
Rao, A.S., George, M.P.: Bdi agents: From theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems ICMAS, pp. 312–319 (1995)
Jmaiel, M., Hadj-Kacem, A.: A formal definition of cooperation and agency among multi-agent systems. In: Proceedings of the International Conference on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications, Monastir, Tunisia (2000)
Ford, B., Karmouch, A.: An architectural model for mobile agent-based multimedia applications. In: Proceedings of Canadian Conference on Broadband Research, Ottawa (1997)
Ziade, F., Karmouch, A.: A multimedia transportable agent system. In: Proceedings of IEEE Canadian Conference Electronic Computer Engineering, St. John’s, NFLD (1997)
Tsvetovatyy, M., Gini, M., Mobasher, B., Wieckowski, Z.: Magma: An agent-based virtual market for electronic commerce. Journal of Applied Artificial Intelligence 11, 501–524 (1997)
Oliveira, E., Rocha, A.: Agents advanced features for negotiation in electronic commerce and virtual organisations formation process. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 78–97. Springer, Heidelberg (2001)
Shen, W., Xue, D., Norrie, D.: An agent-based manufacturing enterprise infrastructure for distributed integrated intelligent manufacturing systems. In: Proceedings of The Third International Conference on the Practical Application of Intelligent Agents and Multi-agents, London,UK, pp. 533–548 (1998)
Shen, W., Barthes, J.: Dide: A multi-agent environment for engineering design. In: Proceeding of The First International Conference on Multi-Agent Systems, San Francisco, USA, pp. 344–351 (1995)
Aloulou, C., Hadrich-Belguith, L., Hadj-Kacem, A., Ben-Hamadou, A.: Conception et développement du syst‘eme MASPAR d’analyse de l’arabe selon une aproche agent. In: RFIA 2004, 14‘eme congr‘es francophone de la Reconnaissance des Formeset Intelligence Artificielle, Toulouse, France (2004)
Bowen, J.: Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press (1996)
Ferber, J.: Les syst‘emes multi-agents. In: Vers une intelligence collective, InterEdition (1995)
Jmaiel, M., Hadj-Kacem, A.: An operational semantics for negotiating agents. In: Kuwabara, K., Lee, J. (eds.) PRIMA 2002. LNCS, vol. 2413, pp. 77–91. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Loulou, M., Kacem, A.H., Jmaiel, M. (2004). Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. In: Lemaître, C., Reyes, C.A., González, J.A. (eds) Advances in Artificial Intelligence – IBERAMIA 2004. IBERAMIA 2004. Lecture Notes in Computer Science(), vol 3315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30498-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-30498-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23806-5
Online ISBN: 978-3-540-30498-2
eBook Packages: Springer Book Archive