Tractability of Planning with Loops

Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, and Stuart Russell. Tractability of Planning with Loops. Proceedings of the Twenty-Ninth Conference on Artificial Intelligence (AAAI), 3393-3401, Austin, Texas, 2015.


We create a unified framework for analyzing and synthesizing plans with loops for solving problems with non-deterministic numeric effects and a limited form of partial observability. Three different action models -- with deterministic, qualitative non-deterministic and Boolean non-deterministic semantics -- are handled using a single abstract representation. We establish the conditions under which the correctness and termination of solutions, represented as abstract policies, can be verified. We also examine the feasibility of learning abstract policies from examples. We demonstrate our techniques on several planning problems and show that they apply to challenging real-world tasks such as doing the laundry with a PR2 robot. These results resolve a number of open questions about planning with loops and facilitate the development of new algorithms and applications.

Bibtex entry:

  author	= {Siddharth Srivastava and Shlomo Zilberstein and
                   Abhishek Gupta and Pieter Abbeel and Stuart Russell},
  title		= {Tractability of Planning with Loops},
  booktitle     = {Proceedings of the Twenty-Ninth Conference on Artificial
  year		= {2015},
  pages		= {3393-3401},
  address       = {Austin, Texas},
  url		= {}
UMass Amherst