Distributed Problem Solving and Planning

Distributed problem solving involves tile collective effort of multiple problems solvers to combine their knowledge, information, and capabilities so as to develop solutions to problems that each could not have solved as well (if at all) alone. The challenge in distributed problem solving is thus in marshalling the distributed capabilities in the right ways so that the problem solving activities of each agent complement the activities of the others, so as to lead efficiently to effective solutions. Thus, while working together leads to distributed problem solving, there is also the distributed problem of how to work together that must be solved. We consider that problem to be a distributed planning problem, where each agent must formulate plans for what it will do that take into account (sufficiently well) the plans of other agents. In this paper, we characterize the variations of distributed problem solving and distributed planning, and summarize some of the basic techniques that have been developed to date.

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

[2]  Richard D. Fennell,et al.  Parallelism in AI Problem Solving: A Case Study of Hearsay 2 , 1975 .

[3]  Victor R. Lesser,et al.  Parallelism in Artificial Intelligence Problem Solving: A Case Study of Hearsay II , 1977, IEEE Transactions on Computers.

[4]  Victor R. Lesser,et al.  Functionally Accurate, Cooperative Distributed Systems , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[5]  Daniel D. Corkill,et al.  A framework for organizational self-design in distributed problem solving networks , 1983 .

[6]  Michael P. Georgeff,et al.  Communication and interaction in multi-agent planning , 1983, AAAI 1983.

[7]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artif. Intell..

[8]  Krithi Ramamritham,et al.  Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems , 1985, IEEE Transactions on Computers.

[9]  Daniel D. Corkill,et al.  Chapter 3 – Instantiating Descriptions of Organizational Structures , 1987 .

[10]  Edmund H. Durfee,et al.  Cooperation through communication in a distributed problem-solving network , 1990 .

[11]  Edmund H. Durfee,et al.  Coordination of distributed problem solvers , 1988 .

[12]  Jeffrey S. Rosenschein,et al.  Communication-Free Interactions among Rational Agents: A Probabilistic Approach , 1990, Distributed Artificial Intelligence.

[13]  Amy L. Lansky,et al.  Localized Search for Controlling Automated Reasoning , 1990 .

[14]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[15]  Edmund H. Durfee,et al.  Coordination as distributed search in a hierarchical behavior space , 1991, IEEE Trans. Syst. Man Cybern..

[16]  D.J. MacIntosh,et al.  Distributed automated reasoning: issues in coordination, cooperation, and performance , 1991, IEEE Trans. Syst. Man Cybern..

[17]  Victor R. Lesser,et al.  Multistage negotiation for distributed constraint satisfaction , 1991, IEEE Trans. Syst. Man Cybern..

[18]  Norman M. Sadeh,et al.  Distributed constrained heuristic search , 1991, IEEE Trans. Syst. Man Cybern..

[19]  Subbarao Kambhampati,et al.  Combining Specialized Reasoners and General Purpose Planners: A Case Study , 1991, AAAI.

[20]  Makoto Yokoo,et al.  Organization Self-Design of Distributed Production Systems , 1992, IEEE Trans. Knowl. Data Eng..

[21]  Chengqi Zhang.  Cooperation Under Uncertainty in Distributed Expert Systems , 1992, Artif. Intell..

[22]  K. J. Werkman.  Multiple Agent Coopoerative Design Evaluation Using Negotiation , 1992 .

[23]  Moshe Tennenholtz,et al.  On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report) , 1992, AAAI.

[24]  Gil Tidhar,et al.  Planned Team Activity , 1992, MAAMAW.

[25]  Frank von Martial.  Coordinating Plans of Autonomous Agents , 1992, Lecture Notes in Computer Science.

[26]  Edmund H. Durfee,et al.  Search reduction in hierarchical distributed problem solving , 1993 .

[27]  Craig A. Knoblock.  Generating abstraction hierarchies - an automated approach to reducing search in planning , 1993, The Kluwer international series in engineering and computer science.

[28]  Michael P. Wellman.  A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems , 1993, J. Artif. Intell. Res..

[29]  Victor R. Lesser,et al.  Understanding the Role of Negotiation in Distributed Search Among Heterogereous Agents , 1993, IJCAI.

[30]  Victor R. Lesser,et al.  A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks , 1993, AAAI.

