Skip to main content

Design and Mathematical Analysis of Agent-Based Systems

  • Conference paper
  • First Online:
Formal Approaches to Agent-Based Systems (FAABS 2000)

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

Included in the following conference series:

Abstract

Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior offer several advantages over traditional multi-agent systems. A well-designed complex agent-based systems is an efficient, robust, adaptive and stable system. It has very low communication and computational requirements, meaning that there are virtually no constraints on the system size. The simplicity of agent interactions also makes it amenable to quantitative mathematical analysis. In addition to offering predictive power, mathematical analysis enables the system designer to optimize system performance.

To date, there have been relatively few implementations of complex agent-based systems, mainly because of the difficulty of determining what simple agent strategies will lead to desirable collective behavior in a large system. We claim that there exists a set of primitive agent strategies, similar to the basis behaviors in behavior-based robotics, from which complex group behavior can be designed. Moreover, these simple primitive strategies naturally lend themselves to mathematical description, making a quantitative study of agent-based systems possible. We present a case study of coalition formation to show that two simple behaviors, dispersion and aggregation, can lead to coalition formation in a multi-agent system under some conditions. We use this system to illustrate the process by which a mathematical description of the agent-based system is created and analyzed, and discuss the insights the analysis provides for designing coalition forming agents.

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

Access this chapter

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. R. Axelrod and W. D. Hamilton. The evolution of cooperation. Science, 211:1390–1396, 1981.

    Article  MathSciNet  Google Scholar 

  2. Eric Bonabeau, Marco Dorigo, and Guy Theraulaz. Swarm Intelligence: From Natural to Artificial Systems. Oxford University Press, New York, 1999.

    MATH  Google Scholar 

  3. A. Chavez and P. Maes. Kasbah: An agent marketplace for buying and selling goods. In First International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, pages 75–90, 1996.

    Google Scholar 

  4. G. Di Caro and M. Dorigo. Antnet: Distributed stigmergetic control for communications networks. J. of Artificial Intelligence Research, 9:317–365, 1998.

    MATH  Google Scholar 

  5. R. Duncan, T. D. McCarson, R. Stewart, P. M. Alsing, R. P. Kale, and R. Ro binett. Statistical paradigms for robotic swarm modeling. http://www.mhpcc.edu/research/ab98/98ab41.html, 1998.

  6. Dani Goldberg and Maja J. Matarić. Coordinating mobile robot group behavior using a model of interaction dynamics. In Oren Etzioni, Jörg P. Müller, and Jeffrey M. Bradshaw, editors, Proceedings of the Third Annual Conference on Autonomous Agents (AGENTS-99), pages 100–107, New York, May 1–5 1999. ACM Press.

    Google Scholar 

  7. O. Guenter, T. Hogg, and B. A. Huberman. Learning in multiagent control of smart matter. In AAAI Workshop on Multiagent Learning, 1997.

    Google Scholar 

  8. T. Hogg and B. A. Huberman. The behavior of computational ecologies. In B. A. Huberman, editor, The Ecology of Computation, Amsterdam, 1988. North-Holland.

    Google Scholar 

  9. Bernardo A. Huberman and Scott H. Clearwater. A multiagent system for controlling building environments. In Victor Lesser, editor, Proceedings of the First International Conference on Multi-Agent Systems, pages 171–176, San Francisco, CA, 1995. MIT Press.

    Google Scholar 

  10. N. R. Jennings and M. Wooldridge. Applications of Agent Technology. In N. R. Jennings and M. Wooldridge, editors, Agent Technology: Foundations, Applications, and Markets. sv, March 1998.

    Google Scholar 

  11. J. Kennedy and R. Eberhart. Particle Swarm Optimizationy. In N. R. Jennings and M. Wooldridge, editors, Fourth IEEE International Conference on Neural Networks. IEEE Service Center, 1995.

    Google Scholar 

  12. H. Kitano, M. Asada, Y. Kuniyoshi, and I. Noda. RoboCup: A challenge problem for AI and robotics. Lecture Notes in Computer Science, 1395: 1, 1998.

    Google Scholar 

  13. K. Lerman, D. S. Cannell, and G. Ahlers. Different convection dynamics in mixtures with the same separation ratio. Physical Review, E53:R2041, 1996.

    Google Scholar 

  14. Kristina Lerman and Onn Shehory. Coalition Formation for Large-Scale Electronic Markets. To appear in ICMAS’2000, 2000.

    Google Scholar 

  15. Maja J. Matarić. Designing emergent behaviors: From local interactions to collective intelligence. In J-A. Meyer, H. Roitblat, and S. Wilson, editors, Second International Conference on Simulation of Adaptive Behavior (SAB-92), pages 432–441, 1992.

    Google Scholar 

  16. Maja J. Matarić. Designing and understanding adaptive group behavior. Adaptive Behavior, 4(1):50–81, December 1995.

    Google Scholar 

  17. Maja J. Matarić. Issues and approaches in the design of collective autonomous agents. Robotics and Autonomous Systems, 16(2–4):321–331, December 1995.

    Google Scholar 

  18. Maja J. Matarić. Learning in multi-robot systems. In Sandip Sen, editor, IJCAI-95 Workshop on Adaptation and Learning in Multiagent Systems, pages 32–37, 1995.

    Google Scholar 

  19. Z. Noszticzius, W. Horsthemke, W. D. McCormick, H. L. Swinney, and W. Y. Tam. Sustained chemical waves in an annular gel reactor: a chemical pinwheel. Nature, 329: ??, 1987.

    Google Scholar 

  20. Simon Parsons and N. R. Jennings. Negotiation through argumentation-a preliminary report. In Victor Lesser, editor, Proceedings of the First International Conference on Multi-Agent Systems. MIT Press, 1995.

    Google Scholar 

  21. Simon Parsons, Carles Sierra, and Nick Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261–292, June 1998.

    Google Scholar 

  22. W.-J. Rappel, A. Nicol, A. Sarkissian, H. Levine, and W. F. Loomis. Self-organized vortex state in two-dimensional dictyostelium dynamics. Physical Review Letters, 83:1247–1250, 1999.

    Article  Google Scholar 

  23. Andrea Schaerf, Yoav Shoham, and Moshe Tennenholtz. Adaptive load balancing: a study in co-learning. In Sandip Sen, editor, IJCAI-95 Workshop on Adaptation and Learning in Multiagent Systems, pages 78–83, 1995.

    Google Scholar 

  24. Ruud Schoonderwoerd, Owen Holland, and Janet Bruten. Ant-like agents for load balancing in telecommunications networks. In W. Lewis Johnson and Barbara Hayes-Roth, editors, Proceedings of the 1st International Conference on Autonomous Agents, pages 209–216, New York, February 5–8 1997. ACM Press.

    Google Scholar 

  25. Onn Shehory, Sarit Kraus, and O. Yadgar. Emergent cooperative goal satisfaction in large-scale automated-agent systems. Artificial Intelligence, 110(1), 1999.

    Google Scholar 

  26. Katia Sycara and Anandeep S. Pannu. The RETSINA multiagent system: Towards integrating planning, execution and information gathering. In Katia P. Sycara and Michael Wooldridge, editors, Proceedings of the 2nd International Conference on Autonomous Agents (AGENTS-98), pages 350–351, New York, May 9–13 1998. ACM Press.

    Google Scholar 

  27. A. M. Turing. The chemical basis of morphogenesis. Phil. Trans. Royal Soc. Lond., B327, 195.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lerman, K. (2001). Design and Mathematical Analysis of Agent-Based Systems. In: Rash, J.L., Truszkowski, W., Hinchey, M.G., Rouff, C.A., Gordon, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2000. Lecture Notes in Computer Science(), vol 1871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45484-5_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-45484-5_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42716-2

  • Online ISBN: 978-3-540-45484-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics