4,343 research outputs found
Learning Features and Abstract Actions for Computing Generalized Plans
Generalized planning is concerned with the computation of plans that solve
not one but multiple instances of a planning domain. Recently, it has been
shown that generalized plans can be expressed as mappings of feature values
into actions, and that they can often be computed with fully observable
non-deterministic (FOND) planners. The actions in such plans, however, are not
the actions in the instances themselves, which are not necessarily common to
other instances, but abstract actions that are defined on a set of common
features. The formulation assumes that the features and the abstract actions
are given. In this work, we address this limitation by showing how to learn
them automatically. The resulting account of generalized planning combines
learning and planning in a novel way: a learner, based on a Max SAT
formulation, yields the features and abstract actions from sampled state
transitions, and a FOND planner uses this information, suitably transformed, to
produce the general plans. Correctness guarantees are given and experimental
results on several domains are reported.Comment: Preprint of paper accepted at AAAI'19 conferenc
Building and Refining Abstract Planning Cases by Change of Representation Language
ion is one of the most promising approaches to improve the performance of
problem solvers. In several domains abstraction by dropping sentences of a
domain description -- as used in most hierarchical planners -- has proven
useful. In this paper we present examples which illustrate significant
drawbacks of abstraction by dropping sentences. To overcome these drawbacks, we
propose a more general view of abstraction involving the change of
representation language. We have developed a new abstraction methodology and a
related sound and complete learning algorithm that allows the complete change
of representation language of planning cases from concrete to abstract.
However, to achieve a powerful change of the representation language, the
abstract language itself as well as rules which describe admissible ways of
abstracting states must be provided in the domain model. This new abstraction
approach is the core of Paris (Plan Abstraction and Refinement in an Integrated
System), a system in which abstract planning cases are automatically learned
from given concrete cases. An empirical study in the domain of process planning
in mechanical engineering shows significant advantages of the proposed
reasoning from abstract cases over classical hierarchical planning.Comment: See http://www.jair.org/ for an online appendix and other files
accompanying this articl
- …