Emergent Cooperative Goal-Satisfaction in Large Scale Automated-Agent Systems

Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation [6,45], negotiation [33], distributed planning [5], and coalition formation [28,48], have provided a variety of approaches and several algorithms and solutions to situations wherein cooperation is possible. However, the case of cooperation in large-scale multi-agent systems (MAS) has not been thoroughly examined. Therefore, in this paper we present a framework for cooperative goal-satisfaction in large-scale environments focusing on a low complexity physics-oriented approach. The multi-agent systems with which we deal are modeled by a physics-oriented model. According to the model, MAS inherit physical properties, and therefore the evolution of the computational systems is similar to the evolution of physical systems. To enable implementation of the model, we provide a detailed algorithm to be used by a single agent within the system. The model and the algorithm are appropriate for large-scale, dynamic, Distributed Problem Solver systems, in which agents try to increase the bene ts of the whole system. The complexity is very low, and in some speci c cases it is proved to be optimal. The analysis and assessment of the algorithm are performed via the well-known behavior and properties of the modeling physical system.

[1]  Moshe Tennenholtz,et al.  Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) , 1992, KR.

[2]  Makoto Yokoo,et al.  Weak-Commitment Search for Solving Constraint Satisfaction Problems , 1994, AAAI.

[3]  S. Clearwater.  Market-based control: a paradigm for distributed resource allocation , 1996 .

[4]  Alan Katz.  Principles of statistical mechanics , 1967 .

[5]  Kenji Fukumoto,et al.  Multi-agent Reinforcement Learning: A Modular Approach , 1996 .

[6]  Edmund H. Durfee,et al.  Partial global planning: a coordination framework for distributed hypothesis formation , 1991, IEEE Trans. Syst. Man Cybern..

[7]  S. S. Sengupta,et al.  The traveling salesman problem , 1961 .

[8]  Randall Steeb,et al.  Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.

[9]  Tuomas Sandholm,et al.  An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations , 1993, AAAI.

[10]  Giovanni Ciccotti,et al.  Stationary nonequilibrium states by molecular dynamics. II. Newton's law , 1984 .

[11]  Katia P. Sycara,et al.  Distributed Intelligent Agents , 1996, IEEE Expert.

[12]  Victor Lesser,et al.  Multistage negotiation in distributed planning , 1988 .

[13]  Jörg P. Müller,et al.  A Model for Cooperative Transportation Scheduling , 1995, ICMAS.

[14]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[15]  Bernardo A. Huberman,et al.  Organizational Fluidity and Sustainable Cooperation , 1993, MAAMAW.

[16]  Martha E. Pollack,et al.  Introducing the Tileworld: Experimentally Evaluating Agent Architectures , 1990, AAAI.

[17]  Kutluhan Erol,et al.  Hierarchical task network planning: formalization, analysis, and implementation , 1996 .

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

[19]  Douglas W. Gage,et al.  Command Control for Many-Robot Systems , 1992 .

[20]  Grattan StreetCarlton,et al.  Commitment and Eeectiveness of Situated Agents , 1991 .

[21]  Eithan Ephrati,et al.  Deriving Multi-Agent Coordination through Filtering Strategies , 1995, IJCAI.

[22]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[23]  Sarit Kraus,et al.  The Function of Time in Cooperative Negotiations , 1990, AAAI.

[24]  B. Donald,et al.  Kinodynamic Motion Planning 1 Kinodynamic Motion Planning 5 , 1993 .

[25]  Pradeep K. Khosla,et al.  Superquadric artificial potentials for obstacle avoidance and approach , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[26]  D. C. Rapaport,et al.  Large-scale molecular dynamics simulation using vector and parallel computers , 1988 .

[27]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[28]  Maja J. Matarić,et al.  Kin Recognition, Similarity, and Group Behavior , 1993 .

[29]  Sarit Kraus,et al.  Cooperative Goal-satisfaction without Communication in Large-scale Agent-Systems , 1996, ECAI.

[30]  Victor R. Lesser,et al.  Designing a Family of Coordination Algorithms , 1997, ICMAS.

[31]  M. Benda,et al.  On Optimal Cooperation of Knowledge Sources , 1985 .

[32]  Alan L. Yuille,et al.  Generalized Deformable Models, Statistical Physics, and Matching Problems , 1990, Neural Computation.

[33]  Edmund H. Durfee,et al.  Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains , 1988, AAAI.

[34]  Edmund H. Durfee,et al.  The Utility of Communication in Coordinating Intelligent Agents , 1991, AAAI.

[35]  Richard E. Korf,et al.  Moving-Target Search: A Real-Time Search for Changing Goals , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[36]  Roscoe Giles,et al.  A parallel scalable approach to short-range molecular dynamics on the CM-5 , 1992, Proceedings Scalable High Performance Computing Conference SHPCC-92..

[37]  Victor R. Lesser,et al.  Coalitions Among Computationally Bounded Agents , 1997, Artif. Intell..

[38]  Banavar,et al.  Molecular dynamics of Poiseuille flow and moving contact lines. , 1988, Physical review letters.

[39]  Michael P. Wellman,et al.  Market-oriented programming: some early lessons , 1996 .

[40]  Makoto Yokoo,et al.  Distributed constraint satisfaction for formalizing distributed problem solving , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

[41]  Sarit Kraus,et al.  Methods for Task Allocation via Agent Coalition Formation , 1998, Artif. Intell..

[42]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

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

[44]  E. M. Lifshitz,et al.  Mechanics and Electrodynamics , 1972 .

[45]  Jörg P. Müller,et al.  A Decision-Theoretic Model for Cooperative Transportation Scheduling , 1996, MAAMAW.

[46]  Victor R. Lesser,et al.  Generalizing the Partial Global Planning Algorithm , 1992, Int. J. Cooperative Inf. Syst..

[47]  Michael P. Wellman,et al.  A Simple Computational Market for Network Information Services , 1995, ICMAS.

[48]  B. Huberman,et al.  The outbreak of cooperation , 1993 .

[49]  J. Y. S. Luh,et al.  Coordination and control of a group of small mobile robots , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[50]  Sarit Kraus,et al.  Goal Satisfaction in Large Scale Agent-Systems: A Transportation Example , 1998, ATAL.

[51]  Victor R. Lesser,et al.  A retrospective view of FA/C distributed problem solving , 1991, IEEE Trans. Syst. Man Cybern..

[52]  Daniel J. Rosenkrantz,et al.  An Analysis of Several Heuristics for the Traveling Salesman Problem , 1977, SIAM J. Comput..

[53]  O. Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[54]  Katia P. Sycara,et al.  Designing behaviors for information agents , 1997, AGENTS '97.

[55]  Edmund H. Durfee,et al.  Negotiating Task Decomposition and Allocation Using Partial Global Planning , 1989, Distributed Artificial Intelligence.

[56]  F. Reif,et al.  Fundamentals of Statistical and Thermal Physics , 1965 .

[57]  Jeffrey S. Rosenschein,et al.  Rational interaction: cooperation among intelligent agents , 1986 .

[58]  Charles W. Warren,et al.  Global path planning using artificial potential fields , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[59]  Edmund H. Durfee,et al.  Coherent Cooperation Among Communicating Problem Solvers , 1987, IEEE Transactions on Computers.

[60]  Steven P. Ketchpel.  Forming Coalitions in the Face of Uncertain Rewards , 1994, AAAI.