Search
1988 Volume 3
Article Contents
RESEARCH ARTICLE   Open Access    

On distributed artificial intelligence

More Information
  • 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.
  • 加载中
  • 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. 123–154.

    Google Scholar

    Appelt Doug, 1980a. “A planner for reasoning about knowledge and action”. In: Proceedings of the First Annual Conference of Artificial Intelligence, pp. 131–133.

    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. 279–284.

    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. 767–770.

    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. 1–5.

    Google Scholar

    Corkill Daniel, 1979. “Hierarchical planning in a distributed environment”, Proceedings Sixth International Joint Conference on Artificial Intelligence,Tokyo, Japan, pp. 168–175.

    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. 143–147.

    Google Scholar

    Corkill Daniel, 1983. “The distributed vehicle monitoring testbed: A tool for investigating distributed problem solving networks”, AI Magazine 4(3), pp. 15–33.

    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. 748–756.

    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. 63–109.

    Google Scholar

    Dijkstra E W, 1971. “Hierarchical Ordering of Sequential Processes”, Acta Informatica 1 pp. 115–138.

    Google 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. 160–171.

    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. 1025–1030.

    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. 29–58.

    Google 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.

    Google 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. 409–415. 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. 213–253.

    Google Scholar

    Fagin Ronald and Halpern Joseph, 1988. “Belief, awareness, and limited reasoning”, Artificial Intelligence 34 pp. 39–76.

    Google Scholar

    Feldman J A and Ballard D H, 1982. “Connectionist models and their properties”, Cognitive Science 6 pp. 204–254.

    Google Scholar

    Fehling Michael, 1983. Report on the Third Annual Workshop on Distributed Artificial Intelligence, SIGART newsletter 84, spring, pp. 3–12.

    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. 119–152, Michael Huhns (Ed.) M Kaufman Pub. Inc., Los Altos, Cal. USA.

    Google Scholar

    Gasser L, Bragaza C and Herman N, 1987b. “Implementing distributed AI Systems using MACE. Proceedings of the IEEE Third Conference on AI Applications.

    Google Scholar

    Genesereth Michael R, Ginsberg Matthew L and Rosenschein Jeffrey S, 1984. “Cooperation without communication”, Proceedings of the American Association of Artificial Intellignece, pp. 51–57. 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. 125–129.

    Google Scholar

    Georgeff Michael, 1984. “A theory of action for multiagent planning”, Proceedings American Association for Artificial Intelligence Conference 1984, pp. 121–125.

    Google Scholar

    Georgeff Michael, 1985a. “A procedural logic”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 516–523.

    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. 677–682.

    Google Scholar

    Ginsberg M L, 1986. “Counterfactuals”, Artificial Intelligence 30 pp. 35–80.

    Google 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. 212–217.

    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.

    Google 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. 1–28.

    Google 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. 328–333.

    Google Scholar

    Hewitt Carl, 1977. “Viewing control structures as pattern of passing messages”, Artificial Intelligence Journal 8 pp. 323–364.

    Google 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. 162–167.

    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. 475–484.

    Google 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, 241–245.

    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. 44–56.

    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, 316–326 SMC-15, (3) pp. 316–326.

    Google Scholar

    Konolige Kurt, 1980. “Multiple agent planning Systems”, Proceedings American Association for Artificial Intelligence Conference,Stanford Cal. USA pp. 138–142.

    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. 502–508.

    Google Scholar

    Kornfeld William A, 1982. “Combinatorial implosive algorithms”, Communications of the ACM October 25, (10) pp. 734–738.

    Google Scholar

    Lansky Amy, 1985. Behavioral Specification and Planning for Multiagent Domains. Technical Note 360, SRI International, Menlo Park, California, USA.

    Google 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. 240–245.

    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. 15–33.

    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. 198–202.

    Google Scholar

    Lifschitz Vladimir, 1986. “Pointwise circumscription: Preliminary report”, Proceedings of the American Association of Artificial Intelligence, pp. 406–410.

    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. 181–184.

    Google Scholar

    McCarthy J, 1980. “A form of nonmonotonic reasoning”, Artificial Intelligence Journal 13 pp. 27–39.

    Google Scholar

    McCarthy J, 1986. “Applications of circumscription to formalizing common sense knowledge”, Artificial Intelligence 28 pp. 89–116.

    Google 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. 463–502.

    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. 101–155, 1982.

    Google Scholar

    McDermott D, 1985. “Reasoning about plans. In: Formal Theories of the Commonsense World, Hobbs J and Moore R (Eds.), pp. 269–317, 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.

    Google 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. 507–514.

    Google 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. 483–501, Academic Press, New York, USA.

    Google Scholar

    Pattison Eduard, Corkill Daniel and Lesser Victor, 1987. “Instantiating descriptions of organizational structures”, In: Distributed Artificial Intelligence, Huhns M (Ed.), pp. 59–96, Morgan Kaufman, Los Altos Cal. USA.

    Google 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. 47–82, Morgan Kaufman Pub. Inc, Los Altos, Cal. USA.

    Google Scholar

    Rosenschein Jeffrey S, 1982. “Synchronization of multi-agent plans”, Proceedings of the National Conference of Artificial Intelligence,American Association of Artificial Intelligence, pp. 115–118.

    Google Scholar

    Rosenschein Jeffrey S, 1985a. Formal Theories of Knowledge in AI and Robotics, Technical Note 362, SRI International, Menlo Park, Cal. USA.

    Google 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. 91–99.

    Google Scholar

    Rumelhart David, McClelland James and the PDP Research Group, 1986. Parallel Distributed Processing, The MIT Press, Cambridge, Mass. USA.

    Google 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. 389–393.

    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. 836–841.

    Google Scholar

    Smith Reid, 1984. “Report on the 1984 distributed AI workshop”, The AI Magazine, Fall issue, pp. 234–243.

    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. 61–69.

    Google Scholar

    Stuart Christopher, 1985. “An implementation of a multi-agent plan synchronizer”, Proceedings of the International Joint Conference of Artificial Intelligence, pp. 1031–1033.

    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. 161–187, Morgan Kaufman Pub. Inc., Los Altos, Cal. USA.

    Google 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. 238–243.

    Google Scholar

    Van Dyke Paprvnak H, 1987. “Manufacturing experience with the contract net. In: Distributed Artificial Intelligence, Michael Huhns (Ed.), pp. 285–310.

    Google Scholar

    Walker David, 1987. Introduction to a Calculus of Communicating Systems, Report ECS-LFCS-87–22, University of Edinburgh, Scotland.

    Google Scholar

  • Cite this article

    Luis Eduardo, Castillo Hern. 1988. On distributed artificial intelligence. The Knowledge Engineering Review. 3:4367 doi: 10.1017/S0269888900004367
    Luis Eduardo, Castillo Hern. 1988. On distributed artificial intelligence. The Knowledge Engineering Review. 3:4367 doi: 10.1017/S0269888900004367

Article Metrics

Article views(21) PDF downloads(542)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

On distributed artificial intelligence

The Knowledge Engineering Review  3 Article number: 10.1017/S0269888900004367  (1988)  |  Cite this article

Abstract: 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.

    • Copyright © Cambridge University Press 19881988Cambridge University Press
References (102)
  • About this article
    Cite this article
    Luis Eduardo, Castillo Hern. 1988. On distributed artificial intelligence. The Knowledge Engineering Review. 3:4367 doi: 10.1017/S0269888900004367
    Luis Eduardo, Castillo Hern. 1988. On distributed artificial intelligence. The Knowledge Engineering Review. 3:4367 doi: 10.1017/S0269888900004367
  • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return