Automaty v plánování
| Název práce v češtině: | Automaty v plánování |
|---|---|
| Název v anglickém jazyce: | Formal Automata and Planning |
| Akademický rok vypsání: | 2018/2019 |
| Typ práce: | diplomová práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
| Vedoucí / školitel: | prof. RNDr. Roman Barták, Ph.D. |
| Řešitel: |
| Zásady pro vypracování |
| Student se bude zabývat použitím formálních automatů v plánování například využitím konečných automatů pro popis změn stavů světa. Tématem práce budou jak formální modely problému založené na automatech tak i využití automatů při řešení problému. Cílem práce je prostudovat existující využití formálních automatů v plánovaní a na tomto základě navrhnout nový plánovací algoritmus. |
| Seznam odborné literatury |
| M. Ghallab, D. Nau, P. Traverso: Automated Planning: Theory and Practice, Morgan Kaufmann, 2004.
S. Hickmott, B. Bonet, P. Haslum, S. Thiebaux and S. Edelkamp: Petri Nets and Their Relation to Planning, Tutorial at ICAPS 2009 conference, http://icaps09.uom.gr/tutorials/tut2.zip. R. Barták, D. Toropila: Revisiting Constraint Models for Planning Problems. In J. Rauch et al. (Eds.): ISMIS 2009, LNAI 5722, Springer Verlag, 2009, pp. 582-591. |