Validation and Recognition of Hierarchical Plans

Abstract

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.