Generalized Planning via Abstraction: Arbitrary Numbers of Objects

Authors

  • León Illanes University of Toronto
  • Sheila A. McIlraith University of Toronto

DOI:

https://doi.org/10.1609/aaai.v33i01.33017610

Abstract

We consider a class of generalized planning problems based on the idea of quantifying over sets of similar objects. We show how we can adapt fully observable nondeterministic planning techniques to produce generalized solutions that are easy to instantiate over particular problem instances. We also describe how we can reformulate a classical planning problem into a quantified one. The reformulation allows us to solve the original planning task without grounding every action with respect to all objects in the problem, and a single solution can be applied to a possibly infinite set of related classical planning tasks. We report experimental results that show our approach is a practical and promising technique for solving an interesting class of problems.

Downloads

Published

2019-07-17

How to Cite

Illanes, L., & McIlraith, S. A. (2019). Generalized Planning via Abstraction: Arbitrary Numbers of Objects. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 7610-7618. https://doi.org/10.1609/aaai.v33i01.33017610

Issue

Section

AAAI Technical Track: Planning, Routing, and Scheduling