Abstract
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.
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
Ferber, J.: Les systémes multi-agents: un aperçu général. T.S.I 16 (1997)
Shoham, Y.: Agent Oriented Programming. Artificial intelligence 60(1) (1993)
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)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial In-telligence 42, 213–261 (1990)
Wooldridge, M., Jennings, N.R.: Agent Theories, Architectures, and Languages: A Survey. In: LNAI, vol. 890, Springer, Heidelberg (1994)
Chainbi, W.: Cooperation in Multi-agent Systems, Internal report, LARIS, F.S.E.G, Sfax (April 1997)
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)
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)
Wooldridge, M.: This is MYWORLD: The Logic of An Agent-Oriented DAI Testbed. LNCS (LNAI), vol. 890. Springer, Heidelberg (1994)
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)
Bandinelli, S., Di Nitto, E., Fuggetta, A.: Supporting cooperation in the SPADE-1 environment. IEEE Transactions on Software Engineering 22(12) (December 1996)
Bouron, T.: Structures de communication et d’organisation pour la coopération dans un univers multi-agents, Phd. thesis, Paris 6 University (November 1992)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chainbi, W., Jmaiel, M., Abdelmajid, B.H. (1998). Conception, Behavioural Semantics and Formal Specification of Multi-agent Systems. In: Zhang, C., Lukose, D. (eds) Multi-Agent Systems. Theories, Languages and Applications. DAI 1998. Lecture Notes in Computer Science(), vol 1544. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10693067_2
Download citation
DOI: https://doi.org/10.1007/10693067_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65477-3
Online ISBN: 978-3-540-49241-2
eBook Packages: Springer Book Archive