Verifikace uspořádaných hierarchických plánů

Abstract

Hierarchical planning is a planning approach where tasks are decomposed into small- er subtasks down to primitive tasks. While planning tries to find an executable plan, verification deals with the opposite problem. For a given sequence of actions, it checks if it can be correctly obtained by decomposing some task. This thesis focuses on the use of parsing techniques from formal grammars for verification of hierarchical plans. We exam- ine, implement and compare existing techniques such as the Earley parser and algorithm CYK.

Hierarchické plánovanie je spôsob plánovania, pri ktorom sa úlohy rozkladajú na men- šie podúlohy až po primitívne úlohy. Kým plánovanie sa snaží nájsť vykonateľný plán, verifikácia rieši opačný problém. Pre danú postupnosť akcií overuje, či je korektne prevodi- teľná a dá sa získať rozložením nejakej úlohy. Táto práca sa zaoberá využitím parsovacích techník z formálnych gramatík na verifikáciu hierarchických plánov. Zameriavame sa na preskúmanie, implementovanie a porovnanie existujúcich techník ako sú Earleyho parser a algoritmus CYK.