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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. METATEM: An Introduction. Formal Aspects of Computing, 7(5):533–549, 1995.
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.
R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14–23, 1986.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1996.
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).
I. A. Ferguson. TouringMachines: Autonomous Agents with Attitudes. Technical Report 250, Computer Laboratory, University of Cambridge, Cambridge, U.K., April 1992.
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).
M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. Springer-Verlag, 1995.
M. Fisher. A Temporal Semantics for Concurrent METATEM. Journal of Symbolic Computation, 22(5/6), November/December 1996.
M. Fisher. An Introduction to Executable Temporal Logics. Knowledge Engineering Review, 11(1):43–56, March 1996.
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.
M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of International joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, 1997.
M. Fisher. Refining Concurrent METATEM Objects. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, 1997.
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.
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.
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.
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.
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.
O. Lichtenstein, A. Pnueli, and L. Zuck. The Glory of the Past. Lecture Notes in Computer Science, 193:196–218, June 1985.
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.
J. P. Müller. The Design of Autonomous Agents — A Layered Approach. Springer-Verlag: Heidelberg, Germany, 1996. (LNAI 1177).
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).
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.
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.
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.
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.
S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall International, 1995.
R. G. Smith. A Framework for Distributed Problem Solving. UMI Research Press, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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