Asynchronous Teams: Cooperation Schemes for Autonomous Agents

Experiments over a variety of optimization problems indicate that scale-effective convergence is an emergent behavior of certain computer-based agents, provided these agents are organized into an asynchronous team (A-Team). An A-Team is a problem-solving architecture in which the agents are autonomous and cooperate by modifying one another's trial solutions. These solutions circulate continually. Convergence is said to occur if and when a persistent solution appears. Convergence is said to be scale-effective if the quality of the persistent solution increases with the number of agents, and the speed of its appearance increases with the number of computers. This paper uses a traveling salesman problem to illustrate scale-effective behavior and develops Markov models that explain its occurrence in A-Teams, particularly, how autonomous agents, without strategic planning or centralized coordination, can converge to solutions of arbitrarily high quality. The models also perdict two properties that remain to be experimentally confirmed:• construction and destruction are dual processes. In other words, adept destruction can compensate for inept construction in an A-Team, and vice-versa. (Construction refers to the process of creating or changing solutions, destruction, to the process of erasing solutions.)• solution quality is independent of agent-phylum. In other words, A-Teams provide an organizational framework in which humans and autonomous mechanical agents can cooperate effectively.

[1]  Richard M. Karp,et al.  The Traveling-Salesman Problem and Minimum Spanning Trees , 1970, Oper. Res..

[2]  Patrick D. Krolak,et al.  A man-machine approach toward solving the traveling salesman problem , 1970, CACM.

[3]  Brian W. Kernighan,et al.  An Effective Heuristic Algorithm for the Traveling-Salesman Problem , 1973, Oper. Res..

[4]  E. Wilson,et al.  Caste and ecology in the social insects. , 1979, Monographs in population biology.

[5]  Sarosh Talukdar,et al.  Asynchronous Procedures for Parallel Processing , 1983, IEEE Transactions on Power Apparatus and Systems.

[6]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[7]  H. Penny Nii,et al.  Blackboard Systems, Part One: The Blackboard Model of Problem Solving and the Evolution of Blackboard Architectures , 1986, AI Mag..

[8]  H. P Nii,et al.  Blackboard Systems , 1986 .

[9]  M. Padberg,et al.  Addendum: Optimization of a 532-city symmetric traveling salesman problem by branch and cut , 1990 .

[10]  Lawrence. Davis,et al.  Handbook Of Genetic Algorithms , 1990 .

[11]  David S. Johnson,et al.  Local Optimization and the Traveling Salesman Problem , 1990, ICALP.

[12]  Edward W. Felten,et al.  Large-Step Markov Chains for the Traveling Salesman Problem , 1991, Complex Syst..

[13]  Pedro S. de Souza,et al.  Genetic Algorithms in Asynchronous Teams , 1991, ICGA.

[14]  Giovanni Rinaldi,et al.  A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems , 1991, SIAM Rev..

[15]  Seshashayee Sankarshana Murthy Synergy in cooperating agents: designing manipulators from task specifications , 1992 .

[16]  Richard W. Quadrel,et al.  Asynchronous design environments: architecture and behavior , 1992 .

[17]  King-Tim Mak,et al.  A modified Lin-Kernighan traveling-salesman heuristic , 1993, Oper. Res. Lett..

[18]  Pedro S. de Souza,et al.  Asynchronous organizations for multi-algorithm problems , 1993, SAC '93.

[19]  Norman M. Sadeh,et al.  Job-shop-scheduling by a team of asynchronous agents , 1993 .

[20]  Sarosh TaluMar A MULTI-AGENT TECHNIQUE FOR CONTINGENCY CONSTRAINED OPTIMAL POWER FLOWS , 1994 .

[21]  P. Kokotovic,et al.  Systems and control theory for power systems , 1995 .

[22]  Ju-Hsien Kao,et al.  Asynchronous-teams based collision avoidance in PAWS , 1995 .

[23]  H. Penny Nii,et al.  Blackboard systems: the blackboard model of problem solving and the evolution of blackboard architectures , 1995 .

[24]  Ho Soo Lee,et al.  Primary production scheduling at steelmaking industries , 1996, IBM J. Res. Dev..

[25]  S. Talukdar,et al.  Cooperative algorithms and abductive causal networks for the automatic generation of intelligent substation alarm processors , 1996, Proceedings of International Conference on Intelligent System Application to Power Systems.

[26]  Ram D. Sriram,et al.  Solving constraint satisfaction problems using ATeams , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[27]  S. Talukdar,et al.  Automated probabilistic method for assigning backbone resonances of (13C,15N)-labeled proteins , 1997, Journal of biomolecular NMR.

[28]  César Rego,et al.  Relaxed tours and path ejections for the traveling salesman problem , 1998, Eur. J. Oper. Res..