Abstract
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, presents a definition of agents and intelligent agents. The article then goes on to discuss four major approaches to building agents. First, logic based architectures are reviewed, in which decision-making is viewed as logical deduction. Second, reactive architectures are discussed, in which symbolic representations and models are eschewed in favour of a closer relationship between agent perception and action. Third, we discuss belief-desire-intention architectures, in which decision making is viewed as practical reasoning from beliefs about how the world is and will be to the options available to an agent, and finally to intentions and actions. Fourth, we review layered agent architectures, in which decision making is partitioned into a number of different decision making layers, each dealing with the agent’s environment at a different level of abstraction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Agre and D. Chapman. PENGI: An implementation of a theory of activity. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 268–272, Seattle, WA, 1987.
P. E. Agre and S. J. Rosenschein, editors. Computational Theories of Interaction and Agency. The MIT Press: Cambridge, MA, 1996.
H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: A framework for programming in temporal logic. In REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (LNCS Volume 430), pages 94–129. Springer-Verlag: Berlin, Germany, June 1989.
R. P. Bonasso, D. Kortenkamp, D. P. Miller, and M. Slack. Experiences with an architecture for intelligent, reactive agents. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 187–202. Springer-Verlag: Berlin, Germany, 1996.
M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press: Cambridge, MA, 1987.
M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.
R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, 2(1):14–23, 1986.
R. A. Brooks. Elephants don’t play chess. In P. Maes, editor, Designing Autonomous Agents, pages 3–15. The MIT Press: Cambridge, MA, 1990.
R. A. Brooks. Intelligence without reason. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 569–595, Sydney, Australia, 1991.
R. A. Brooks. Intelligence without representation. Artificial Intelligence, 47:139–159, 1991.
Oren Etzioni. Intelligence without robots. AI Magazine, 14(4), December 1993.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
J. Ferber. Reactive distributed artificial intelligence. In G. M. P. O’Hare and N. R. Jennings, editors, Foundations of Distributed Artificial Intelligence, pages 287–317. John Wiley, 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. Towards an architecture for adaptive, rational, mobile agents. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-91), pages 249–262. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1992.
I. A. Ferguson. Integrated control and coordinated behaviour: A case for agent models. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 203–218. Springer-Verlag: Berlin, Germany, January 1995.
J. A. Firby. An investigation into reactive planning in complex domains. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 202–206, Milan, Italy, 1987.
K. Fischer, J. P. Müller, and M. Pischel. A pragmatic BDI architecture. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 203–218. Springer-Verlag: Berlin, Germany, 1996.
M. Fisher. A survey of Concurrent MetateM-the language and its applications. In D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logic-Proceedings of the First International Conference (LNAI Volume 827), pages 480–505. Springer-Verlag: Berlin, Germany, July 1994.
L. Gasser and J. P. Briot. Object-based concurrent programming and DAI. In Distributed Artificial Intelligence: Theory and Praxis, pages 81–108. Kluwer Academic Publishers: Boston, MA, 1992.
M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA, 1987.
M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677–682, Seattle, WA, 1987.
M. P. Georgeff and A. S. Rao. A profile of the Australian AI Institute. IEEE Expert, 11(6):89–92, December 1996.
A. Haddadi. Communication and Cooperation in Agent Systems (LNAI Volume 1056). Springer-Verlag: Berlin, Germany, 1996.
J. Y. Halpern. Using reasoning about knowledge to analyze distributed systems. Annual Review of Computer Science, 2:37–68, 1987.
L. P. Kaelbling. An architecture for intelligent reactive systems. In M. P. Georgeff and A. L. Lansky, editors, Reasoning About Actions & Plans-Proceedings of the 1986 Workshop, pages 395–410. Morgan Kaufmann Publishers: San Mateo, CA, 1986.
L. P. Kaelbling. A situated automata approach to the design of embedded agents. SIGART Bulletin, 2(4):85–88, 1991.
L. P. Kaelbling and S. J. Rosenschein. Action and planning in embedded agents. In P. Maes, editor, Designing Autonomous Agents, pages 35–48. The MIT Press: Cambridge, MA, 1990.
D. Kinny and M. Georgeff. Commitment and effectiveness of situated agents. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 82–88, Sydney, Australia, 1991.
K. Konolige. A Deduction Model of Belief. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1986.
Y. Lésperance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. Foundations of a logical approach to agent programming. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 331–346. Springer-Verlag: Berlin, Germany, 1996.
P. Maes. The dynamics of action selection. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pages 991–997, Detroit, MI, 1989.
P. Maes, editor. Designing Autonomous Agents. The MIT Press: Cambridge, MA, 1990.
P. Maes. Situated agents can have goals. In P. Maes, editor, Designing Autonomous Agents, pages 49–70. The MIT Press: Cambridge, MA, 1990.
P. Maes. The agent network architecture (ANA). SIGART Bulletin, 2(4):115–120, 1991.
J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.
J. P. Müller. The Design of Intelligent Agents. Springer-Verlag: Berlin, Germany, 1997.
J. P. Müller, M. Pischel, and M. Thiel. Modelling reactive behaviour in vertically layered agent architectures. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 261–276. Springer-Verlag: Berlin, Germany, January 1995.
J. P. Müller, M. Wooldridge, and N. R. Jennings, editors. Intelligent Agents III (LNAI Volume 1193). Springer-Verlag: Berlin, Germany, 1995.
N. J. Nilsson. Towards agent programs with circuit semantics. Technical Report STAN-CS-92-1412, Computer Science Department, Stanford University, Stanford, CA 94305, January 1992.
A. S. Rao. Decision procedures for propositional linear-time Belief-Desire-Intention logics. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II (LNAI Volume 1037), pages 33–48. Springer-Verlag: Berlin, Germany, 1996.
A. S. Rao and M. P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 498–504, Sydney, Australia, 1991.
A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KRamp;R-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
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 (KRamp;R-92), pages 439–449, 1992.
A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pages 318–324, Chambéry, France, 1993.
A. S. Rao, M. P. Georgeff, and E. A. Sonenberg. Social plans: A preliminary report. In E. Werner and Y. Demazeau, editors, Decentralized AI 3-Proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-91), pages 57–76. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1992.
S. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–98. Morgan Kaufmann Publishers: San Mateo, CA, 1986.
S. J. Rosenschein and L. P. Kaelbling. A situated view of representation and control. In P. E. Agre and S. J. Rosenschein, editors, Computational Theories of Interaction and Agency, pages 515–540. The MIT Press: Cambridge, MA, 1996.
S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, 1995.
S. Russell and D. Subramanian. Provably bounded-optimal agents. Journal of AI Research, 2:575–609, 1995.
S. J. Russell and E. Wefald. Do the Right Thing-Studies in Limited Rationality. The MIT Press: Cambridge, MA, 1991.
M. J. Schoppers. Universal plans for reactive robots in unpredictable environments. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pages 1039–1046, Milan, Italy, 1987.
L. Steels. Cooperation between distributed agents through self organization. In Y. Demazeau and J.-P. Müller, editors, Decentralized AI-Proceedings of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-89), pages 175–196. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
M. Wooldridge. Agent-based software engineering. IEE Transactions on Software Engineering, 144(1):26–37, February 1997.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wooldridge, M. (2002). Intelligent Agents: The Key Concepts. In: MaÅ™Ãk, V., Å tÄ›pánková, O., Krautwurmová, H., Luck, M. (eds) Multi-Agent Systems and Applications II. ACAI 2001. Lecture Notes in Computer Science(), vol 2322. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45982-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-45982-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43377-4
Online ISBN: 978-3-540-45982-8
eBook Packages: Springer Book Archive