List of results published directly linked with the projects co-funded by the Spanish Ministry of Economy and Competitiveness under the María de Maeztu Units of Excellence Program (MDM-2015-0502).

List of publications acknowledging the funding in Scopus.

The record for each publication will include access to postprints (following the Open Access policy of the program), as well as datasets and software used. Ongoing work with UPF Library and Informatics will improve the interface and automation of the retrieval of this information soon.

The MdM Strategic Research Program has its own community in Zenodo for material available in this repository   as well as at the UPF e-repository   

 

 

Back Lotinac D, Jonsson A. Constructing Hierarchical Task Models Using Invariance Analysis. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16), 2016

Lotinac D, Jonsson A. Constructing Hierarchical Task Models Using Invariance Analysis. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16), 2016

 

Hierarchical Task Networks (HTNs) are a common model for encoding knowledge about planning domains in the form of task decompositions. We present a novel algorithm that uses invariant analysis to construct an HTN from the PDDL description of a planning domain and a single representative instance. The algorithm defines two types of composite tasks that interact to achieve the goal of a planning instance. One type of task achieves fluents by traversing invariants in which only one fluent can be true at a time. The other type of task applies a single action, which first involves ensuring that the precondition of the action holds. The resulting HTN can be applied to any instance of the planning domain, and is provably sound. We show that the performance of our algorithm is comparable to algorithms that learn HTNs from examples and use added knowledge

Link: http://www.ai.upf.edu/publications/constructing-hierarchical-task-models-using-invariance-analysis

Related Assets