Skip to main content
SpringerLink
Log in

Interaction Monitoring and Termination Detection for Agent Societies: Preliminary Results

  • Conference paper
Engineering Societies in the Agents World IV (ESAW 2003)

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

Included in the following conference series:

Abstract

For large-scale and complex societies of agents monitoring and control are important to both agent designers and society administrators. Specifically, interaction monitoring and termination detection are of importance in optimising performance of a system and keeping users up-to-date on progress. Both monitoring and termination detection are well-studied problems for distributed object systems. In this paper, we investigate how these approaches can be applied to agent systems. We present a novel algorithm, which takes advantage of a monitor’s additional information on partial behaviour specifications of the agents to derive observable termination criteria. We sketch an implementation and qualitatively compare our novel algorithm to the existing distributed systems approaches and propose future experimental work.

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. Pitt, J., Mamdani, A.: A protocol-based semantics for an agent communication language. In: Proceedings 16th International Joint Conference on Artificial Intelligence IJCAI 1999, Stockholm, Sweden, pp. 486–491. Morgan-Kaufmann Publishers, San Francisco (1999)

    Google Scholar 

  2. Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)

    Google Scholar 

  3. Genesereth, M., Ketchpel, S.: Software agents. Communications of the ACM 37, 48–53 (1994)

    Article  Google Scholar 

  4. Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Pollack, M.E. (ed.) Proceedings of the Fifteenth International Joint Conference on Artifical Intelligence (IJCAI 1997), San Mateo, CA, USA, pp. 584–591. Morgan Kaufmann Publishers, San Francisco (1997)

    Google Scholar 

  5. FIPA: Specification part 2 agent communication language (1997)

    Google Scholar 

  6. Wooldridge, M.: Semantic issues in verification of agent communication languages. Autonomous Agents and Multi-Agent Systems 3 (2000)

    Google Scholar 

  7. Venkatraman, M., Singh, M.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems 2, 217–236 (1999)

    Article  Google Scholar 

  8. Chaib-draa, B., Dignum, F.: Trends in agent communication language. Computational Intelligence 2(5) (2002)

    Google Scholar 

  9. Friedman, D., Rust, J.: The Double Auction Market, Institutions, Theories, and Evidence. Addison Wesley Longman, Amsterdam (1993)

    Google Scholar 

  10. Mattern, F.: Global quiescence detection based on credit distribution and recovery. Information Processing Letters 30, 195–200 (1989)

    Article  MathSciNet  Google Scholar 

  11. Mattern, F.: Algorithms for distributed termination detection. Distributed Computing 2, 161–175 (1987)

    Article  Google Scholar 

  12. Babaoglu, O., Marzullo, K.: Consistent global states of distributed systems: Fundamental concepts and mechanisms. In: Mullender, S. (ed.) Distributed Systems, pp. 55–96. Addison-Wesley, Reading (1993)

    Google Scholar 

  13. Dijkstra, E., Scholten, C.: Termination detection for diffusing computations. Information Processing Letters 11, 1–4 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  14. Tel, G.: Distributed control for AI. Technical Report UU-CS-1998-17, ICS, Information Computing Sciences, University of Utrecht,Netherlands (1998)

    Google Scholar 

  15. Dijkstra, E.W., Feijen, W.H.J., van Gasteren, A.J.M.: Derivation of a termination detection algorithm for distributed computations. Information Processing Letters 16, 217–219 (1983)

    Article  MathSciNet  Google Scholar 

  16. Singh, M.: On the semantics of protocols among distributed intelligent agents. Technical Report TM-91-09, Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (1991)

    Google Scholar 

  17. Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona (1997)

    Google Scholar 

  18. Tel, G.: 13. In: Introduction To Distributed Algorithms, Cambridge University Press, Cambridge (2000)

    Google Scholar 

  19. Bellifemine, F., Poggi, A., Rimassa, G.: Jade: A FIPA-compliant agent framework. In: PAAM 1999, pp. 97–108 (1999)

    Google Scholar 

  20. Vitaglione, G., Quarta, F., Cortese, E.: Scalability and performance of JADE message transport system. In: AAMAS Workshop on AgentCities, Bologna (2002)

    Google Scholar 

  21. Wellman, M., Walsh, W.: Distributed quiescence detection in multiagent negotiation. In: Proceedings of the 3rd International Conference on Multiagent Systems (2000)

    Google Scholar 

  22. Mockapetris, P.: RFC 1034: Domain names - concepts and facilities. Technical report, ISI, NetWorking Group (1987)

    Google Scholar 

  23. Birman, K.: The process group approach to reliable distributed computing. Communications of the ACM 36, 37–53 (1993)

    Article  Google Scholar 

  24. Hagel, J., Roth, A. (eds.): Handbook of Experimental Economics. Princenton University Press, Princenton (1995)

    Google Scholar 

  25. Tel, G., Mattern, F.: The derivation of distributed termination detection algorithms from garbage collection schemes. ACM Transactions on Programming Languages and Systems 15, 1–35 (1993)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, City University London,  

    Tshiamo Motshegwa & Michael Schroeder

Authors
  1. Tshiamo Motshegwa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Schroeder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  2. Austrian Research Institute for Artificial Intelligence,, Freyung 6/6, A-1010, Vienna, Austria

    Paolo Petta

  3. Intelligent Systems & Networks Group, Dept. of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK

    Jeremy Pitt

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Motshegwa, T., Schroeder, M. (2004). Interaction Monitoring and Termination Detection for Agent Societies: Preliminary Results. In: Omicini, A., Petta, P., Pitt, J. (eds) Engineering Societies in the Agents World IV. ESAW 2003. Lecture Notes in Computer Science(), vol 3071. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25946-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25946-6_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22231-6

  • Online ISBN: 978-3-540-25946-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation