Skip to main content
SpringerLink
Log in

A Multi-agent Framework Based on Communication and Concurrency

  • Conference paper
Distributed Computing - IWDC 2004 (IWDC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3326))

Included in the following conference series:

  • 532 Accesses

Abstract

Multi-agent systems are receiving attention nowadays, as they can be applied in a variety of disciplines like industry, e-commerce, control systems, etc. As the areas of usage are more crucial the matter of assurance of correctness of programs is important. However, verification of these systems has received attention only very recently. Hitherto such systems have been programmed without a clearly defined formal semantics and with very little idea about formally expressed verifiable properties to be satisfied by such systems. In this paper a new multi-agent programming language, called ECCS is defined. Its operational semantics is defined and a model checking algorithm is described which verifies properties expressed in the logic ACTL.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: AAMAS 2003, pp. 409–416 (2003)

    Google Scholar 

  2. Clark, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Lang. Syst. 8(2), 244–263 (1986)

    Article  Google Scholar 

  3. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)

    Google Scholar 

  4. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(2-3), 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  5. Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.C.: A Programming Language for Cognitive Agents Goal Directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS, vol. 3067, pp. 111–130. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for verifying logical and behavioral properties of concurrent systems. Computer Networks and ISDN Systems 25(7), 761–778 (1993)

    Article  MATH  Google Scholar 

  7. Dixon, C., Fisher, M., Bolotov, A.: Clausal resolution in a logic of rational agency. Artif. Intell. 139(1), 47–89 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  8. Foundation for Intelligent Physical Agents(FIPA). Fipa97 agent specification, http://www.fipa.org

  9. Halpern, J.Y.: A logical approach to reasoning about uncertainty: a tutorial. In: Arrazola, X., Korta, K., Pelletier, F.J. (eds.) Discourse, Interaction, and Communication, pp. 141–155. Kluwer, Dordrecht (1998)

    Google Scholar 

  10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  11. Kripke, S.A.: Semantical considerations on modal logic. In: A Colloquium on Modal and Many-Valued Logics, Helsinki (1962)

    Google Scholar 

  12. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  13. Pitt, J., Mamdani, A.: Some remarks on the semantics of FIPA’s agent communication language. Aut. Agents and Multi-Agent Systems 4, 333–356 (1999)

    Article  Google Scholar 

  14. Plotkin, G.D.: A structural approach to operational semantics. Technical report, DAIMI, FN 19, Department of Comp. Sci., University of Aarhus, Denmark (1981)

    Google Scholar 

  15. Rao, A.S.: AgentSpeak(L): BDI Agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  16. Rao, A.S., Georgeff, M.P.: BDI-agents: From theory to practice. In: Proceedings of the First Intl. Conf. on Multiagent Systems (ICMAS 1995), San Francisco (1995)

    Google Scholar 

  17. Saraswat, V.A.: Concurrent Constraint Programming. The MIT Press, Cambridge (1993)

    Google Scholar 

  18. Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  19. Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)

    Google Scholar 

  20. Van Eijk, R.M., De Boer, F.S., Van Der Hoek, W., Meyer, J.-J.Ch.: A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems 6(2), 185–219 (2003)

    Article  Google Scholar 

  21. Wooldridge, M.: Computationally grounded theories of agency. In: Durfee, E. (ed.) Proc. of the 4th Intrl. Conf. on Multi-Agent Systems (ICMAS 2000). IEEE Press, Los Alamitos (2000)

    Google Scholar 

  22. Wooldridge, M.: Verifiable semantics for agent communication languages. In: Demazeau, Y. (ed.) Proceedings of the 3rd International Conference on Multi Agent Systems, pp. 349–356. IEEE Computer Society, Los Alamitos (1998)

    Chapter  Google Scholar 

  23. Wooldridge, M., Fisher, M., Huget, M.-Ph., Parsons, S.: Model checking multi-agent systems with MABLE. In: Proc. of the first intrl. joint conf. on Autonomous agents and multiagent systems, pp. 952–959. ACM Press, New York (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Indian Institute of Technology Delhi, 110016, New Delhi, India

    M. Jamshid Bagherzadeh & S. Arun-Kumar

Authors
  1. M. Jamshid Bagherzadeh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Arun-Kumar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Informatics, Arizona State University, 85287, Tempe, AZ,  

    Arunabha Sen

  2. Indian Statistical Institute, Kolkata,  

    Nabanita Das

  3. Department of Computer Science and Engineering, University of Texas at Arlington, P.O. Box 19015, 76019, Arlington, TX, USA

    Sajal K. Das

  4. ACM Unit, Indian Statistical Institute, 700 108, Kolkata, India

    Bhabani P. Sinha

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bagherzadeh, M.J., Arun-Kumar, S. (2004). A Multi-agent Framework Based on Communication and Concurrency. In: Sen, A., Das, N., Das, S.K., Sinha, B.P. (eds) Distributed Computing - IWDC 2004. IWDC 2004. Lecture Notes in Computer Science, vol 3326. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30536-1_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30536-1_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24076-1

  • Online ISBN: 978-3-540-30536-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation