Synchronizing Multiagent Plans Using Temporal Logic Specifications.
Froduald Kabanza · 1995
Plan synchronization is a method of analyzing multiagent plans to introduce ordering constraints between them so that their concurrent execution achieves a desired goal. We describe a plan synchronization method for goals expressed using temporal logic specifications. Our goals can involve both qualitative and quantitative time requirements. The requirements expressed by a goal can involve safety constraints as well as liveness ones. The key to our method is a technique for checking goal formulas incrementally over models of concurrent executions of plans. Our approach covers more general goal types than any comparable method. It also promises easy integration with standard AI planning search control and heuristic strategies. Introduction Multiagent plan synchronization is a method of analyzing plans of concurrent agents in order to add synchronization constraints between them such that their concurrent execution satisfies a given temporal property (Stuart 1985; Shoham & Tennenholtz 1...