Conception, Behavioural Semantics and Formal Specification of Multi-agent Systems
This paper has three purposes. First, it presents an approach to designing an agent based on communication and organization. We will show that this approach differs from most known in the DAI field. The underlying concepts of an agent have been identified from our study of cooperation in multi-agent systems. These concepts consist of communication concepts and organization concepts. The second objective of this paper is to show the application of labeled transition systems to deal with the behavioural semantics of a multi-agent system. An agent state is described by a triplet including beliefs, goals as communication concepts and roles as organization concepts. A transition consists of an execution step in the life-cycle of an agent. Third, we use the proposed semantics to define a formal specification language which is a first-order, multi-modal, linear-time logic. We illusrate our work with the well known prey/predator problem.
Unable to display preview. Download preview PDF.
- 1.Ferber, J.: Les systémes multi-agents: un aperçu général. T.S.I 16 (1997)Google Scholar
- 2.Shoham, Y.: Agent Oriented Programming. Artificial intelligence 60(1) (1993)Google Scholar
- 3.Rao., A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Fikes, R., Sandewall, E. (eds.) Proceedings of knowledge representation and Reasoning (KR & R-1991), pp. 473–484. Morgan Kaufmann Publishers, San Mateo (1991)Google Scholar
- 5.Wooldridge, M., Jennings, N.R.: Agent Theories, Architectures, and Languages: A Survey. In: LNAI, vol. 890, Springer, Heidelberg (1994)Google Scholar
- 6.Chainbi, W.: Cooperation in Multi-agent Systems, Internal report, LARIS, F.S.E.G, Sfax (April 1997)Google Scholar
- 7.Chainbi, W., Hannachi, C., Sibertin-Blanc, C.: The multi-agent Prey/Predator problem: A Petri net solution. In: Proc. of the symposium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multiconference, July 9-12. IEEE-SMC, Lille-France (1996)Google Scholar
- 8.Purvis, M., Cranefield, S.: Agent modelling with Petri Nets. In: Proc. of the sym-posium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multi-conference, July 9-12. IEEE-SMC, Lille-France (1996)Google Scholar
- 9.Wooldridge, M.: This is MYWORLD: The Logic of An Agent-Oriented DAI Testbed. LNCS (LNAI), vol. 890. Springer, Heidelberg (1994)Google Scholar
- 10.Salbert, D.: De l’interaction homme-machine individuelle aux systèmes multi-utilisateurs: L’exemple de la communication homme-homme médiatisée, Phd the-sis, IMAG, Joseph Fourier University, Grenoble, France (1995)Google Scholar
- 11.Bandinelli, S., Di Nitto, E., Fuggetta, A.: Supporting cooperation in the SPADE-1 environment. IEEE Transactions on Software Engineering 22(12) (December 1996)Google Scholar
- 12.Bouron, T.: Structures de communication et d’organisation pour la coopération dans un univers multi-agents, Phd. thesis, Paris 6 University (November 1992)Google Scholar
- 13.Fisher, M.: A survey of Concurrent Metatem-the language and its applications. In: Gabbay, D., Ohlbach, H.J. (eds.) Proc. of the first Int.Conf. on Temporal Logic (ICTL 1994). Springer, Heidelberg (1994)Google Scholar