[31]  Eithan Ephrati,et al.  Divide and Conquer in Multi-Agent Planning , 1994, AAAI.

[32]  Claudia V. Goldman,et al.  Emergent Coordination through the Use of Cooperative State-Changing Rules , 1994, AAAI.

[33]  Michael J. Prietula,et al.  Computational organization theory , 1994 .

[34]  David E. Wilkins,et al.  A Common Knowledge Representation for Plan Generation and Reactive Execution , 1995, J. Log. Comput..

[35]  Sarit Kraus,et al.  Coordination without Communication: Experimental Validation of Focal Point Techniques , 1997, ICMAS.

[36]  Diane J. Cook,et al.  Flexible Social Laws , 1995, IJCAI.

[37]  Toshiharu Sugawara.  Reusing Past Plans in Distributed Planning , 1995, ICMAS.

[38]  Victor Lesser.  ICMAS-95 : proceedings First International Conference on Multi-Agent Systems, June 12-14, 1995, San Francisco, California , 1995 .

[39]  Froduald Kabanza,et al.  Synchronizing Multiagent Plans Using Temporal Logic Specifications , 1995, ICMAS.

[40]  Eithan Ephrati,et al.  A Tractable Heuristic that Maximizes Global Utility through Local Plan Combination , 1995, ICMAS.

[41]  Edmund H. Durfee,et al.  A contracting model for flexible distributed scheduling , 1996, Ann. Oper. Res..

[42]  Victor Lesser,et al.  Exploring Organizational Designs with T.1EMS: A Case Study of Distributed Data Processing* , 1996 .

[43]  Edmund H. Durfee,et al.  Designing tree-structured organizations for computational agents , 1996, Comput. Math. Organ. Theory.

[44]  Edmund H. Durfee,et al.  An Initial Assessment of Plan-Recognition-Based Coordination for Multi-Agent Teams , 1996 .

[45]  Amal El Fallah Seghrouchni,et al.  A Recursive Model for Distributed Planning , 1996 .

[46]  Katia Sycara,et al.  Multiagent coordination in tightly coupled task scheduling , 1997 .

[47]  Edmund H. Durfee,et al.  Integrated premission planning and execution for unmanned ground vehicles , 1997, AGENTS '97.

[48]  Edmund H. Durfee,et al.  On Explicit Plan Languages for Coordinating Multiagent Plan Execution , 1997, ATAL.

[49]  Michael Wooldridge,et al.  Distributed Problem-Solving as Concurrent Theorem Proving , 1997, MAAMAW.

[50]  Jaeho Lee.  An explicit semantics for coordination multiagent plan execution , 1997 .

[51]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[52]  Edmund H. Durfee,et al.  Integrated Premission Planning and Execution for Unmanned Ground Vehicles , 1997, AGENTS '97.

[53]  Martha E. Pollack,et al.  There's More to Life than Making Plans: Plan Management in Dynamic, Multiagent Environments , 1999, AI Mag..

[54]  Milind Tambe,et al.  The Benefits of Arguing in a Team , 1999, AI Mag..

[55]  Marie desJardins,et al.  Coordinating a Distributed Planning System , 1999, AI Mag..

[56]  Craig Boutilier.  Multiagent Systems: Challenges and Opportunities for Decision-Theoretic Planning , 1999, AI Mag..

[57]  Tuomas Sandholm,et al.  Distributed rational decision making , 1999 .

[58]  Edmund H. Durfee,et al.  Distributed Continual Planning for Unmanned Ground Vehicle Teams , 1999, AI Mag..

[59]  Karen L. Myers.  CPEF: A Continuous Planning and Execution Framework , 1999, AI Mag..

[60]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[61]  Sarit Kraus,et al.  Planning and Acting Together , 1999, AI Mag..

[62]  Makoto Yokoo,et al.  Search algorithms for agents , 1999 .

[63]  Gerhard Weiss,et al.  Computational Organization Theory , 2000 .

[64]  Leonid Sheremetov,et al.  Weiss, Gerhard. Multiagent Systems a Modern Approach to Distributed Artificial Intelligence , 2009 .

[65]  Gerhard Weiss.  Distributed Problem Solving and Planning , 2000 .

[66]  Julie A. Adams,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 2001, AI Mag..