Lotinac D, Jonsson A. Constructing Hierarchical Task Models Using Invariance Analysis. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16), 2016
We develop a large number of software tools and hosting infrastructures to support the research developed at the Department. We will be detailing in this section the different tools available. You can take a look for the moment at the offer available within the UPF Knowledge Portal, the innovations created in the context of EU projects in the Innovation Radar and the software sections of some of our research groups:
Artificial Intelligence |
Nonlinear Time Series Analysis |
Web Research |
Music Technology |
Interactive Technologies |
Barcelona MedTech |
Natural Language Processing |
Nonlinear Time Series Analysis |
UbicaLab |
Wireless Networking |
Educational Technologies |
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