Editor hierarchických plánovacích modelů

• Název práce v češtině: Editor hierarchických plánovacích modelů
• Název v anglickém jazyce: Editor of hierarchical planning models
• Klíčová slova: editace, vizualizace, verifikace, hierarchické plány
• Klíčová slova anglicky: editing, visualisation, verification, hierarchical plans
• Akademický rok vypsání: 2019/2020
• Typ práce: bakalářská 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: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 11.08.2020
• Datum zadání: 18.08.2020
• Datum potvrzení stud. oddělením: 28.08.2020

Zásady pro vypracování

Cílem práce je navrhnout multiplatformní software pro editaci doménových modelů a plánů pro hierarchické plánování. Software umožní vizuální zobrazení modelu a plánu, jejich editaci a základní verifikaci a převod mezi různými modelovacími jazyky jako je SHOP2 a HDDL.

Seznam odborné literatury

R. Barták, A. Maillard, and R. C. Cardoso, “Validation of hierarchical plans via parsing of attribute grammars,” in Proc. of ICAPS. AAAI Press, 2018, pp. 11–19. 


D. Nau, O. Ilghami, U. Kuter, J. W. Murdock, D. Wu, and F. Yaman, “SHOP2: An HTN planning system,” Journal of Artificial Intelligence Research, vol. 20, pp. 379–404, 2003. 


D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier, and R. Alford, “HDDL: An extension to PDDL for expressing hierarchical planning problems,” in Proc. of AAAI. AAAI Press, 2020., pp. 9883-9891.