Original title:
Validace a rozpoznávání hierarchických plánů
Translated title:
Validation and Recognition of Hierarchical Plans
Authors:
Ondrčková, Simona ; Barták, Roman (advisor) ; Gemrot, Jakub (referee) Document type: Master’s theses
Year:
2020
Language:
eng Abstract:
[eng][cze] Planning is a method where we try to fulfil a certain goal or goal task by finding a sequence of actions called plan. Hierarchical Task Networks is a method of planning that decomposes tasks to subtasks until we get primitive tasks (tasks that cannot be further decomposed or actions). Plan validation takes these actions and verifies whether the goal task actually decomposes to them. Plan recognition takes prefix of these actions, finds the missing ones and verifies whether the goal task can decompose into them. In this thesis I will be creating two programs: one program that solves the plan validation and one that solves the plan recognition problem using a parsing method known in grammars.Plánování je metoda, ve které se snažíme splnit cíl nebo cílovou úlohu vytvořením sekvence akcí, jež se nazývá plán. Hierarchické plánování je varianta plánování, která rozkládá úlohy na pod-úlohy a ty na další pod-úlohy dokud nedostaneme primitivní akce (pod-úlohy, jež se nedají rozložit). Validace plánů vezme seznam akcí a ověří zda cílová úloha je rozložitelná na tyto akce. Rozpoznávání plánů vezme prefix těchto akcí, najde ty chybějící a ověří zda se na ně dá cílová úloha rozložit. V této práci budu vytvářet dva programy. První program bude řešit problém verifikace plánů a druhý problém rozpoznávání plánů. Oba programy budou používat techniku parsování známou z oblasti gramatik.
Keywords:
formal grammars; hierarchical planning; recognition; validation; formální gramatiky; hierarchické plánování; rozpoznávání; validace
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/116612