Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-27T13:05:04.652Z Has data issue: false hasContentIssue false

On distributed artificial intelligence

Published online by Cambridge University Press:  07 July 2009

Luis Eduardo
Affiliation:
Department of Artificial Intelligence, University of Edinburgh
Castillo Hern
Affiliation:
Department of Artificial Intelligence, University of Edinburgh

Abstract

Distributed Artificial Intelligence has been loosely defined in terms of computation by distributed, intelligent agents. Although a variety of projects employing widely ranging methodologies have been reported, work in the field has matured enough to reveal some consensus about its main characteristics and principles. A number of prominent projects are described in detail, and two general frameworks, the System conceptual model and the agent conceptual model, are used to compare the different approaches. The paper concludes by reviewing approaches to formalizing some of the more critical capabilities required by multi-agent interaction.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Allen, J F, 1981. “A general model of action and time”, Computer Se. Report TR 97, University of Rochester N.Y., USA.Google Scholar
Allen, J, 1984. “Towards a general theory of action and time”, Artificial Intelligence 23 pp. 123154.CrossRefGoogle Scholar
Appelt, Doug, 1980a. “A planner for reasoning about knowledge and action”. In: Proceedings of the First Annual Conference of Artificial Intelligence, pp. 131133.Google Scholar
Appelt, Doug, 1980b. “Planning natural language utterances”. In: Proceedings of the Eighteenth Annual Meeting of the Association for Computational Linguistics.Google Scholar
Appelt, Doug, 1981. Planning Natural Language Utterances to Satisfy Multiple Goals, Ph. D. Thesis, Stanford University, Stanford Cal. USA.Google Scholar
Ballard, Dana, 1987. “Modular learning in neural networks”, Proceedings of the American Association of Artificial Intellignece, pp. 279284.Google Scholar
Cammarata, Stephanie, McArthur, David and David, Randall, 1983. “Strategies of cooperation in distributed problem solving”, Proceedings Eighth International Joint Conference on Artificial Intelligence,8–12 AugustKarlsruhe, West Germany, pp. 767770.Google Scholar
Chandrasekaran, B, 1981. “Natural and social Systems metaphors for distributed problem solving: introduction to the issue”, IEEE Transactions on Systems, Man, and Cybernetics SMC-11 (1) pp. 15.Google Scholar
Corkill, Daniel, 1979. “Hierarchical planning in a distributed environment”, Proceedings Sixth International Joint Conference on Artificial Intelligence,Tokyo, Japan, pp. 168175.Google Scholar
Corkill, Daniel, 1982. A Framework for Organizational Self-Design in Distributing Problem Solving Networks, Ph.D. Thesis, University of Massachusetts, Amherst, Mass. USA.Google Scholar
Corkill, D, Lesser, V and Hudlicka, E, 1982. “Unifying data-directed and goal-directed control: An example and experiments”. In: Proceedings of Second National Conference on Artificial Intelligence, pp. 143147.Google Scholar
Corkill, Daniel, 1983. “The distributed vehicle monitoring testbed: A tool for investigating distributed problem solving networks”, AI Magazine 4(3), pp. 1533.Google Scholar
Corkill, Daniel and Lesser, Victor, 1983. “The use of meta-level control for coordination in a distributed problem solving network”, Proceedings IJCAI 1983, Eighth International Joint Conference on Artificial Intelligence,8–12 August 1983,Karlsruhe, West Germany, pp. 748756.Google Scholar
Davis, Randall, 1980. Report on the Second Workshop on Distributed Artificial Intelligence, SIGART Newsletter No. 73.Google Scholar
Davis, Randall, 1982. Report on the First Workshop on Distributed Artificial Intelligence, SIGART Newsletter No. 80.Google Scholar
Davis, Randall and Smith, R G, 1983. “Negotiation as a metaphor for distributed problem solving”, Artifical Intelligence, 20 pp. 63109.CrossRefGoogle Scholar
Dijkstra, E W, 1971. “Hierarchical Ordering of Sequential Processes”, Acta Informatica 1 pp. 115138.CrossRefGoogle Scholar
Doran, J E, 1984. First Thoughts About Designing Teams of Actors, Proceedings of Alvey IKBS Planning Systems Work Shop No 2, Systems Designers Ltd. Fleet, Available for ICC, PO Box 26, Hitchen, Herts SG5 ISA, England.Google Scholar
Doran, J E, 1985. “The computational approach to knowledge, communication, and structure in multi-actor Systems”, Artificial Intelligence and Sociology, Ed. Gilbert, G N and Heath, C (Eds.), Gower: London pp. 160171.Google Scholar
Doran, J E, 1986. Distributed Artificial Intelligence and the Sociocultural Systems, Internal Memo CSM-87, Sept Computer Sc. Dept. University of Essex, Colchester, England.Google Scholar
Durfee, Edmund, Lesser, Victor and Corkill, Daniel, 1985a. “Increasing coherence in a distributed problem solving network”, Proceedings Ninth International Joint Conference on Artificial Intelligence,18–23 August,Los Angeles Cal. USA pp. 10251030.Google Scholar
Durfee, Edmund, Lesser, Victor and Corkill, Daniel, 1985b. “Coherent cooperation among communicating problem solvers”, Proceedings of the 1985 Workshop on Distributed Artificial Intelligence, Cal. USA.Google Scholar
Durfee, Edmund, Lesser, Victor and Corkill, Daniel, 1987a. “Cooperation through communication in a distributed problem solving network”, In: Distributed Artificial Intelligence, Michael Huhns (Ed.) pp. 2958.CrossRefGoogle Scholar
Durfee, Edmund and Lesser, Victor, 1987b. “Using partial global plans to coordinate distributed problem solvers”, Proceedings of the International Joint Conference on Artificial Intelligence.CrossRefGoogle Scholar
Erman, Lee, London, P and Fickas, S, 1981. “The design and an example use of HEARSAY-III, In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 409415. Morgan Kaufman,Los Altos, Cal. USA.Google Scholar
Erman, Lee D, Hayes-Roth, Frederick, Lesser, Victor and Reddy, D Raj, 1980. “The Hearsay-II speech understanding System: Integrating knowledge to resolve uncertainty”, Computing Surveys 12(2) pp. 213253.CrossRefGoogle Scholar
Fagin, Ronald and Halpern, Joseph, 1988. “Belief, awareness, and limited reasoning”, Artificial Intelligence 34 pp. 3976.CrossRefGoogle Scholar
Feldman, J A and Ballard, D H, 1982. “Connectionist models and their properties”, Cognitive Science 6 pp. 204254.CrossRefGoogle Scholar
Fehling, Michael, 1983. Report on the Third Annual Workshop on Distributed Artificial Intelligence, SIGART newsletter 84, spring, pp. 312.Google Scholar
Gasser, L and Tenorio, M F, 1986. Rule-Agents: A Distributed Object Oriented Approach to Production Systems Using MACE, DAI Group Research note 4, DAI Group, Dept of Computer Se, USC, San Diego, Cal. USA.Google Scholar
Gasser, Les, Broganza, Carl and Herman, Nava, 1987a. “MACE: A flexible testbed for distributed AI research”, In: Distributed Artificial Intelligence, pp. 119152, Michael, Huhns (Ed.) M Kaufman Pub. Inc., Los Altos, Cal. USA.CrossRefGoogle Scholar
Gasser, L, Bragaza, C and Herman, N, 1987b. “Implementing distributed AI Systems using MACE. Proceedings of the IEEE Third Conference on AI Applications.CrossRefGoogle Scholar
Genesereth, Michael R, Ginsberg, Matthew L and Rosenschein, Jeffrey S, 1984. “Cooperation without communication”, Proceedings of the American Association of Artificial Intellignece, pp. 5157. Revised version of the Report HPP-84–36, Heuristic Programming Project, Stanford University, 09 1984.Google Scholar
Genesereth, Michael, 1984. Solving the Prisoner's Dilemma. Report No. HPP-84–41, Stanford University, Stanford, Cal. USA.Google Scholar
Georgeff, Michael, 1983. “Communication and interaction in multiagent planning”, Proceedings American Association for Artificial Intelligence, Washington DC. USA pp. 125129.Google Scholar
Georgeff, Michael, 1984. “A theory of action for multiagent planning”, Proceedings American Association for Artificial Intelligence Conference 1984, pp. 121125.Google Scholar
Georgeff, Michael, 1985a. “A procedural logic”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 516523.Google Scholar
Georgeff, Michael, 1985b. “A theory of process”, Proceedings of the 1985 Workshop on Distributed Artificial Intelligence, Cal. USA.Google Scholar
Georgeff, Michael, 1987. “Reactive reasoning and planning”, Proceedings of the American Association of Artificial Intelligence, pp. 677682.Google Scholar
Ginsberg, M L, 1986. “Counterfactuals”, Artificial Intelligence 30 pp. 3580.CrossRefGoogle Scholar
Ginsberg, M L and Smith, D E, 1987a. “Reasoning about action: A possible worlds approach”, Proceedings of the 1987 Workshop on Logical Solutions to the Frame Problem, Laurance Kansas, USA.Google Scholar
Ginsberg, Matthew L and Smith, David E, 1987b. “Possible worlds and the qualification problem”, Proceedings of the American Association of Artificial Intelligence, pp. 212217.Google Scholar
Halpern, Joseph Y, 1986. “Reasoning about knowledge: An overview”, Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge,Morgan Kaufman Pub,Los Altos, Cal. USA.CrossRefGoogle Scholar
Halpern, Joseph Y and Moses, Y, 1984. “Knowledge and common knowledge in a distributed environment”, Proceedings of the 3rd ACM Conference on Principles of Distributed Computing, revised version pp. 128.CrossRefGoogle Scholar
Halpern, Joseph Y and Moses, Y, 1985. “A guide to the modal logics of knowledge and belief: Preliminary draft”, International Joint Conference of Artificial Intelligence,Los Angeles, Cal. USA.Google Scholar
Hanks, S and McDermott, D, 1986. “Default reasoning, nonmonotonic logics, and the frame problem”, Proceedings of the American Association of Artificial Intelligence, pp. 328333.Google Scholar
Hewitt, Carl, 1977. “Viewing control structures as pattern of passing messages”, Artificial Intelligence Journal 8 pp. 323364.CrossRefGoogle Scholar
Hewitt, Carl and de Jong, P, 1983. “Analyzing the roles of descriptions and actions in open Systems. Proceedings of the American Association of Artificial Intelligence, pp. 162167.Google Scholar
Hintikka, J, 1962. Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell University Press, Cornell, NY, USA.Google Scholar
Hintikka, J, 1975. “Impossible Possible Worlds Vindicated”, Journal of Philosophical Logic 4, pp. 475484.CrossRefGoogle Scholar
Hoare, Charles A, 1985. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science.Google Scholar
Huhns, M N, Stephens, L and Bonnell, R, 1983. “Control and cooperation in distributed expert Systems”, IEEE, 241245.Google Scholar
Huhns, Michael, (Ed.), 1987. Distributed Artificial Intelligence, Morgan Kaufman Pub. Inc, Los Altos, Cal. USA.Google Scholar
Jagannathan, V and Rajendra, Dodhiawala, 1986. Distributed Artificial Intelligence: An Annotated Bibliography, SIGART Newsletter, Number 95 pp. 4456.Google Scholar
Ju-Yuan, David, Huhns, Michael N and Stephens, Larry M, 1985. “An architecture for control and communication in distributed artificial intelligence Systems”, IEEE Transactions on Systems Mon And Cybernetics, 316326 SMC-15, (3) pp. 316326.Google Scholar
Konolige, Kurt, 1980. “Multiple agent planning Systems”, Proceedings American Association for Artificial Intelligence Conference,Stanford Cal. USA pp. 138142.Google Scholar
Konolige, Kurt, 1984. A Deduction Model of Belief and its Logics, Ph.D. Thesis, Stanford University, Stanford, Cal. USA.Google Scholar
Konolige, Kurt, 1985. “A Computational theory of belief introspection”, International Joint Conference of Artificial Intelligence, pp. 502508.Google Scholar
Kornfeld, William A, 1982. “Combinatorial implosive algorithms”, Communications of the ACM October 25, (10) pp. 734738.CrossRefGoogle Scholar
Lansky, Amy, 1985. Behavioral Specification and Planning for Multiagent Domains. Technical Note 360, SRI International, Menlo Park, California, USA.CrossRefGoogle Scholar
Lansky, Amy L, 1987a. “A representation of parallel activity based on events, structure, and causality”, Reasoning About Actions and Plans, Georgeff, M P and Lansky, A M (Eds.), Morgan Kauffman Pub. Inc, Los Altos, Cal. USA.Google Scholar
Lansky, Amy, 1987b. Localized Event-Based Reasoning for Multiagent Domains, SRI-AI TN 423, SRI International, Menlo Park, Cal. USA.Google Scholar
Lansky, Amy and Fogelson, David S, 1987. “Localized representation and planning methods for parallel domains”, Proceedings of the American Association of Artificial Intelligence pp. 240245.Google Scholar
Lesser, V and Corkill, D, 1983. “The distributed vehicle monitoring testbed: A tool for investigation distributed problem solving networks”, AI Magazine 4 pp. 1533.Google Scholar
Lesser, Victor R and Corkill, Daniel D, 1981. “Functionally accurate, cooperative distributed Systems. Transactions on Systems, Mon, and Cybernetics SMC-11, (1).Google Scholar
Levesque, Hector, 1984. “A logic of implicit and explicit belief”, Proceedings of the American Association of Artificial Intelligence, pp. 198202.Google Scholar
Lifschitz, Vladimir, 1986. “Pointwise circumscription: Preliminary report”, Proceedings of the American Association of Artificial Intelligence, pp. 406410.Google Scholar
Lifschitz, V, 1987. “Formal theories of action”, Proceedings of the Workshop on Logical Solutions to the Frame Problem, Laurence Kansas, USA.Google Scholar
Manna, Z and Wolper, P, 1981. Synthesis of Communicating Processes from Temporal Logic Specifications. Report STAN-CS-81–872, Dept of Computer Sc., Stanford University, Stanford Cal. USA.Google Scholar
McArthur, Dave, Steeb, Randy and Cammarata, Stephanie, 1982. “A framework for distributed problem solving”, National Conference of Artificial Intelligence,Carnegie-Mellon Univ,Pittsburgh, Penn. USA, AAAI, pp. 181184.Google Scholar
McCarthy, J, 1980. “A form of nonmonotonic reasoning”, Artificial Intelligence Journal 13 pp. 2739.CrossRefGoogle Scholar
McCarthy, J, 1986. “Applications of circumscription to formalizing common sense knowledge”, Artificial Intelligence 28 pp. 89116.CrossRefGoogle Scholar
McCarthy, J and Hayes, P, 1986. “Some philosophical problems from the standpoint of artificial intelligence. In: Machine Intelligence 4, Edinburgh University Press, Meltzer, B and Michie, D (Eds.), pp. 463502.Google Scholar
McClelland, James, Rumelhart, David and the PDP Research Group 1986. Parallel Distributed Computing, Vol 2. The MIT Press, Cambridge, Mass. USA.Google Scholar
McDermott, D, 1982. A Temporal Logic for Reasoning About Plans and Processes. Computer Se. Research Report 196, Yale University, USA. Also Cognitive Sc, 6, pp. 101155, 1982.Google Scholar
McDermott, D, 1985. “Reasoning about plans. In: Formal Theories of the Commonsense World, Hobbs, J and Moore, R (Eds.), pp. 269317, Ablex Publishing, Norwood, NJ, USA.Google Scholar
Milner, Robin, 1980. A Calculus of Communicating Systems, Lecture Notes in Computer Sc. 92, Springer Verlag, New York, USA.CrossRefGoogle Scholar
Milner, Robin, 1986a. A Calculus of Communicating Systems, LCFCS Report ECS-LCFCS-86–7, Dept of Computer Sciences, University of Edinburgh, Edinburgh, Scotland.Google Scholar
Milner, Robin, 1986b. “Process constructors and interpretations”, Proceedings of the IFIP 86 Conference,Dublin, pp. 507514.CrossRefGoogle Scholar
Milner, Robin, 1988. Operational and Algebraic Semantics of Concurrent Processes, LCFCS Report ECS-LCFCS-88–46, Dept of Computer Sciences, University of Edinburgh, Edinburgh, Scotland.Google Scholar
Moore, Robert, 1985. “A formal theory of knowledge and action”, In: Formal Theories of Commonsense World, Hobbs, J R and Moore, R C, (Eds.), Ablex Publishing Co.Google Scholar
Nii, H and Feigenbaum, A, 1978. “Rule-based understanding of signals”, In: Pattern-Directed Inference Systems, Waterman, D A and Hayes-Roth, R (Eds.), pp. 483501, Academic Press, New York, USA.CrossRefGoogle Scholar
Pattison, Eduard, Corkill, Daniel and Lesser, Victor, 1987. “Instantiating descriptions of organizational structures”, In: Distributed Artificial Intelligence, Huhns, M (Ed.), pp. 5996, Morgan Kaufman, Los Altos Cal. USA.CrossRefGoogle Scholar
Pednault, Edwin P D, 1987. “Formulating multiagent, dynamic-world problems in the classical planning framework”, Reasoning About Actions and Plans, Georgeoff, M P and Lansky, A L, (Ed.), pp. 4782, Morgan Kaufman Pub. Inc, Los Altos, Cal. USA.CrossRefGoogle Scholar
Rosenschein, Jeffrey S, 1982. “Synchronization of multi-agent plans”, Proceedings of the National Conference of Artificial Intelligence,American Association of Artificial Intelligence, pp. 115118.Google Scholar
Rosenschein, Jeffrey S, 1985a. Formal Theories of Knowledge in AI and Robotics, Technical Note 362, SRI International, Menlo Park, Cal. USA.CrossRefGoogle Scholar
Rosenschein, Jeffrey S, 1985b. Rational Interaction: Cooperation Among Intelligent Agents, Ph.D. Thesis, University of Stanford, Stanford Cal. USA. Also Published as STAN-CS-85–1081, Dept of Computer Sc., Stanford U. 1985.Google Scholar
Rosenschein, Jeffrey S, 1986. Cooperation in the Presence of Incomplete Information, Technical Report, Knowledge Systems Lab., Computer Se. Dept, U. of Stanford.Google Scholar
Rosenschein, Jeffrey and Genesereth, Michael R, 1984. Communication and Cooperation, Report No HPP-84–5, Stanford Heuristic Programming Project, Stanford University, Stanford, Cal, USA.Google Scholar
Rosenschein, Jeffrey and Genesereth, Michael R, 1985. “Deals among rational Agents”. Proceedings of the International Joint Conference of Artificial Intelligence, pp. 9199.Google Scholar
Rumelhart, David, McClelland, James and the PDP Research Group, 1986. Parallel Distributed Processing, The MIT Press, Cambridge, Mass. USA.CrossRefGoogle Scholar
Seel, N R, 1988. Logics for Agent Design, Technical Report 303–431, STC Technology Ltd, London Road, Harlow, Essex, England.Google Scholar
Shoham, Y, 1986. “Chronological ignorance”, Proceedings of the Fifth National Conference on Artificial Intelligence, pp. 389393.Google Scholar
Smith, Reid, 1978. A Framework for Problem Solving in a Distributed Environment, Ph.D. Dissertation, STANCS-78–700, Dept of Computer Sc., University of Stanford, Stanford, Cal. USA.Google Scholar
Smith, Reid, 1979. “A framework for distributed problem solving”, Proceedings of the International Joint Conference of Artificial Intellignece, pp. 836841.Google Scholar
Smith, Reid, 1984. “Report on the 1984 distributed AI workshop”, The AI Magazine, Fall issue, pp. 234243.Google Scholar
Smith, Reid G and Davis, Randall, 1981. “Frameworks for cooperation in distributed problem solving”. IEEE Transactions on Systems, Man, and Cybernetics SMC-11, (3), pp. 6169.Google Scholar
Stuart, Christopher, 1985. “An implementation of a multi-agent plan synchronizer”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 10311033.Google Scholar
Stuart, Christopher, 1987. “Branching regular expressions and multiagent plans”, Reasoning About Actions and Plans, Georgeoff, M P and Lansky, A M, (Eds.), pp. 161187, Morgan Kaufman Pub. Inc., Los Altos, Cal. USA.CrossRefGoogle Scholar
Touretzky, David and Hinton, Geoffrey, 1985. “Symbols among the neurons: Details of a connectionist inference architecture”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 238243.Google Scholar
Van Dyke, Paprvnak H, 1987. “Manufacturing experience with the contract net. In: Distributed Artificial Intelligence, Michael Huhns (Ed.), pp. 285310.CrossRefGoogle Scholar
Walker, David, 1987. Introduction to a Calculus of Communicating Systems, Report ECS-LFCS-87–22, University of Edinburgh, Scotland.Google Scholar