Skip to main content
SpringerLink
Log in

Programming Verifiable Heterogeneous Agent Systems

  • Conference paper
Programming Multi-Agent Systems (ProMAS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5442))

Included in the following conference series:

Abstract

Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. In this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way.

Supported by EPSRC grant EP/D052548.

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. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing MultiAgent Systems with JADE (2007)

    Google Scholar 

  2. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  3. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd Int. Conf. Automated Software Engineering (2008)

    Google Scholar 

  4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model Checking Rational Agents. IEEE Intelligent Systems 19(5), 46–52 (2004)

    Article  Google Scholar 

  5. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-Agent Programs by Model Checking. J. Autonomous Agents & Multi-Agent Systems 12(2), 239–256 (2006)

    Article  Google Scholar 

  6. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, Chichester (2007)

    Book  MATH  Google Scholar 

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

    Google Scholar 

  8. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming Multi-Agent Systems in 3APL. In: Bordini, et al. (eds.) [2], ch. 2, pp. 39–67

    Google Scholar 

  9. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A Verification Framework for Agent Programming with Declarative Goals. J. Applied Logic 5(2), 277–302 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M.: A Flexible Framework for Verifying Agent Programs. In: Proc. Int. Conf. Autonomous Agents & Multiagent Systems. ACM, New York (2008) (Short paper)

    Google Scholar 

  11. Dennis, L.A.: Gwendolen: A BDI Language for Verifiable Agents In Logic and the Simulation of Interaction and Reasoning. AISB Convention, University of Aberdeen (2008)

    Google Scholar 

  12. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantic Basis for BDI Languages. In: Proc. 7th Int. Workshop on Programming Multiagent Systems (2007)

    Google Scholar 

  13. Dix, J., Zhang, Y.: IMPACT: A Multi-Agent Framework with Declarative Semantics. In: Bordini, et al. (eds.) [2], ch. 3, pp. 69–94

    Google Scholar 

  14. Farwer, B., Dennis, L.A.: Translating into an Intermediate Agent Layer: A prototype in Maude. In: Proc. Concurrency, Specification, & Programming (2007)

    Google Scholar 

  15. FIPA: Foundation for Intelligent Physical Agents, http://www.fipa.org

  16. Fisher, M.: MetateM: The Story so Far. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 3–22. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Gungui, I., Mascardi, V.: Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems. In: Proc. Italian Conf. Computational Logic, Univ. Parma (2004)

    Google Scholar 

  18. Holzmann, G.J.: The Spin Model Checker. Addison-Wesley, Reading (2003)

    Google Scholar 

  19. Java Agent Services, http://www.java-agent.org

  20. OMG: Object Management Group, http://www.omg.org

  21. Paurobally, S., Cunningham, J., Jennings, N.: Verifying the Contract Net Protocol: A Case Study in Interaction Protocol and Agent Communication Language Semantics. In: Proc. 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems (2004)

    Google Scholar 

  22. Paurobally, S., Cunningham, J., Jennings, N.R.: A Formal Framework for Agent Interaction Semantics. In: Proc. 4th Int. Conf. Autonomous Agents & Multiagent Systems, pp. 91–98 (2005)

    Google Scholar 

  23. Shoham, Y.: Agent-Oriented Programming. Artificial Intelligence 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  24. Smith, R.G., Davis, R.: Frameworks for Cooperation in Distributed Problem Solving. IEEE Trans. Systems, Man, & Cybernetics 11(1) (1980)

    Google Scholar 

  25. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge (2000)

    Google Scholar 

  26. Suguri, H., Kodama, E., Miyazaki, M.: Assuring Interoperability in Heterogeneous, Autonomous and Decentralized Multi-Agent Systems. In: Proc. 6th Int. Symp. Autonomous Decentralized Systems, pp. 17–24. IEEE, Los Alamitos (2003)

    Google Scholar 

  27. Tan, X., Wang, S.: Implementation of Multi-Agent System Based on CORBA and COM. In: Proc. 6th Int. Conf. Computer Supported Coop. Work in Design, pp. 299–302 (2001)

    Google Scholar 

  28. Winikoff, M.: JACKTM Intelligent Agents. In: Bordini, et al. (eds.) [2], ch. 7, pp. 175–193

    Google Scholar 

  29. Winikoff, M.: Implementing Commitment-Based Interactions. In: Proc. 6th Int. Conf. Autonomous Agents & Multiagent Systems, pp. 1–8. ACM, New York (2007)

    Chapter  Google Scholar 

  30. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: Proc. Int. Conf. Principles of Knowledge Representation & Reasoning (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Liverpool, Liverpool, United Kingdom

    Louise A. Dennis & Michael Fisher

Authors
  1. Louise A. Dennis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. EEMCS, Delft University of Technology,, The Netherlands

    Koen V. Hindriks

  2. Distributed Systems and Information Systems, University of Hamburg, Hamburg, Germany

    Alexander Pokahr

  3. School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Sebastian Sardina

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dennis, L.A., Fisher, M. (2009). Programming Verifiable Heterogeneous Agent Systems. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds) Programming Multi-Agent Systems. ProMAS 2008. Lecture Notes in Computer Science(), vol 5442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03278-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03278-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03277-6

  • Online ISBN: 978-3-642-03278-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation