Editor hierarchických plánovacích modelů

• Thesis title in Czech: Editor hierarchických plánovacích modelů
• Thesis title in English: Editor of hierarchical planning models
• Key words: editace, vizualizace, verifikace, hierarchické plány
• English key words: editing, visualisation, verification, hierarchical plans
• Academic year of topic announcement: 2019/2020
• Thesis type: Bachelor's 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: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 11.08.2020
• Date of assignment: 18.08.2020
• Confirmed by Study dept. on: 28.08.2020

Guidelines

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.

References

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.