An Algorithm for Plan Verification in Multiple Agent Systems

In this paper, we propose an algorithm which can improve Katz and Rosenschein's plan verification algorithm. First, we represent the plan-like relations with adjacency lists and inverse adjacency lists to replace adjacency matrixes. Then, we present a method to avoid generating useless sub-graphs while generating the compressed set. Last, we compare two plan verification algorithms. We not only prove that our algorithm is correct, but also prove that our algorithm is better than Katz and Rosenschein's algorithm both on time complexity and space complexity.

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

[2]  Martha E. Pollack,et al.  The Uses of Plans , 1992, Artif. Intell..

[3]  Ramesh C. Jain,et al.  Uncertainty Management in a Distributed Knowledge Based System , 1985, IJCAI.

[4]  Michael Georgeff,et al.  Reasoning about actions and plans , 1986 .

[5]  Matthew J. Katz,et al.  Verifying plans for multiple agents , 1993, J. Exp. Theor. Artif. Intell..

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

[7]  Chengqi Zhang,et al.  HECODES: A Framework for Heterogeneous Cooperative Distributed Expert Systems , 1991, Data Knowl. Eng..

[8]  Jeffrey S. Rosenschein,et al.  Deals Among Rational Agents , 1985, IJCAI.

[9]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[10]  Eithan Ephrati,et al.  The Clarke Tax as a Consensus Mechanism Among Automated Agents , 1991, AAAI.

[11]  Eithan Ephrati,et al.  Multi-Agent Planning as Search for a Consensus that Maximizes Social Welfare , 1992, MAAMAW.

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

[13]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..

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

[15]  Jeffrey S. Rosenschein,et al.  Synchronization of Multi-Agent Plans , 1982, AAAI.

[16]  Jeffrey S. Rosenschein,et al.  Incomplete Information and Deception in Multi-Agent Negotiation , 1991, IJCAI.

[17]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

[18]  G. Zlotkin,et al.  Cooperation and conflict resolution via negotiation among autonomous agents in noncooperative domains , 1991, IEEE Trans. Syst. Man Cybern..

[19]  Matthew J. Katz,et al.  Plans for Multiple Agents , 1989, Distributed Artificial Intelligence.

[20]  Ronen I. Brafman,et al.  Modeling Agents as Qualitative Decision Makers , 1997, Artif. Intell..

[21]  Victor R. Lesser,et al.  The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks , 1983, AI Mag..

[22]  Alan H. Bond,et al.  Distributed Artificial Intelligence , 1988 .