Sémantiky a transformace HTN modelů

• Název práce v češtině: Sémantiky a transformace HTN modelů
• Název v anglickém jazyce: Semantics and transformations of HTN models
• Klíčová slova: hierarchické plánování|hierarchické sítě úloh|sémantika|transformace
• Klíčová slova anglicky: hierarchical planning|hierarchical task networks|semantics|transformations
• Akademický rok vypsání: 2023/2024
• Typ práce: bakalářská práce
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: prof. RNDr. Roman Barták, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 12.03.2024
• Datum zadání: 18.03.2024
• Datum potvrzení stud. oddělením: 18.03.2024

Zásady pro vypracování

Hierarchical planning is an approach to automated planning based on task decompositions. Hierarchical task network (HTN) is the most widely used approach to hierarchical planning, which uses decomposition rules with specific decomposition constraints. The goal of thesis is to survey and compare various semantics describing hierarchical tasks networks and to propose techniques for transformation between models, for example to compile away unsupported features.

Seznam odborné literatury

Kutluhan Erol, James A. Hendler, Dana S. Nau: Complexity Results for HTN Planning. Ann. Math. Artif. Intell. 18(1): 69-93 (1996)

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo: Language Classification of Hierarchical Planning Problems. ECAI 2014: 447-452

Songtuan Lin, Gregor Behnke, Simona Ondrčková, Roman Barták, Pascal Bercher: On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI 2023: 12041-12048

Simona Ondrčková, Roman Barták: On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. ICTAI 2023: 349-353

Simona Ondrčková, Kristýna Pantůčková, Roman Barták: Handling Empty Decomposition Methods in Hierarchical Planning. FLAIRS 2024