On the sources of complexity in agent design

This article addresses the question of what makes agent design hard. This is a fundamental issue not just for the intelligent agents community, but also for the computer science and software engineering communities in general. The article begins by presenting a simple, informal model of agents and their environments, and then uses this model to frame a discussion on the sources of complexity in agent design. Three key sources of complexity are identified: the agent's environment, the nature of interaction between agent and environment, and the nature of the specification or task for the agent. Following this discussion, the article presents a simple formal model of agents and their environments, which is capable of representing many of these sources of complexity. Using the formal model, a number of stereotypical agent design problems are defined. The article concludes with a discussion of related work and issues.

[1]  Amir Pnueli,et al.  On the synthesis of a reactive module , 1989, POPL '89.

[2]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[3]  C. Butler,et al.  An experiment in cooperation. , 1969, Nursing outlook.

[4]  Michael Wooldridge,et al.  Intention Reconsideration Reconsidered , 1998, ATAL.

[5]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[6]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[7]  Stuart J. Russell.  Rationality and Intelligence , 1995, IJCAI.

[8]  James A. Hendler,et al.  Readings in Planning , 1994 .

[9]  Jim Blythe,et al.  An Overview of Planning Under Certainty , 1999, Artificial Intelligence Today.

[10]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[11]  Jörg P. Müller,et al.  The Right Agent (Architecture) to do the Right Thing , 1998, ATAL.

[12]  Martha E. Pollack,et al.  Introducing the Tileworld: Experimentally Evaluating Agent Architectures , 1990, AAAI.

[13]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[14]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[15]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[16]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[17]  Leslie Pack Kaelbling,et al.  Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..

[18]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[19]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[20]  Carl Hewitt,et al.  Offices are open systems , 1986, TOIS.

[21]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[22]  Leslie Pack Kaelbling,et al.  An Architecture for Intelligent Reactive Systems , 1987 .

[23]  Nicholas R. Jennings,et al.  Agent-Based Computing: Promise and Perils , 1999, IJCAI.

[24]  Moshe Tennenholtz,et al.  On Cooperation in a Multi-Entity Model , 1989, IJCAI.

[25]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[26]  Devika Subramanian,et al.  Provably Bounded Optimal Agents , 1993, IJCAI.