Skip to main content
SpringerLink
Log in

Representing Abstract Agent Architectures

  • Conference paper
  • First Online:
Intelligent Agents V: Agents Theories, Architectures, and Languages (ATAL 1998)

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

Included in the following conference series:

Abstract

An agent’s architecture describes not only its sub-components, but also how these elements are organised in order to provide the agent’s overall behaviour. While there have been numerous different architectures developed, ranging from purely reactive or purely deliberative, through to hybrid and layered varieties, such systems have largely been developed using different frameworks, and often using ad hoc methods, thus making both comparison between architectures and the development of new architectures difficult.

In this paper we show how a high-level logical language might be utilised in order to describe both the components of an agent, which can be considered as subagents, and its internal organisation, which can be characterised as appropriate patterns interaction between, and structuring of, these sub-agents. In particular, we show how contemporary layered architectures, consisting of various reactive, deliberative and modelling layers, might be represented by grouping these subagents together.

This work provides an abstract framework in which the internal organisation of agents can be represented, and will also form the basis for the direct execution of these descriptions in order to prototype new architectures.

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. H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: An Introduction. Formal Aspects of Computing, 7(5):533–549, 1995.

    Article  MATH  Google Scholar 

  2. H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, editors. The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester, United Kingdom, 1996.

    Google Scholar 

  3. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14–23, 1986.

    Google Scholar 

  4. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.

    Google Scholar 

  5. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1996.

    Google Scholar 

  6. I. A. Ferguson. TouringMachines: An Architecture for Dynamic, Rational, Mobile Agents. PhD thesis, Clare Hall, University of Cambridge, UK, November 1992. (Also available as Technical Report No. 273, University of Cambridge Computer Laboratory).

    Google Scholar 

  7. I. A. Ferguson. TouringMachines: Autonomous Agents with Attitudes. Technical Report 250, Computer Laboratory, University of Cambridge, Cambridge, U.K., April 1992.

    Google Scholar 

  8. M. Fisher. Concurrent METATEM — A Language for Modeling Reactive Systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany, June 1993. (Published in Lecture Notes in Computer Science, volume 694, Springer-Verlag).

    Google Scholar 

  9. M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.

    Google Scholar 

  10. M. Fisher. A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation, 22(5/6), November/December 1996.

    Google Scholar 

  11. M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43–56, March 1996.

    Article  Google Scholar 

  12. M. Fisher. A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation, 7(4), August 1997.

    Google Scholar 

  13. M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of International joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, 1997.

    Google Scholar 

  14. M. Fisher. Refining Concurrent METATEM Objects. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, 1997.

    Google Scholar 

  15. M. Fisher and M. Wooldridge. A Logical Approach to the Representation of Societies of Agents. In N. Gilbert and R. Conte, editors, Artificial Societies.UCL Press, 1995.

    Google Scholar 

  16. M. Fisher and M. Wooldridge. On the Formal Specification and Verification of Multi-Agent Systems. International Journal of Cooperative Information Systems, 6(1), January 1997.

    Google Scholar 

  17. D. Gabbay, A. Pnueli, S. Shelah, and J. Stavi. The Temporal Analysis of Fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, pages 163–173, Las Vegas, Nevada, January 1980.

    Google Scholar 

  18. N. R. Jennings. Towards a cooperation knowledge level for collaborative problem solving. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pages 224–228, Vienna, Austria, 1992.

    Google Scholar 

  19. C. G. Jung. Emergent mental attitudes in layered agents. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  20. O. Lichtenstein, A. Pnueli, and L. Zuck. The Glory of the Past. Lecture Notes in Computer Science, 193:196–218, June 1985.

    Google Scholar 

  21. T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2-Proceedings of the 2nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW’ 90). Elsevier/North Holland, 1991.

    Google Scholar 

  22. J. P. Müller. The Design of Autonomous Agents — A Layered Approach. Springer-Verlag: Heidelberg, Germany, 1996. (LNAI 1177).

    Google Scholar 

  23. J. P. Müller. Control Architectures for Autonomous and Interacting Agents: A Survey. In Intelligent Agent Systems: Theoretical and Practical Issues. Springer-Verlag: Heidelberg, Germany, 1997. (Lecture Notes in AI 1209).

    Google Scholar 

  24. J. P. Müller. The right agent (architecture) to do the right thing. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  25. J. P.Müller and M. Pischel. Modelling interacting agents in dynamic environments. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 709–713, Amsterdam, The Netherlands, 1994.

    Google Scholar 

  26. M. Piaggio. HEIR — a non-hierarchical hybrid architecture for intelligent robots. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  27. A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editor, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439–449, 1992.

    Google Scholar 

  28. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall International, 1995.

    Google Scholar 

  29. R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, M1 5GD, U.K

    Michael Fisher

Authors
  1. Michael Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. John Wiley & Sons Ltd., International House, Ealing, London, W5 5DB, UK

    Jörg P. Müller

  2. Mitchell Madison Group, Level 49, 120 Collins St., Melbourne, Victoria, 3000, Australia

    Anand S. Rao

  3. Department of Computer Science, North Carolina State University, Raleigh, NC, 27695-8206, USA

    Munindar P. Singh

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fisher, M. (1999). Representing Abstract Agent Architectures. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49057-4_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-49057-4_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49057-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation