Skip to main content
SpringerLink
Log in

From agent theory to agent construction: A case study

  • Part III: The Role of Theories in Building Agent-Based Systems
  • Conference paper
  • First Online:
Book cover Intelligent Agents III Agent Theories, Architectures, and Languages (ATAL 1996)

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

Included in the following conference series:

Abstract

There is a growing body of work that concentrates on theoretical aspects of agents and multi-agent systems, and a complementary body of work concerned with building practical systems. However, the two have typically been unrelated. This gap between the theory and practice of intelligent agents has only relatively recently begun to be addressed. In this paper we describe the construction of an agent simulation environment that is based strongly on a formal theory of agent systems, but which is intended to serve in exactly this way as a basis for practical development. The paper briefly introduces the theory, then describes the system and the simple reactive agents built with it, but most importantly shows how it reflects the theoretical framework and how it facilitates incremental agent design and implementation. Using this example as a case-study, some possibilities for a methodology for the development of agent systems are discussed.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. P. Beaudoin and A. Sloman. A study of motive processing and attention. In Prospects for Artificial Intelligence: Proceedings of AISB93, pages 229–238, Birmingham, 1993.

    Google Scholar 

  2. T. Bouron, J. Ferber, and F. Samuel. MAGES: A multi-agent testbed for heterogeneous agents. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI 2: Proceedings of the Second European Workshop on Modelling Autonomous Agents in a Multi-Agent World, pages 195–216. Elsevier, 1991.

    Google Scholar 

  3. P. R. Cohen, M. Greenberg, D. M. Hart, and A. E. Howe. Trial by fire: Understanding the design requirements for agents in complex environments. AI Magazine, 10(3), 1989.

    Google Scholar 

  4. I. D. Craig. The Formal Specification of Advanced AI Architectures. Ellis Horwood, 1991.

    Google Scholar 

  5. D. N. Davis. Reactive and motivational agents: towards a collective minder. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  6. F. Dignum and B. van Linder. Modeling social agents: Communication as action. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings,editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  7. M. d'Inverno, G. R. Justo, and P. Howells. A formal framework for specifying design methodologies. In 29th Annual Hawaii International Conference on System Sciences, pages 741–750. IEEE Computer Society Press, 1996.

    Google Scholar 

  8. M. d'Inverno and M. Luck. A formal view of social dependence networks. In Proceedings of the First Australian DAI Workshop, Lecture Notes in Artificial Intelligence, 1087, pages 115–129. Springer Verlag, 1996.

    Google Scholar 

  9. M. d'Inverno and M. Luck. Formalising the contract net as a goal directed system. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 72–85. Springer-Verlag, 1996.

    Google Scholar 

  10. M. d'Inverno and M. Luck. Understanding autonomous interaction. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence, pages 529–533. John Wiley & Sons, 1996.

    Google Scholar 

  11. S. Franklin and A. Graesser. Is it an agent, or just a program?: A taxonomy for autonomous agents. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  12. L. Gasser, C. Braganza, and N. Hermann. MACE: A flexible testbed for distributed AI research. In M. Huhns, editor, Distributed Artificial Intelligence, pages 119–152. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1987.

    Google Scholar 

  13. R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, Carnegie-Mellon University, 1993.

    Google Scholar 

  14. M. B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9–18, 1988.

    Article  Google Scholar 

  15. D. Kinny, M. Georgeff, and A. Rao. A methodology and modelling technique for systems of BDI agents. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 56–71. Springer-Verlag: Heidelberg, Germany, 1996.

    Google Scholar 

  16. M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254–260. AAAI Press/MIT Press, 1995.

    Google Scholar 

  17. M. Luck and M. d'Inverno. Engagement and cooperation in motivated agent modelling. In Proceedings of the First Australian DAI Workshop, Lecture Notes in Artificial Intelligence, 1087, pages 70–84. Springer Verlag, 1996.

    Google Scholar 

  18. P. Maes. The dynamics of action selection. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, pages 991–997, Detroit, 1989.

    Google Scholar 

  19. P. Maes. How to do the right thing. Connection Science, 1(3):291–323, 1989.

    Google Scholar 

  20. D. Moffat and N. H. Frijda. Where there's a will there's an agent. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 890, pages 245–260. Springer-Verlag: Heidelberg, Germany, 1995.

    Google Scholar 

  21. D. Moffat, N. H. Frijda, and R. H. Phaf. Analysis of a model of emotions. In Prospects for Artificial Intelligence: Proceedings of AISB93, pages 219–228, Birmingham, 1993.

    Google Scholar 

  22. A. Moreno and T. Sales. Dynamic belief analysis. In J.P.Müller, M.J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  23. T. J. Norman and D. Long. Goal creation in motivated agents. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 890, pages 277–290. Springer-Verlag: Heidelberg, Germany, 1995.

    Google Scholar 

  24. T. J. Norman and D. Long. Alarms: An implementation of motivated agency. In M. Wooldridge, J.P. Muller, and M. Tambe, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 1037, pages 219–234. Springer-Verlag: Heidelberg, Germany, 1996.

    Google Scholar 

  25. M. E. Pollack and M. Ringuette. Introducing the tileworld: Experimentally evaluting agent architectures. In Proceedings of the Eighth National Conference on Artificial Intelligence, pages 183–189, 1990.

    Google Scholar 

  26. A. S. Rao. Agentspeak(1): BDI agents speak out in a logical computable language. In W. Van de Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, pages 42–55. Springer-Verlag: Heidelberg, Germany, 1996.

    Google Scholar 

  27. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning, pages 439–449, 1992.

    Google Scholar 

  28. G. Sandu. Reasoning about collective goals. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.

    Google Scholar 

  29. A. Sloman. Motives, mechanisms, and emotions. Cognition and Emotion, 1(3):217–233, 1987.

    Google Scholar 

  30. A. Sloman and R. Poli. SIM_AGENT: A toolkit for exploring agent designs. In M. Wooldridge, J.P. Muller, and M. Tambe, editors, Intelligent Agents: Theories, Architectures, and Languages, LNAI 1037, 1996.

    Google Scholar 

  31. J. M. Spivey. The Z Notation. Prentice Hall, Hemel Hempstead, 2nd edition, 1992.

    Google Scholar 

  32. M. Wooldridge and D. Vandekerckhove. MyWorld: An agent-oriented testbed for distributed artificial intelligence. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 263–274. DAKE Centre, University of Keele, UK, 1994.

    Google Scholar 

  33. M. J. Wooldridge and N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Warwick, CV4 7AL, Coventry, UK

    Michael Luck & Nathan Griffiths

  2. School of Computer Science, University of Westminster, 115 New Cavendish Street, W1M 8JS, London, UK

    Mark d'Inverno

Authors
  1. Michael Luck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nathan Griffiths
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mark d'Inverno
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Luck, M., Griffiths, N., d'Inverno, M. (1997). From agent theory to agent construction: A case study. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013575

Download citation

  • DOI: https://doi.org/10.1007/BFb0013575

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62507-0

  • Online ISBN: 978-3-540-68057-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation