Original title: Sémantiky a transformace HTN modelů
Translated title: Semantics and transformations of HTN models
Authors: Kroupa, David ; Barták, Roman (advisor) ; Ondrčková, Simona (referee)
Document type: Bachelor's theses
Year: 2025
Language: cze
Abstract: [cze] [eng]
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.
Keywords: hierarchical planning|hierarchical task networks|semantics|transformations; hierarchické plánování|hierarchické sítě úloh|sémantika|transformace

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/200784

Permalink: http://www.nusl.cz/ntk/nusl-687363


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses