Sémantiky a transformace HTN modelů

Abstract

Hierarchická síť úloh (HTN) je způsob plánování obsahující složené úlohy, které lze dekomponovat na podúlohy, které mohou být opět dekomponovány nebo přímo vyko- nány. HTN je rozšíření klasického plánování podobně jako bezkontextové jazyky rozši- řují regulární jazyky. Tato práce má dva cíle. Prvním je popsat, porovnat a analyzovat různé sémantiky. Druhým je navrhnout transformace HTN modelů, které by neztrácely žádné informace a vlastnosti modelů. Značná část této práce se zabývá vyřešením pro- blémů prázdných metod, které většinou nejsou moc dobře zpracovány. Největší výzva HTN transformací je správná správa plánovacích omezujících podmínek.

Hierarchical task network (HTN) is an approach to planning where compound tasks are decomposed into subtasks that can be either decomposed or executed right away. HTN is an extension of classical planning analogously as context-free languages extend regular languages. The goal of the thesis is split into two parts: describe, compare, and analyze various semantics and propose transformations of HTN models that do not lose any characteristics about the model. A significant piece of the thesis aims at handling empty methods which are usually not defined properly. The biggest challenges of HTN transformations lie in the proper management of constraints.