Skip to main content
×
×
Home

Intelligent agents: theory and practice

  • Michael Wooldridge (a1) and Nicholas R. Jennings (a2)
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
References
Hide All
Adorni, G and Poggi, A, 1993. “An object-oriented language for distributed artificial intelligenceInternational Journal of Man-Machine Studies 38 435453.
Agha, G, 1986. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press.
Agha, G, Wegner, P and Yonezawa, A (eds.), 1993. Research Directions in Concurrent Object-Oriented Programming. MIT Press.
Agre, P and Chapman, D, 1987. “PENGI: An implementation of a theory of activity” In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pp 268272, Seattle, WA.
Allen, JF, 1984. “Towards a general theory of action and timeArtificial Intelligence 23 (2) 123154.
Allen, JF, Hendler, J and Tate, A (eds.), 1990. Readings in Planning. Morgan Kaufmann.
Allen, JF, Kautz, H, Pelavin, R and Tenenberg, J, 1991. Reasoning About Plans. Morgan Kaufmann.
Ambros-Ingerson, J and Steel, S, 1988. “Integrating planning, execution and monitoring” In: Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pp 8388, St. Paul, MN.
Austin, JL, 1962. How to Do Things With Words. Oxford University Press.
Aylett, R and Eustace, D, 1994. “Multiple cooperating robots—combining planning and behaviours” In: Deen, SM (ed) Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pp 311. DAKE Centre, University of Keele, UK.
Baecker, RM (ed.) 1993. Readings in Groupware and Computer-Supported Cooperative Work. Morgan Kaufmann.
Barringer, H, Fisher, M, Gabbay, D, Gough, G and Owens, R, 1989. “MetateM: A framework for programming in temporal logic” In: REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (LNCS Volume 430) pp 94129. Springer-Verlag.
Barwise, J and Perry, J, 1983. Situations and Attitudes, MIT Press.
Bates, J, 1994. “The role of emotion in believable agentsCommunications of the ACM 37 (7) 122125.
Bates, J, Bryan, Loyall A and ScottReilly, W Reilly, W, 1992a. “An architecture for action, motion, and social behaviour”. Technical Report CMU-CS-92–144, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.
Bates, J, Bryan, Loyall A and Scott, Reilly W, 1992b. “Integrating reactivity, goals, and emotion in a broad agent”. Technical Report CMU-CS-92–142, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.
Bell, J, 1995. “Changing attitudes”. In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 4055, Springer-Verlag.
Belnap, N, 1991. “Backwards and forwards in the modal logic of agencyPhilosophy and Phenomenological Research LI (4) 777807.
Belnap, N and Perloff, M, 1988. “Seeing to it that: a canonical form for agentivesTheoria 54 175199.
Bond, AH and Gasser, L (eds.) 1988. Readings in Distributed Artificial Intelligence, Morgan Kaufmann.
Bratman, ME, 1987. Intentions, Plans, and Practical Reason, Harvard University Press.
Bratman, ME, 1990. “What is intention?” In: Cohen, PR, Morgan, JL and Pollack, ME (eds.) Intentions in Communication, pp 1532, MIT Press.
Bratman, ME, Israel, DJ and Pollack, ME, 1988. “Plans and resource-bounded practical reasoningComputational Intelligence 4 349355.
Brooks, RA, 1986. “A robust layered control system for a mobile robotIEEE Journal of Robotics and Automation 2 (1) 1423.
Brooks, RA, 1990. “Elephants don't play chess” In: P, Maes (ed.) Designing Autonomous Agents, pp 315, MIT Press.
Brooks, RA, 1991a. “Intelligence without reason” In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp 569595, Sydney, Australia.
Brooks, RA, 1991b. “Intelligence without representationArtificial Intelligence 47 139159.
Burmeister, B and Sundermeyer, K, 1992. “Cooperative problem solving guided by intentions and perception” In: E, Werner and Y, Demazeau (eds.) Decentralized Al 3–Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMA W-91), pp 7792, Elsevier.
Bussman, S and Demazeau, Y, 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.
Castelfranchi, C, 1990. “Social power” In: Y, Demazeau and Muller, J-P (eds.) Decentralized Al—Proceedings of the First European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW89), pp 4962, Elsevier.
Castelfranchi, C, 1995. “Guarantees for autonomy in cognitive agent architecture” In:M, Wooldridge and NR, Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 5670, Springer-Verlag.
Castelfranchi, C, Miceli, M and Cesta, A, 1992. “Dependence relations among autonomous agents” In: E, Werner and Y, Demazeau (eds.) Decentralized AI 3–Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pp 215231, Elsevier.
Catach, L, 1988. “Normal multimodal logics” In: Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), pp 491495, St. Paul, MN.
Chaib-draa, B, Moulin, B, Mandiau, R and Millot, P, 1992. “Trends in distributed artificial intelligenceArtificial Intelligence Review 6 3566.
Chang, E, 1987. “Participant systems” In: M, Huhns (ed.) Distributed Artificial Intelligence, pp 311340, Pitman.
Chapman, D, 1987. “Planning for conjunctive goalsArtificial Intelligence 32 333378.
Chapman, D and Agre, P, 1986. “Abstract reasoning as emergent from concrete activity” In: Georgeff, MP and Lansky, AL (eds.) ReasoningAboutActions & Plans—Proceedings of the 1986 Workshop pp 411424, Morgan Kaufmann.
Chellas, B, 1980. Modal Logic: An Introduction, Cambridge University Press.
Chu, D, 1993. “IC. PROLOG II: A language for implementing multi-agent systems” In: SM, Deen (ed.) Proceedings of the 1992 Workshop on Cooperating Knowledge Based Systems (CKBS-92), pp 6174, DAKE Centre, University of Keele, UK.
Cohen, PR, Greenberg, ML, Hart, DM and Howe, AE, 1989. “Trial by fire: Understanding the design requirements for agents in complex environmentsAl Magazine 10 (3) 3248.
Cohen, PR and Levesque, HJ, 1990a. “Intention is choice with commitmentArtificial Intelligence 42 213261.
Cohen, PR and Levesque, HJ, 1990b. “Rational interaction as the basis for communication” In: Cohen, PRMorgan, J and Pollack, ME (eds.) Intentions in Communication, pp 221256, MIT Press.
Cohen, PR and Perrault, CR, 1979. “Elements of a plan based theory of speech actsCognitive Science 3 177212.
Connah, D and Wavish, P, 1990. “An experiment in cooperation” In: Demazeau, Y and Muller, J-P (eds.) Decentralized Al–Proceedings of the First European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-89), pp 197214, Elsevier.
Cutkosky, MR, Engelmore, RS, Fikes, RE, Genesereth, MR, Gruber, T, Mark, WS, Tenenbaum, JM and Weber, JC, 1993. “PACT: An experiment in integrating concurrent engineering systemsIEEE Computer 26 (1) 2837.
Davies, NJ, 1993. Truth, Modality, and Action, PhD thesis, Department of Computer Science, University of Essex, Coichester, UK.
Dean, TL and Weilman, MP, 1991. Planning and Control, Morgan Kaufmann.
Dennett, DC, 1978. Brainstorms, MIT Press.
Dennett, DC, 1987. The Intentional Stance, MIT Press.
des, Rivieres J and Levesque, HJ, 1986. “The consistency of syntactical treatments of knowledge” In: Halpern, JY (ed.) Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pp 115130, Morgan Kaufmann.
Devlin, K, 1991. Logic and Information, Cambridge University Press.
Dongha, P, 1995 “Toward a formal model of commitment for resource-bounded agents” In: M, Wooldridge and NR, Jennings (eds.) IntelligentAgents: Theories, Architectures, and Languages (LNA1 Volume 890), pp 86101, Springer-Verlag.
Downs, J and Reichgelt, H, 1991. “Integrating classical and reactive planning within an architecture for autonomous agents” In: J, Hertzberg (ed.) European Workshop on Planning (LNAI Volume 522), pp 1326.
Doyle, J, Shoham, Y and Weliman, MP, 1991. “A logic of relative desire” In: ZW, Ras and M, Zemankova (eds.) Methodologies for Intelligent Systems–Sixth International Symposium, ISMIS-91 (LNAI Volume 542), Springer-Verlag.
Emerson, EA, 1990. “Temporal and modal logic” In: J van, Leeuwen (ed.) Handbook of Theoretical Computer Science. pp 9961072. Elsevier.
Emerson, EA and Halpern, JY, 1986. “‘Sometimes’ and ‘not never’ revisited: on branching time versus linear time temporal logicJournal of the ACM 33 (1) 151178.
Etzioni, O, Lesh, N and Segal, R, 1994. “Building softbots for UNIX” In: Etzioni, O (ed.) Software Agents—Papers from the 1994 Spring Symposium (Technical Report SS-94–03), pp 916, AAAI Press.
Fagin, R and Halpern, JY, 1985. “Belief, awareness, and limited reasoning” In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJ CA 1–85), pp 480490, Los Angeles, CA.
Fagin, R, Halpern, JY and Vardi, MY, 1992. “What can machines know? on the properties of knowledge in distributed systemsJournal of the ACM 39 (2) 328376.
Ferguson, IA, 1992a. Touring Machines: An Architecture for Dynamic, Rational, Mobile Agents, PhD thesis, Clare Hall, University of Cambridge, UK. (Also available as Technical Report No. 273, University of Cambridge Computer Laboratory.)
Ferguson, IA, 1992b. “Towards an architecture for adaptive, rational, mobile agents” In: E, Werner and Y, Demazeau (eds.) Decentralized Al 3—Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pp 249262, Elsevier.
Fikes, RE and Nilsson, N, 1971. “STRIPS: A new approach to the application of theorem proving to problem solvingArtificial Intelligence 5 (2) 189208.
Firby, JA, 1987. “An investigation into reactive planning in complex domains” In: Proceedings of the Tenth internatjonal joint Conference on Artificial Intelligence (IJCA 1–8 7), pp 202206, Milan, Italy.
Fischer, K, Kuhn, N, Muller, HJ, Muller, JP and Pischel, M, 1993. “Sophisticated and distributed: The transportation domain” In: Proceedings of the Fifth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-93), Neuchatel, Switzerland.
Fisher, M, 1994. “A survey of Concurrent MetateM—the language and its applications” In: DM, Gabbay and HJ, Ohibach (eds.) Temporal Logic—Proceedings of the First International Conference (LNAI Volume 827), pp 480505, Springer-Verlag.
Fisher, M, 1995. “Representing and executing agent-based systems” In: M, Wooldridge and NR, Jennings (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 307323, Springer-Verlag.
Fisher, M and Wooldridge, M, 1993. “Specifying and verifying distributed intelligent systems” In: M, Filgueiras and L, Damas (eds.) Progress in Artificial Intelligence–Sixth Portuguese Conference on Artificial Intelligence (LNAI Volume 727), pp 1328, Springer-Verlag.
Galliers, JR, 1988a. “A strategic framework for multi-agent cooperative dialogue” In: Proceedings of the Eighth European Conference on Artificial Intelligence (ECAI-88), pp 415420, Munich, Germany.
Galliers, JR, 1988b. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict, PhD thesis, Open University, UK.
Gasser, L, 1991. “Social conceptions of knowledge and action: DAI foundations and open systems semanticsArtificial Intelligence 47 107138.
Gasser, L, Braganza, C and Hermann, N, 1987. “MACE: A flexible testbed for distributed Al research” In: M, Huhns (ed.) Distributed Artificial Intelligence, pp 119152, Pitman.
Gasser, L and Briot, JP, 1992. “Object-based concurrent programming and DAI” In: Distributed Artificial Intelligence: Theory and Praxis, pp 81108, Kluwer Academic.
Geissler, C and Konolige, K, 1986. “A resolution method for quantified modal logics of knowledge and belief” In: JY, Halpern (ed.) Proceedings of the 1986 Conference on TheoreticalAspects of Reasoning About Knowledge, pp 309324, Morgan Kaufmann.
Genesereth, MR and Ketchpel, SP, 1994. “Software agentsCommunications of the ACM 37 (7) 4853.
Genesereth, MR and Nilsson, N, 1987. Logical Foundations of Artificial Intelligence, Morgan Kaufmann.
Georgeff, MP, 1987. “PlanningAnnual Review of Computer Science 2 359400.
Georgeff, MP and lngrand, FF, 1989. “Decision-making in an embedded reasoning system” In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJC'AI-89), pp 972978, Detroit, Ml.
Georgeff, MP and Lansky, AL (eds.) 1986. Reasoning About Actions & Plans–Proceedings of the 1986 Workshop, Morgan Kaufmann.
Georgcff, MP and Lansky, AL, 1987. “Reactive reasoning and planning” In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pp 677682, Seattle, WA.
Ginsberg, M, 1993. Essentials of Artificial bitelligence, Morgan Kaufmann.
Grnytrasicwicz, P and Durfee, EH, 1993. “Elements of a utilitarian theory of knowledge and action” In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pp 396402, Chambéry, France.
Goldblatt, R, 1987. Logics of Time and Computation, Centre for the Study of Language and Information– Lecture Notes Series. (Distributed by Chicago University Press.)
Goldman, RP and Lang, RR, 1991. “Intentions in time”, Technical Report TUTR 93–101, Tulane University.
Goodwin, R, 1993. “Formalizing properties of agents”, Technical Report CMU-CS-93–159, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.
Greif, I, 1994. “Desktop agents in group-enabled productsCommunications of the ACM 37 (7) 100105.
Grosz, BJ and Sidner, CL, 1990. “Plans for discourse” In: PR, Cohen, J, Morgan and ME, Pollack (eds.) Intentions in Communication, pp 417444, MIT Press.
Gruber, TR, 1991. “The role of common ontology in achieving sharable, reusable knowledge bases” In: R, Fikes and E, Sandewall (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R-91), Morgan Kaufrnann.
Guha, RV and Lenat, DB, 1994. “Enabling agents to work togetherCommunications of the ACM 37 (7) 127142.
Haas, A, 1986. “A syntactic theory of belief and knowledgeArtificial Intelligence 28 (3) 245292.
Haddadi, A, 1994. “A hybrid architecture for multi-agent systems” In: Deen, SM (ed.) Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pp 1326, DAKE Centre, University of Keele, UK.
Halpern, JY, 1986. “Reasoning about knowledge: An overview” In: Halpern, JY (ed.) Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pp 118, Morgan Kaufmann.
Halpern, JY, 1987. “Using reasoning about knowledge to analyze distributed systemsAnnual Review of Computer Science 2 3768.
Halpern, JY and Moses, Y, 1992. “A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence 54 319379.
Halpern, JY and Vardi, MY, 1989. “The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences 38 195237.
Harel, D, 1984. “Dynamic logic” In: Gabbay, D and Guenther, F (eds.) Handbook of Philosophical Logic Volume II—Extensions of Classical Logic, pp 497604, Reidel.
Haugeneder, H, 1994. IMAGINE final project report.
Haugeneder, H and Steiner, D, 1994. “A multi-agent approach to cooperation in urban traffic” In: Deen, SM (ed.) Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pp 8398, DAKE Centre, University of Keele, UK.
Haugeneder, H, Steiner, D and McCabe, FG, 1994. “IMAGINE: A framework for building multi-agent systems” In: Deen, SM (ed.) Proceedings of the 1994 International Working Conference on Cooperating Knowledge Based Systems (CKBS-94), pp 3164, DAKE Centre, University of Keele, UK.
Hayes-Roth, B, 1990. “Architectural foundations for real-time performance in intelligent agentsThe Journal of Real-Time Systems 2 99125.
Hendler, J (ed.) 1992. Artificial Intelligence Planning: Proceedings of the First International Conference, Morgan Kaufmann.
Henz, M, Smolka, G and Wuertz, J, 1993. “Oz—a programming language for multi-agent systems” In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pp 404409, Chambéry, France.
Hewitt, C, 1977. “Viewing control structures as patterns of passing messagesArtificial Intelligence 8 (3) 323364.
Hintikka, J, 1962. Knowledge and Belief, Cornell University Press.
Houlder, V, 1994. “Special agents” In: Financial Times, 15 08, p 12.
Huang, J, Jennings, NR and Fox, J, 1995. “An agent architecture for distributed medical care” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 219232, Springer-Verlag.
Hughes, GE and Cresswell, MJ, 1968. Introduction to Modal Logic, Methuen.
Huhns, MN, Jacobs, N, Ksiezyk, T, Shen, WM, Singh, MP and Cannata, PE, 1992. “Integrating enterprise information models in Carnot” In: Proceedings of the International Conference on Intelligent and Cooperative Information Systems, pp 3242, Rotterdam, The Netherlands.
Israel, DJ, 1993. “The role(s) of logic in artificial intelligence” In: Gabbay, DM, Hogger, CJ and Robinson, JA (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, pp 129, Oxford University Press.
Jennings, NR, 1992. “On being responsible” In: Werner, E and Demazeau, Y (eds.) Decentralized Al 3— Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pp 93102, Elsevier.
Jennings, NR, 1993a. “Commitments and conventions: The foundation of coordination in multi-agent systemsKnowledge Engineering Review 8 (3) 223250.
Jennings, NR, 1993b. “Specification and implementation of a belief desire joint-intention architecture for collaborative problem solvingJournal of Intelligent and Cooperative Information Systems 2 (3) 289318.
Jennings, NR, 1995. “Controlling cooperative problem solving in industrial multi-agent systems using joint intentionsArtificial Intelligence 74 (2) (to appear).
Jennings, NR, Varga, LZ, Aarnts, RP, Fuchs, J and Skarek, P, 1993. “Transforming standalone expert systems into a community of cooperating agentsInternational Journal of Engineering Applications of Artificial Intelligence 6 (4) 317331.
Kaelbling, LP, 1986. “An architecture for intelligent reactive systems” In: Georgeff, MP and Lansky, AL (eds.) Reasoning About Actions and Plans—Proceeding of the 1986 Workshop, pp 395410, Morgan Kaufmann.
Kaelbling, LP, 1991. “A situated automata approach to the design of embedded agentsSIGART Bulletin 2 (4) 8588.
Kaelbling, LP and Rosenschein, SJ, 1990. “Action and planning in embedded agents” In: Maes, P (ed.) Designing Autonomous Agents, pp 3548, MIT Press.
Kinny, D, Ljungberg, M, Rao, AS, Sonenberg, E, Tidhar, G and Werner, E, 1992. “Planned team activity” In: Castelfranchi, C and Werner, E (eds.) Artificial Social Systems—Selected Papers from the Fourth European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds, MAAAMAW-92 (LNAI Volume 830), pp 226256, Springer-Verlag.
Kiss, O and Reichgelt, H, 1992. “Towards a semantics of desires” In: Werner, E and Demazeau, Y (eds.) Decentralized Al 3—Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pp 115128, Elsevier.
Konolige, K, 1982. “A first-order formalization of knowledge and action for a multi-agent planning system” In: Hayes, JE, Michie, D and Pao, Y (eds.) Machine Intelligence 10, pp 4172, Ellis Horwood.
Konolige, K, 1986a. A Deduction Model of Belief, Pitman.
Konolige, K, 1986b. “What awareness isn't: A sentential view of implicit and explicit belief (position paper)” In: Halpern, JY (ed.) Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pp 241250, Morgan Kaufmann.
Konolige, K and Pollack, ME, 1993. “A representationalist theory of intention” In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), pp 390395, Chambéry, France.
Kraus, S and Lehmann, D (1988) “Knowledge, belief and timeTheoretical Computer Science 58 155174.
Kripke, S, 1963. “Semantical analysis of modal logicZeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 6796.
Lakemeyer, G, 1991. “A computationally attractive first-order logic of belief” In: JELIA-90: Proceedings of the European Workshop on Logics in Al (LNAI Volume 478), pp 333347, Springer-Verlag.
Lespérance, Y, 1989. “A formal account of self knowledge and action” In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp 868874, Detroit, MI.
Levesque, HJ, 1984. “A logic of implicit and explicit belief” In: Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI-84), pp 198202, Austin, TX.
Levesque, HJ, Cohen, PR and Nunes, JHT, 1990. “On acting together” In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAA1–90), pp 9499, Boston, MA.
Levy, AY, Sagiv, Y and Srivastava, D, 1994. “Towards efficient information gathering agents” In: Etzioni, O (ed.) Software Agents—Papers from the 1994 Spring Symposium (Technical Report SS-94–03), pp 6470, AAAI Press.
Mack, D, 1994. “A new formal model of belief” In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pp 573577, Amsterdam, The Netherlands.
Maes, P, 1989. “The dynamics of action selection” In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp 991997, Detroit, MI.
Maes, P (ed.) 1990a. Designing Autonomous Agents, MIT Press.
Maes, P, 1990b. “Situated agents can have goals” In: Maes, P (ed.) Designing Autonomous Agents, pp 4970, MIT Press.
Maes, P, 1991. “The agent network architecture (ANA)SIGART Bulletin 2 (4) 115120.
Maes, P, 1994a. “Agents that reduce work and information overloadCommunications of the ACM 37 (7) 3140.
Maes, P, 1994b. “Social interface agents: Acquiring competence by learning from users and other agents” In: Etzioni, O (ed.) Software Agents—Papers from the 1994 Spring Symposium (Technical Report SS-94–03), pp 7178, AAAI Press.
McCabe, FG and Clark, KL, 1995. “April—agent process interaction language” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 324340, Springer-Verlag.
McCarthy, J, 1978. “Ascribing mental qualities to machines.” Technical report, Stanford University Al Lab., Stanford, CA 94305.
McGregor, SL, 1992. “Prescient agents” In: Coleman, D (ed.) Proceedings of Groupware-92, pp 228230.
Montague, R, 1963. “Syntactical treatments of modality, with corollaries on refiexion principles and finite axiomatizationsActa Philosophica Fennica 16 153167.
Moore, RC, 1990. “A formal theory of knowledge and action” In: Allen, JF, Hendler, J and Tate, A (eds.) Readings in Planning, pp 480519, Morgan Kaufmann.
Morgenstern, L, 1987. “Knowledge preconditions for actions and plans” In: Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pp 867874, Milan, Italy.
Mori, K, Torikoshi, H, Nakai, K and Masuda, T, 1988. “Computer control system for iron and steel plantsHitachi Review 37 (4) 251258.
Morley, RE and Schelberg, C, 1993. “An analysis of a plant-specific dynamic scheduler” In: Proceedings of the NSF Workshop on Dynamic Scheduling, Cocoa Beach, Florida.
Mukhopadhyay, U, Stephens, L and Huhns, M, 1986. “An intelligent system for document retrieval in distributed office environmentsJournal of the American Society for Information Science 37 123135.
Müller, JP, 1994. “A conceptual model for agent interaction” In: Deen, SM (ed.) Proceedings of the Second International Working Conference on Cooperating Knowledge Based Systems (CKBS-94), pp 213234, DAKE Centre, University of Keele, UK.
Muller, JP and Pischel, M, 1994. “Modelling interacting agents in dynamic environments” In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pp 709713, Amsterdam, The Netherlands.
Müller, JP, Pischel, M and Thiel, M, 1995. “Modelling reactive behaviour in vertically layered agent architectures” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 261276, Springer-Verlag.
Newell, A and Simon, HA, 1976. “Computer science as empirical enquiryCommunications of the ACM 19 113126.
Nilsson, NJ, 1992. “Towards agent programs with circuit semantics”, Technical Report STAN-CS-92–1412, Computer Science Department, Stanford University, Stanford, CA 94305.
Norman, TJ and Long, D, 1995. “Goal creation in motivated agents” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 277290, Springer-Verlag.
Papazoglou, MP, Laufman, SC and Sellis, TK, 1992. “An organizational framework for cooperating intelligent information systemsJournal of Intelligent and Cooperative Information Systems 1 (1) 169202.
Parunak, HVD, 1995. “Applications of distributed artificial intelligence in industry” In: GMP, O'Hare and Jennings, NR (eds.) Foundations of Distributed Al, John Wiley.
Patil, RS, Fikes, RE, Patel-Schneider, PF, McKay, D, Finin, T, Gruber, T and Neches, R, 1992. “The DARPA knowledge sharing effort: Progress report” In: Rich, C, Swartout, W and Nebel, B (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R-92), pp 777788.
Perlis, D, 1985. “Languages with self reference I: FoundationsArtificial Intelligence 25 301322.
Perlis, D, 1988. “Languages with self reference II: Knowledge, belief, and modalityArtificial Intelligence 34 179212.
Perloff, M, 1991. “STIT and the language of agencySynthese 86 379408.
Poggi, A, 1995. “DAISY: An object-oriented system for distributed artificial intelligence” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 341354, Springer-Verlag.
Pollack, ME and Ringuette, M, 1990. “Introducing the Tileworid: Experimentally evaluating agent architectures” In: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), pp 183189, Boston, MA.
Rao, AS and Georgeff, MP, 1991a. “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), pp 498504, Sydney, Australia.
Rao, AS and Georgeff, MP, 1991b. “Modeling rational agents within a BDI-architecture” In: Fikes, R and Sandewall, E (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R–91), pp 473484, Morgan Kaufmann.
Rao, AS and Georgeff, MP, 1992a. “An abstract architecture for rational agents” In: Rich, C, Swartout, W and Nebel, B (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R-92), pp 439449.
Rao, AS and Georgeff, MP, 1992b. “Social plans: Preliminary report” In: Werner, E and Demazeau, Y (eds.) Decentralized AI 3—Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pp 5776, Elsevier.
Rao, AS and Georgeff, MP, 1993. “A model-theoretic approach to the verification of situated reasoning systems” In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI93), pp 318324, Chambéry, France.
Reichgelt, H, 1989a “A comparison of first-order and modal logics of time” In: Jackson, P, Reichgelt, H and van Harmelen, F (eds.) Logic Based Knowledge Representation, pp 143176, MIT Press.
Reichgelt, H, 1989b. “Logics for reasoning about knowledge and beliefKnowledge Engineering Review 4 (2) 119139.
Rosenschein, JS and Genesereth, MR, 1985. “Deals among rational agents” In: Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85), pp 9199, Los Angeles, CA.
Rosenschein, S, 1985. “Formal theories of knowledge in AI and robotics” New Generation Computing, pp 345357.
Rosenschein, S and Kaelbling, LP, 1986. “The synthesis of digital machines with provable epistemic properties” In: Halpern, JY (ed.) Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pp 8398, Morgan Kaufmann.
Russell, SJ and Wefald, E, 1991. Do the Right Thing—Studies in Limited Rationality, MIT Press.
Sacerdoti, E, 1974. “Planning in a hierarchy of abstraction spacesArtificial Intelligence 5 115135.
Sacerdoti, E, 1975. “The non-linear nature of plans” In: Proceedings of the Fourth International Joint Conference on Artificial Intelligence (IJCAI-75), pp 206214, Stanford, CA.
Sadek, MD, 1992. “A study in the logic of intention” In: Rich, C, Swartout, W and Nebel, B (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R-92), pp 462473.
Sargent, P, 1992. “Back to school for a brand new ABC” In: The Guardian, 12 03, p 28.
Schoppers, MJ, 1987. “Universal plans for reactive robots in unpredictable environments” In: Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87), pp 10391046, Milan, Italy.
Schwuttke, UM, and Quan, AG, 1993. “Enhancing performance of cooperating agents in real-time diagnostic systems” In: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI93), pp 332337, Chambéry, France.
Searle, JR, 1969. Speech Acts: An Essay in the Philosophy of Language, Cambridge University Press.
Seel, N, 1989. Agent Theories and Architectures, PhD thesis, Surrey University, Guildford, UK.
Segcrberg, K, 1989. “Bringing it aboutJournal of Philosophical Logic 18 327347.
Shardlow, N, 1990. “Action and agency in cognitive science”, Master's thesis, Department of Psychology, University of Manchester, Oxford Road, Manchester M13 9PL, UK.
Shoham, Y, 1988. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence, MIT Press.
Shoham, Y, 1989. “Time for action: on the relation between time, knowledge and action” In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp 954959, Detroit, MI.
Shoham, Y, 1990. “Agent-oriented programming”, Technical Report STAN-CS-1335–90, Computer Science Department, Stanford University, Stanford, CA 94305.
Shoham, Y, 1993. “Agent-oriented programmingArtificial Intelligence 60 (1) 5192.
Singh, MP, 1990a. “Group intentions” In: Proceedings of the Tenth International Workshop on Distributed Artificial Intelligence (IWDAI-90).
Singh, MP, 1990b. “Towards a theory of situated know-how” In: Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pp 604609, Stockholm, Sweden.
Singh, MP, 1991a. “Group ability and structure” In: Demazeau, Y and Müller, JP (eds.) Decentralized A12— Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-90), pp 127146, Elsevier.
Singh, MP, 1991b “Towards a formal theory of communication for multi-agent systems” In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp 6974, Sydney, Australia.
Singh, MP, 1992. “A critical examination of the Cohen–Levesque theory of intention” In: Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pp 364368, Vienna, Austria.
Singh, MP, 1994. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799), Springer-Verlag.
Singh, MP and Asher, NM, 1991. “Towards a formal theory of intentions” In: Logics in Al—Proceedings of the European Workshop JELIA-90 (LNAI Volume 478), pp 472486, Springer-Verlag.
Smith, RG, 1980. A Framework for Distributed Problem Solving, UMI Research Press.
Steeb, R, Cammarata, S, Hayes-Roth, FA, Thorndyke, PW and Wesson, RB, 1988. “Distributed intelligence for air fleet control” In: Bond, AH and Gasser, L (eds.) Readings in Distributed Artificial Intelligence, pp 90101, Morgan Kaufmann.
Steels, L, 1990. “Cooperation between distributed agents through self organization” In: Demazeau, Y and Muller, JP (eds.) Decentralized Al—Proceedings of the First European Workshop on Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW-89), pp 175196, Elsevier.
Thomas, SR, 1993. PLACA, an Agent Oriented Programming Language, PhD thesis, Computer Science Department, Stanford University, Stanford, CA 94305. (Available as technical report STAN-CS–93–1487).
Thomas, SR, Shoham, Y, Schwartz, A and Kraus, S, 1991. “Preliminary thoughts on an agent description languageInternational Journal of intelligent Systems 6 497508.
Thomason, R, 1980. “A note on syntactical treatments of modalitySynthese 44 391395.
Turner, R, 1990. Truth and Modality for Knowledge Representation, Pitman.
Varga, LZ, Jennings, NR and Cockburn, D, 1994. “Integrating intelligent systems into a cooperating community for electricity distribution managementInternational Journal of Expert Systems with Applications 7 (4) 563579.
Vere, S and Bickmore, T, 1990. “A basic agentComputational Intelligence 6 4160.
Voorhees, EM, 1994. “Software agents for information retrieval” In: Etzioni, O (ed.) Software Agents— Papers from the 1994 Spring Symposium (Technical Report SS-94–03), pp 126129, AAAI Press.
Wainer, J, 1994. “Yet another semantics of goals and goal priorities” In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECIA-94), pp 269273, Amsterdam, The Netherlands.
Wavish, P, 1992. “Exploiting emergent behaviour in multi-agent systems” In: Werner, E and Demazeau, Y (eds.) Decentralized AI 3—Proceedings of the Third European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-91), pp 297310, Elsevier.
Wavish, P and Graham, M, 1995. “Role, skills, and behaviour: a situated action approach to organising systems of interacting agents” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 371385, Springer-Verlag.
Weerasooriya, D, Rao, A and Ramamohanarao, K, 1995. “Design of a concurrent agent-oriented language” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 386402, Springer-Verlag.
Weihmayer, R and Velthuijsen, H, 1994. “Application of distributed AI and cooperative problem solving to telecommunications” In: Liebowitz, J and Prereau, D (eds.) AI Approaches to Telecommunications and Network Management, lOS Press.
Werner, E, 1988. “Toward a theory of communication and cooperation for multiagent planning” In: Vardi, MY (ed.) Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pp 129144, Morgan Kaufmann.
Werner, E, 1989. “Cooperating agents: A unified theory of communication and social structure” In: Gasser, L and Huhns, M (eds.) Distributed Artificial Intelligence Volume II, pp 336, Pitman.
Werner, E, 1990. “What can agents do together: A semantics of cooperative ability” In: Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pp 694701, Stockholm, Sweden.
Werner, E, 1991. “A unified view of information, intention and ability” In: Demazeau, Y and Muller, JP (eds.) Decentralized AI 2—Proceedings of the Second European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW-90), pp 109126, Elsevier.
White, JE, 1994. “Telescript technology: The foundation for the electronic marketplace”, White paper, General Magic, Inc., 2465 Latham Street, Mountain View, CA 94040.
Wilkins, D, 1988. Practical Planning: Extending the Classical AI Planning Paradigm, Morgan Kaufmann.
Wittig, T (ed.) 1992. ARCHON: An Architecture for Multi-Agent Systems, Ellis Horwood.
Wood, S, 1993. Planning and Decision Making in Dynamic Domains, Ellis Horwood.
Wooldridge, M, 1992. The Logical Modelling of Computational Multi-Agent Systems, PhD thesis, Department of Computation, UMIST, Manchester, UK. (Also available as Technical Report MMU-DOC-94–01, Department of Computing, Manchester Metropolitan University, Chester Street, Manchester, UK.)
Wooldridge, M, 1994. “Coherent social action” In: Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pp 279283, Amsterdam, The Netherlands.
Wooldridge, M, 1995. “This is MYWORLD: The logic of an agent-oriented testbed for DAI” In: Wooldridge, M and Jennings, NR (eds.) Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pp 160178, Springer-Verlag.
Wooldridge, M and Fisher, M, 1992. “A first-order branching time logic of multi-agent systems” In: Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pp 234238, Vienna, Austria.
Wooldridge, M and Fisher, M, 1994. “A decision procedure for a temporal belief logic” In: Gabbay, DM and Ohlbach, HJ (eds.) Temporal Logic—Proceedings of the First International Conference (LNAI Volume 827), pp 317331, Springer-Verlag.
Wooldridge, M and Jennings, NR, 1994. “Formalizing the cooperative problem solving process” In: Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence (IWDAI-94), pp 403417, Lake Quinalt, WA.
Yonezawa, A (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

Altmetric attention score

Full text views

Total number of HTML views: 1
Total number of PDF views: 636 *
Loading metrics...

Abstract views

Total abstract views: 6231 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 25th June 2018. This data will be updated every 24 hours.