TY - GEN
T1 - From one to many
T2 - 18th International Conference on Automated Planning and Scheduling, ICAPS 2008
AU - Brafman, Ronen I.
AU - Domshlak, Carmel
PY - 2008/12/1
Y1 - 2008/12/1
N2 - Loosely coupled multi-agent systems are perceived as easier to plan for because they require less coordination between agent sub-plans. In this paper we set out to formalize this intuition. We establish an upper bound on the complexity of multi-agent planning problems that depends exponentially on two parameters quantifying the level of agents' coupling, and on these parameters only. The first parameter is problemindependent, and it measures the inherent level of coupling within the system. The second is problem-specific and it has to do with the minmax number of action-commitments per agent required to solve the problem. Most importantly, the direct dependence on the number of agents, on the overall size of the problem, and on the length of the agents' plans, is only polynomial. This result is obtained using a new algorithmic methodology which we call "planning as CSP+planning". We believe this to be one of the first formal results to both quantify the notion of agents' coupling, and to demonstrate a multi-agent planning algorithm that, for fixed coupling levels, scales polynomially with the size of the problem.
AB - Loosely coupled multi-agent systems are perceived as easier to plan for because they require less coordination between agent sub-plans. In this paper we set out to formalize this intuition. We establish an upper bound on the complexity of multi-agent planning problems that depends exponentially on two parameters quantifying the level of agents' coupling, and on these parameters only. The first parameter is problemindependent, and it measures the inherent level of coupling within the system. The second is problem-specific and it has to do with the minmax number of action-commitments per agent required to solve the problem. Most importantly, the direct dependence on the number of agents, on the overall size of the problem, and on the length of the agents' plans, is only polynomial. This result is obtained using a new algorithmic methodology which we call "planning as CSP+planning". We believe this to be one of the first formal results to both quantify the notion of agents' coupling, and to demonstrate a multi-agent planning algorithm that, for fixed coupling levels, scales polynomially with the size of the problem.
UR - http://www.scopus.com/inward/record.url?scp=58849140143&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:58849140143
SN - 9781577353867
T3 - ICAPS 2008 - Proceedings of the 18th International Conference on Automated Planning and Scheduling
SP - 28
EP - 35
BT - ICAPS 2008 - Proceedings of the 18th International Conference on Automated Planning and Scheduling
Y2 - 14 September 2008 through 18 September 2008
ER -