Skip to main content
×
Home
    • Aa
    • Aa

Intelligent agents: theory and practice

  • Michael Wooldridge (a1) and Nicholas R. Jennings (a2)
Abstract
Abstract

The concept of an agent has become important in both artificial intelligence (AT) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent agents. For convenience, we divide these issues into three areas (though as the reader will see, the divisions are at times somewhat arbitrary). Agent theory is concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the properties of agents. Agent architectures can be thought of as software engineering models of agents; researchers in this area are primarily concerned with the problem of designing software or hardware systems that will satisfy the properties specified by agent theorists. Finally, agent languages are software systems for programming and experimenting with agents; these languages may embody principles proposed by theorists. The paper is not intended to serve as a tutorial introduction to all the issues mentioned; we hope instead simply to identify the most important issues, and point to work that elaborates on them. The article includes a short review of current and potential applications of agent technology.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

G Adorni and A Poggi , 1993. “An object-oriented language for distributed artificial intelligenceInternational Journal of Man-Machine Studies 38 435453.

JF Allen , 1984. “Towards a general theory of action and timeArtificial Intelligence 23 (2) 123154.

J Bates , 1994. “The role of emotion in believable agentsCommunications of the ACM 37 (7) 122125.

J Bell , 1995. “Changing attitudes”. In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 4055, Springer-Verlag.

N Belnap and M Perloff , 1988. “Seeing to it that: a canonical form for agentivesTheoria 54 175199.

ME Bratman , DJ Israel and ME Pollack , 1988. “Plans and resource-bounded practical reasoningComputational Intelligence 4 349355.

RA Brooks , 1986. “A robust layered control system for a mobile robotIEEE Journal of Robotics and Automation 2 (1) 1423.

RA Brooks , 1991b. “Intelligence without representationArtificial Intelligence 47 139159.

S Bussman and Y Demazeau , 1994. “An agent model combining reactive and cognitive capabilities” In: Proceedings of the IEEE International Conference on Intelligent Robots and Systems (IROS-94), Munich,Germany.

C Castelfranchi , 1995. “Guarantees for autonomy in cognitive agent architecture” In: Wooldridge M and Jennings NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 5670, Springer-Verlag.

B Chaib-draa , B Moulin , R Mandiau and P Millot , 1992. “Trends in distributed artificial intelligenceArtificial Intelligence Review 6 3566.

E Chang , 1987. “Participant systems” In: Huhns M (ed.) Distributed Artificial Intelligence, pp 311340, Pitman.

D Chapman , 1987. “Planning for conjunctive goalsArtificial Intelligence 32 333378.

B Chellas , 1980. Modal Logic: An Introduction, Cambridge University Press.

PR Cohen and HJ Levesque , 1990a. “Intention is choice with commitmentArtificial Intelligence 42 213261.

PR Cohen and CR Perrault , 1979. “Elements of a plan based theory of speech actsCognitive Science 3 177212.

MR Cutkosky , RS Engelmore , RE Fikes , MR Genesereth , T Gruber , WS Mark , JM Tenenbaum and JC Weber , 1993. “PACT: An experiment in integrating concurrent engineering systemsIEEE Computer 26 (1) 2837.

J Downs and H Reichgelt , 1991. “Integrating classical and reactive planning within an architecture for autonomous agents” In: Hertzberg J (ed.) European Workshop on Planning (LNAI Volume 522), pp 1326.

EA Emerson and JY Halpern , 1986. “‘Sometimes’ and ‘not never’ revisited: on branching time versus linear time temporal logicJournal of the ACM 33 (1) 151178.

R Fagin , JY Halpern and MY Vardi , 1992. “What can machines know? on the properties of knowledge in distributed systemsJournal of the ACM 39 (2) 328376.

M Fisher , 1995. “Representing and executing agent-based systems” In: Wooldridge M and Jennings NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 307323, Springer-Verlag.

L Gasser , 1991. “Social conceptions of knowledge and action: DAI foundations and open systems semanticsArtificial Intelligence 47 107138.

L Gasser , C Braganza and N Hermann , 1987. “MACE: A flexible testbed for distributed Al research” In: Huhns M (ed.) Distributed Artificial Intelligence, pp 119152, Pitman.

MR Genesereth and SP Ketchpel , 1994. “Software agentsCommunications of the ACM 37 (7) 4853.

MP Georgeff , 1987. “PlanningAnnual Review of Computer Science 2 359400.

I Greif , 1994. “Desktop agents in group-enabled productsCommunications of the ACM 37 (7) 100105.

RV Guha and DB Lenat , 1994. “Enabling agents to work togetherCommunications of the ACM 37 (7) 127142.

A Haas , 1986. “A syntactic theory of belief and knowledgeArtificial Intelligence 28 (3) 245292.

JY Halpern , 1987. “Using reasoning about knowledge to analyze distributed systemsAnnual Review of Computer Science 2 3768.

