Merging Example Plans into Generalized Plans for Non-deterministic Environments

Siddharth Srivastava, Neil Immerman, and Shlomo Zilberstein. Merging Example Plans into Generalized Plans for Non-deterministic Environments. Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 1341-1348, Toronto, Canada, 2010.

Abstract

We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but lack of probabilistic information about these uncertainties. We use a state abstraction technique from static analysis of programs, which uses 3-valued logic to compactly represent belief states with unbounded numbers of objects. Our approach for finding plans is to incrementally generalize and merge input example plans which can be generated by classical planners. The expressiveness and scope of this approach are demonstrated using experimental results on common benchmark domains.

Bibtex entry:

@inproceedings{SIZaamas10,
  author	= {Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein},
  title		= {Merging Example Plans into Generalized Plans for
                   Non-deterministic Environments},
  booktitle     = {Proceedings of the Ninth International Conference on Autonomous
                   Agents and Multiagent Systems},
  year		= {2010},
  pages		= {1341-1348},
  address       = {Toronto, Canada},
  url		= {http://rbr.cs.umass.edu/shlomo/papers/SIZaamas10.html}
}

shlomo@cs.umass.edu
UMass Amherst