TY - GEN
T1 - Termination and Correctness Analysis of Cyclic Control
AU - Srivastava, Siddharth
AU - Immerman, Neil
AU - Zilberstein, Shlomo
N1 - Funding Information:
Support for this work was provided in part by the National Science Foundation under grants IIS-0915071, CCF-0541018, and CCF-0830174.
Publisher Copyright:
Copyright © 2011, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2011/8/11
Y1 - 2011/8/11
N2 - The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan 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 applicability of loops of actions. We present an overview of recent results for determining the class of problems that a plan with loops can solve. These methods can be used to direct the construction of a rich new form of generalized plans that solve a desired class of problems.
AB - The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan 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 applicability of loops of actions. We present an overview of recent results for determining the class of problems that a plan with loops can solve. These methods can be used to direct the construction of a rich new form of generalized plans that solve a desired class of problems.
UR - http://www.scopus.com/inward/record.url?scp=85167606116&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85167606116&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85167606116
T3 - Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011
SP - 1567
EP - 1570
BT - Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011
PB - AAAI press
T2 - 25th AAAI Conference on Artificial Intelligence, AAAI 2011
Y2 - 7 August 2011 through 11 August 2011
ER -