资源论文On the Decidability of HTN Planning with Task Insertion

On the Decidability of HTN Planning with Task Insertion

2019-11-12 | |  51 |   37 |   0

Abstract The ?eld of deterministic AI planning can roughly be divided into two approaches — classical statebased planning and hierarchical task network (HTN) planning. The plan existence problem of the former is known to be decidable while it has been proved undecidable for the latter. When extending HTN planning by allowing the unrestricted insertion of tasks and ordering constraints, one obtains a form of planning which is often referred to as “hybrid planning”. We present a simpli?ed formalization of HTN planning with and without task insertion. We show that the plan existence problem is undecidable for the HTN setting without task insertion and that it becomes decidable when allowing task insertion. In the course of the proof, we obtain an upper complexity bound of EXPSPACE for the plan existence problem for propositional HTN planning with task insertion.

上一篇:Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems

下一篇:Point-Based Value Iteration for Constrained POMDPs

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...