Validation and Recognition of Hierarchical Plans
| Název práce v češtině: | Validace a rozpoznávání hierarchických plánů |
|---|---|
| Název v anglickém jazyce: | Validation and Recognition of Hierarchical Plans |
| Klíčová slova: | hierarchické plánování, formální gramatiky, validace, rozpoznávání |
| Klíčová slova anglicky: | hierarchical planning, formal grammars, validation, recognition |
| Akademický rok vypsání: | 2018/2019 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ú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í: | 03.11.2018 |
| Datum zadání: | 05.11.2018 |
| Datum potvrzení stud. oddělením: | 26.11.2018 |
| Datum a čas obhajoby: | 03.02.2020 09:00 |
| Datum odevzdání elektronické podoby: | 06.01.2020 |
| Datum odevzdání tištěné podoby: | 07.01.2020 |
| Datum proběhlé obhajoby: | 03.02.2020 |
| Oponenti: | Mgr. Jakub Gemrot, Ph.D. |
| Zásady pro vypracování |
| The student will familiarize with techniques of hierarchical planning, namely Hierarchical Task Networks (HTNs), and using formal grammars in this context. The student will focus on techniques for analyzing hierarchical plans and hierarchical models, in particular, on validation and recognition of hierarchical plans. The goal of thesis is proposing novel techniques for hierarchical plan validation and recognition based on formal grammars. |
| Seznam odborné literatury |
| Roman Barták, Adrien Maillard, Rafael Cauê Cardoso: Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS 2018: 11-19
Roman Barták, Adrien Maillard: Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. PPDP 2017: 39-48 Gregor Behnke, Daniel Höller, Susanne Biundo: This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017: 20-28 Christopher W. Geib, Pavan Kantharaju: Learning Combinatory Categorial Grammars for Plan Recognition. AAAI 2018: 3007-3014 Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo: Plan and Goal Recognition as HTN Planning. AAAI Workshops 2018: 607-613 |