Formalization of cooperation in MAS: Towards a generic conceptual model

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3315, Issue , 2004, Pages 43-52

  Loulou, Monia ^a   Kacem, Ahmed Hadj ^a   Jmaiel, Mohamed ^a  

^a UNIVERSITY OF SFAX   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROJECT MANAGEMENT; SEMANTICS; SOFTWARE AGENTS; SYNTACTICS; ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; SPECIFICATIONS;

COOPERATIVE ACTIVITY; GENERIC CONCEPTUAL MODELS; INTERACTION MODELS; SYNTAX; FORMAL DEFINITION; INDIVIDUAL LEVELS; INTERACTION MECHANISMS; INTERACTION MODEL; ORGANIZATIONAL MODELLING; VERIFICATION TOOLS;

MULTI AGENT SYSTEMS;

EID: 22944444843     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30498-2_5     Document Type: Conference Paper

References (14)

1. Meisels, I., Saaltink, M.: The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)
2. Luck, M., d'Inverno, M.: A formal framework for agency and autonomy. In: Proceedings of the first international conference on Multi-Agent Systems, AAAI Press/MIT Press (1995) 254-260
3. Rao, A.S., George, M.P.: Bdi agents: From theory to practice. In: In Proceedings of the First International Conference on Multi-Agent Systems ICMAS. (1995) 312-319
4. 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)
5. Ford, B., Karmouch, A.: An architectural model for mobile agent-based multimedia applications. In: Proceedings of Canadian Conference on Broadband Research, Ottawa (1997)
6. Ziade, F., Karmouch, A.: A multimedia transportable agent system. In: Proceedings of IEEE Canadian Conference Electronic Computer Engineering, St. John's, NFLD (1997)
7. Tsvetovatyy, M., Gini, M., Mobasher, B., Wieckowski, Z.: Magma: An agent-based virtual market for electronic commerce. Journal of Applied Artificial Intelligence 11 (1997) 501-524.
8. Oliveira, E., Rocha, A.: Agents advanced features for negotiation in electronic commerce and virtual organisations formation process. In: Agent Mediated Electronic Commerce: the European AgentLink Perspective. Number 1991 in LNAI, Springer Verlag (2000) 78-97
9. 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 (1998) 533-548
10. 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 (1995) 344-351
11. Aloulou, C., Hadrich-Belguith, L., Hadj-Kacem, A., Ben-Hamadou, A.: Conception et développement du système MASPAR d'analyse de l'arabe selon une aproche agent. In: RFIA'04, 14ème congrès francophone de la Reconnaissance des Formes et Intelligence Artificielle, Toulouse, France (2004)
12. Bowen, J.: Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press (1996)
13. Ferber, J.: Les systèmes multi-agents. Vers une intelligence collective. InterEdition (1995)
14. Jmaiel, M., Hadj-Kacem, A.: An operational semantics for negotiating agents. In: Intelligent Agent and Multi-Agents Systems. Volume 2413 of Lecture Notes in Artificial Intelligence., Springer (2002) 77-91