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

A la Recerca de l'arquetip del Llibre dels feits del rei en Jaume I. Una traditio rica i multilingüe (primera part)

Les edicions delsmss. C i D del Llibre dels feits i de la versió aragonesa de Fernández de Heredia i els estudis recents sobre la versió llatina de Marsili i sobre crítica textual de la crònica jaumina fan necessari el replantejament de la reconstrucció de l'arquetip. En aquesta primera part del meu estudi es revisa la història de la transmissió textual de la crònica jaumina i s'analitzen les característiques textuals i filològiques de cada testimoni de cara a l'establiment d'un nou stemma codicum.In search of the archetype of King James I?s Llibre dels feits. A rich, multilingual traditio The editions of mss. C and D of the Llibre dels feits and of Fernández de Heredia?s Aragonese version and the recent studies on Marsili?s Latin version and on textual criticismof King James? chroniclemake it necessary to give further thought to the reconstruction of the archetype. In this first part of my study I review the history of textual transmission of the Llibre dels feits and analyze the textual and philological features of each of the versions in order to establish a new stemma codicum