Validation and Recognition of Hierarchical Plans
| Thesis title in Czech: | Validace a rozpoznávání hierarchických plánů |
|---|---|
| Thesis title in English: | Validation and Recognition of Hierarchical Plans |
| Key words: | hierarchické plánování, formální gramatiky, validace, rozpoznávání |
| English key words: | hierarchical planning, formal grammars, validation, recognition |
| Academic year of topic announcement: | 2024/2025 |
| Thesis type: | rigorosum thesis |
| Thesis language: | angličtina |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | prof. RNDr. Roman Barták, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 01.10.2024 |
| Date of assignment: | 01.10.2024 |
| Confirmed by Study dept. on: | 01.10.2024 |
| Date and time of defence: | 16.10.2024 00:00 |
| Date of electronic submission: | 02.10.2024 |
| Date of submission of printed version: | 02.10.2024 |
| Date of proceeded defence: | 16.10.2024 |
| Guidelines |
| 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. |
| References |
| 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 |