02/02/2021

Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis

Conny Olz, Susanne Biundo, Pascal Bercher

Keywords:

Abstract Paper Similar Papers

Abstract: In Hierarchical Task Network (HTN) planning, compound tasks need to be refined into executable (primitive) action sequences. In contrast to their primitive counterparts, compound tasks do not specify preconditions or effects. Thus, their implications on the states in which they are applied are not explicitly known: they are "hidden" in and depending on the decomposition structure. We formalize several kinds of preconditions and effects that can be inferred for compound tasks in totally ordered HTN domains. As relevant special case we introduce a problem relaxation which admits reasoning about preconditions and effects in polynomial time. We provide procedures for doing so, thereby extending previous work, which could only deal with acyclic models. We prove our procedures to be correct and complete for any totally ordered input domain. These results are embedded into an encompassing complexity analysis of the inference of preconditions and effects of compound tasks, an investigation that has not been made so far.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38947836
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at AAAI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 5:34 
 0
 0
 0
 0
 9:58 
 0
 0
 0
 0
 3:04 
 0
 0
 0
 0
 9:55 
 0
 0
 0
 0
 8:49 
 0
 0
 0
 0
 5:26 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 14:51 
 0
 0
 0
 0
 5:10 
 0
 0
 0
 0
 10:27 
 0
 0
 0
 0
 14:43 
 0
 0
 0
 0
 6:17 
 0
 0
 0
 0
 3:25 
 0
 0
 0
 0
 10:20 
 0
 0
 0
 0
 5:26 
 0
 0
 0
 0
 5:22 
 0
 0
 0
 0
 11:30 
 0
 0
 0
 1
 9:57 
 0
 0
 0
 0
 3:22 
 0
 0
 0
 0
 4:43 
 0
 0
 0
 0
 15:08 
 0
 0
 0
 0
 5:07 
 0
 0
 0
 0
 14:56 
 0
 0
 0
 0
 5:13 
 1
 0
 0
 1
 14:32 
 0
 0
 0
 0
 18:54 
 0
 0
 0
 0
 3:34 
 0
 0
 0
 0
 21:49 
 0
 0
 0
 0
 6:58 
 0
 0
 0
 0
 14:05 
 0
 0
 0
 0
 18:47 
 0
 0
 0
 0
 3:25 
 0
 0
 0
 0
 2:56 
 0
 0
 0
 0
 5:42 
 0
 0
 0
 0
 10:00 
 0
 0
 0
 0
 2:32 
 0
 0
 0
 0
 14:52 
 0
 0
 0
 0
 4:49 
 0
 0
 0
 0
 18:23 
 0
 0
 0
 0
 14:47