Conception, Behavioural Semantics and Formal Specification of Multi-agent Systems

  • Walid Chainbi
  • Mohamed Jmaiel
  • Ben Hamadou Abdelmajid
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1544)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ferber, J.: Les systémes multi-agents: un aperçu général. T.S.I 16 (1997)Google Scholar
  2. 2.
    Shoham, Y.: Agent Oriented Programming. Artificial intelligence 60(1) (1993)Google Scholar
  3. 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
  4. 4.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial In-telligence 42, 213–261 (1990)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Wooldridge, M., Jennings, N.R.: Agent Theories, Architectures, and Languages: A Survey. In: LNAI, vol. 890, Springer, Heidelberg (1994)Google Scholar
  6. 6.
    Chainbi, W.: Cooperation in Multi-agent Systems, Internal report, LARIS, F.S.E.G, Sfax (April 1997)Google Scholar
  7. 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. 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. 9.
    Wooldridge, M.: This is MYWORLD: The Logic of An Agent-Oriented DAI Testbed. LNCS (LNAI), vol. 890. Springer, Heidelberg (1994)Google Scholar
  10. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Walid Chainbi
    • 1
  • Mohamed Jmaiel
    • 1
  • Ben Hamadou Abdelmajid
    • 1
  1. 1.LARIS LaboratoryFSEG-SFAXSFAXTunisia

Personalised recommendations