JY Halpern and Y Moses , 1992. “A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence 54 319379.

JY Halpern and MY Vardi , 1989. “The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences 38 195237.

B Hayes-Roth , 1990. “Architectural foundations for real-time performance in intelligent agentsThe Journal of Real-Time Systems 2 99125.

C Hewitt , 1977. “Viewing control structures as patterns of passing messagesArtificial Intelligence 8 (3) 323364.

J Huang , NR Jennings and J Fox , 1995. “An agent architecture for distributed medical care” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 219232, Springer-Verlag.

NR Jennings , 1993a. “Commitments and conventions: The foundation of coordination in multi-agent systemsKnowledge Engineering Review 8 (3) 223250.

NR Jennings , 1993b. “Specification and implementation of a belief desire joint-intention architecture for collaborative problem solvingJournal of Intelligent and Cooperative Information Systems 2 (3) 289318.

NR Jennings , LZ Varga , RP Aarnts , J Fuchs and P Skarek , 1993. “Transforming standalone expert systems into a community of cooperating agentsInternational Journal of Engineering Applications of Artificial Intelligence 6 (4) 317331.

LP Kaelbling , 1991. “A situated automata approach to the design of embedded agentsSIGART Bulletin 2 (4) 8588.

S Kraus and D Lehmann (1988) “Knowledge, belief and timeTheoretical Computer Science 58 155174.

S Kripke , 1963. “Semantical analysis of modal logicZeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 6796.

P Maes , 1991. “The agent network architecture (ANA)SIGART Bulletin 2 (4) 115120.

P Maes , 1994a. “Agents that reduce work and information overloadCommunications of the ACM 37 (7) 3140.

FG McCabe and KL Clark , 1995. “April—agent process interaction language” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 324340, Springer-Verlag.

U Mukhopadhyay , L Stephens and M Huhns , 1986. “An intelligent system for document retrieval in distributed office environmentsJournal of the American Society for Information Science 37 123135.

JP Müller , M Pischel and M Thiel , 1995. “Modelling reactive behaviour in vertically layered agent architectures” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 261276, Springer-Verlag.

A Newell and HA Simon , 1976. “Computer science as empirical enquiryCommunications of the ACM 19 113126.

TJ Norman and D Long , 1995. “Goal creation in motivated agents” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 277290, Springer-Verlag.

MP Papazoglou , SC Laufman and TK Sellis , 1992. “An organizational framework for cooperating intelligent information systemsJournal of Intelligent and Cooperative Information Systems 1 (1) 169202.

D Perlis , 1985. “Languages with self reference I: FoundationsArtificial Intelligence 25 301322.

D Perlis , 1988. “Languages with self reference II: Knowledge, belief, and modalityArtificial Intelligence 34 179212.

M Perloff , 1991. “STIT and the language of agencySynthese 86 379408.

A Poggi , 1995. “DAISY: An object-oriented system for distributed artificial intelligence” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 341354, Springer-Verlag.

H Reichgelt , 1989b. “Logics for reasoning about knowledge and beliefKnowledge Engineering Review 4 (2) 119139.

E Sacerdoti , 1974. “Planning in a hierarchy of abstraction spacesArtificial Intelligence 5 115135.

JR Searle , 1969. Speech Acts: An Essay in the Philosophy of Language, Cambridge University Press.

Y Shoham , 1993. “Agent-oriented programmingArtificial Intelligence 60 (1) 5192.

SR Thomas , Y Shoham , A Schwartz and S Kraus , 1991. “Preliminary thoughts on an agent description languageInternational Journal of intelligent Systems 6 497508.

R Thomason , 1980. “A note on syntactical treatments of modalitySynthese 44 391395.

LZ Varga , NR Jennings and D Cockburn , 1994. “Integrating intelligent systems into a cooperating community for electricity distribution managementInternational Journal of Expert Systems with Applications 7 (4) 563579.

S Vere and T Bickmore , 1990. “A basic agentComputational Intelligence 6 4160.

P Wavish and M Graham , 1995. “Role, skills, and behaviour: a situated action approach to organising systems of interacting agents” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 371385, Springer-Verlag.

D Weerasooriya , A Rao and K Ramamohanarao , 1995. “Design of a concurrent agent-oriented language” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 386402, Springer-Verlag.

M Wooldridge , 1995. “This is MYWORLD: The logic of an agent-oriented testbed for DAI” In: M Wooldridge and NR Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 160178, Springer-Verlag.

A Yonezawa (ed.) 1990. ABCL—An Object-Oriented Concurrent System, MIT Press.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Knowledge Engineering Review
  • ISSN: 0269-8889
  • EISSN: 1469-8005
  • URL: /core/journals/knowledge-engineering-review
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 351 *
Loading metrics...

Abstract views

Total abstract views: 2902 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st September 2017. This data will be updated every 24 hours.