TY - GEN
T1 - Computing applicability conditions for plans with loops
AU - Srivastava, Siddharth
AU - Immerman, Neil
AU - Zilberstein, Shlomo
PY - 2010
Y1 - 2010
N2 - The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representation. However, progress in finding such plans has been limited largely due to lack of methods for reasoning about the correctness and safety properties of loops of actions. We present novel algorithms for determining the applicability and progress made by a general class of loops of actions. These methods can be used for directing the search for plans with loops towards greater applicability while guaranteeing termination, as well as in post-processing of computed plans to precisely characterize their applicability. Experimental results demonstrate the efficiency of these algorithms.
AB - The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representation. However, progress in finding such plans has been limited largely due to lack of methods for reasoning about the correctness and safety properties of loops of actions. We present novel algorithms for determining the applicability and progress made by a general class of loops of actions. These methods can be used for directing the search for plans with loops towards greater applicability while guaranteeing termination, as well as in post-processing of computed plans to precisely characterize their applicability. Experimental results demonstrate the efficiency of these algorithms.
UR - http://www.scopus.com/inward/record.url?scp=78650605112&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78650605112&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:78650605112
SN - 9781577354499
T3 - ICAPS 2010 - Proceedings of the 20th International Conference on Automated Planning and Scheduling
SP - 161
EP - 168
BT - ICAPS 2010 - Proceedings of the 20th International Conference on Automated Planning and Scheduling
T2 - 20th International Conference on Automated Planning and Scheduling, ICAPS 2010
Y2 - 12 May 2010 through 16 May 2010
ER -