Sciweavers

AIPS
2011

Directed Search for Generalized Plans Using Classical Planners

12 years 7 months ago
Directed Search for Generalized Plans Using Classical Planners
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification, a goal condition, and a class of concrete problem inor initial states to be solved, expressed in an abstract first-order representation. Starting with an empty generalized plan, our overall approach is to incrementally increase the applicability of the plan by identifying a problem instance that it cannot solve, invoking a classical planner to solve that problem, generalizing the obtained solution and merging it back into the generalized plan. The main contributions of this paper are methods for (a) generating and solving small problem instances not yet covered by an existing generalized plan, (b) ing between concrete classical plans and abstract plan representations, and (c) extending partial generalized plans and increasing their applicability. We analyze the theoretical properties of these methods, prov...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber
Added 24 Aug 2011
Updated 24 Aug 2011
Type Journal
Year 2011
Where AIPS
Authors Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein, Tianjiao Zhang
Comments (0)