Automaty v plánování
| Thesis title in Czech: | Automaty v plánování |
|---|---|
| Thesis title in English: | Formal Automata and Planning |
| Academic year of topic announcement: | 2018/2019 |
| Thesis type: | diploma thesis |
| Thesis language: | čeština |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | prof. RNDr. Roman Barták, Ph.D. |
| Author: |
| Guidelines |
| 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. |
| References |
| 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. |