请输入您要查询的百科知识:

 

词条 Hierarchical task network
释义

  1. See also

  2. References

{{short description|Approach to automated planning}}

In artificial intelligence, hierarchical task network (HTN) planning is an approach to automated planning in which the dependency among actions can be given in the form of hierarchically structured networks.

Planning problems are specified in the hierarchical task network approach by

providing a set of tasks, which can be:

  1. primitive tasks, which roughly correspond to the actions of STRIPS;
  2. compound tasks, which can be seen as composed of a set of simpler tasks;
  3. goal tasks, which roughly corresponds to the goals of STRIPS, but are more general.

A solution to an HTN problem is then an executable sequence of primitive tasks that can be obtained from the initial task network by decomposing compound tasks into their set of simpler tasks, and by inserting ordering constraints.

A primitive task is an action that can be executed directly given the state in which it is executed supports its precondition. A compound task is a complex task composed of a partially ordered set of further tasks, which can either be primitive or abstract. A goal task is a task of satisfying a condition. The difference between primitive and other tasks is that the primitive actions can be directly executed. Compound and goal tasks both require a sequence of primitive actions to be performed; however, goal tasks are specified in terms of conditions that have to be made true, while compound tasks can only be specified in terms of other tasks via the task network outlined below.

Constraints among tasks are expressed in the form of networks, called (hierarchical) task networks. A task network is a set of tasks and constraints among them. Such a network can be used as the precondition for another compound or goal task to be feasible. This way, one can express that a given task is feasible only if a set of other actions (those mentioned in the network) are done, and they are done in such a way that the constraints among them (specified by the network) are satisfied. One particular formalism for representing hierarchical task networks that has been fairly widely used is TAEMS.

Some of the best-known domain-independent HTN-planning systems are:

  • Nonlin, one of the first HTN planning systems.[1]
  • SIPE-2[2]
  • O-Plan[3]
  • UMCP, the first provably sound and complete HTN planning systems.[4]
  • SHOP2, a HTN-planner developed at University of Maryland, College Park.[5]
  • PANDA, a system designed for hybrid planning, an extension of HTN planning developed at Ulm University, Germany. [6]
  • HTNPlan-P, preference-based HTN planning.[7]

HTN planning is strictly more expressive than STRIPS, to the point of being undecidable in the general case.[8] However, many syntactic restrictions of HTN planning are decidable, with known complexities ranging from NP-complete to 2-EXPSPACE-complete,[9] and some HTN problems can be efficiently compiled into PDDL, a STRIPS-like language.[10]

See also

  • STRIPS
  • Hierarchical control system - a feedback control system well suited for HTN planning

References

1. ^Nonlin
2. ^{{cite web|url=http://www.ai.sri.com/~sipe/|title=SIPE-2: System for Interactive Planning and Execution|author=David E. Wilkins|work=Artificial Intelligence Center|publisher=SRI International|accessdate=2013-06-13}}
3. ^O-Plan
4. ^UMCP
5. ^SHOP2
6. ^[https://www.uni-ulm.de/en/in/ki/research/software/panda/]
7. ^HTNPlan-P
8. ^{{cite journal |last= Erol |first= Kutluhan |last2= Hendler |first2= James |last3= Nau |first3= Dana S. |year= 1996 |title= Complexity results for htn planning |url= http://www.cs.umd.edu/~nau/papers/erol1996complexity.pdf |journal= Annals of Mathematics and Artificial Intelligence |publisher= Springer |volume= 18 |pages= 69–93 |access-date=8 February 2015}}
9. ^{{cite conference | title = Tight Bounds for HTN Planning | last1 = Alford | first1 = Ron | last2 = Bercher | first2 = Pascal | last3 = Aha | first3 = David | url = http://www.volus.net/publications/alford2015tight.pdf | conference = Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS) | date=June 2015 | access-date=8 February 2015}}
10. ^{{cite conference | title = Translating HTNs to PDDL: A small amount of domain knowledge can go a long way | last1 = Alford | first1 = Ron | last2 = Kuter | first2 = Ugur | last3 = Nau | first3 = Dana S. | url = http://www.cs.umd.edu/~nau/papers/alford2009translating.pdf | conference = Twenty-First International Joint Conference on Artificial Intelligence (IJCAI) | date=July 2009 | access-date=8 February 2015}}
{{DEFAULTSORT:Hierarchical Task Network}}

2 : Automated planning and scheduling|Behavior selection algorithms

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/13 23:41:55