Hierarchické modelování plánovacích problémů

Abstract

Automatické plánování je problém nalezení sekvence akcí vedoucích z daného počátečního stavu do požadovaného cílového stavu. Existuje celá řada formálních modelů určených pro modelování plánovacích problémů. Jednou z větví je třída formálních modelů umožňujících definovat hierarchickou strukturu mezi akcemi. Tato práce navrhuje hierarchický model, nazvaný GramPlan, založený na atributových gramatikách. Ukazuje několik způsobů jak lze na GramPlan převést problém zadaný klasickým STRIPS formalismem a dokazuje korektnost těchto převodů. Práce předvádí převod workflow z FlowOpt formalismu na GramPlan a dokazuje korektnost takového převodu. Nakonec jsou navrhnuty dva způsoby jak GramPlan model verifikovat a je dokázáno, že jsou ekvivalentní a dávají stejný výsledek. Powered by TCPDF (www.tcpdf.org)

Automated planning is a task to find a sequence of actions leading from an initial state to a desired goal state. There is a lot of formal models for planning problems modeling. The class of hierarchical formal models is one of them. In this thesis we will propose a hierarchical model, called GramPlan, based on attribute grammars. We will present some methods to reduce classical STRIPS formalism to GramPlan and we will prove the correctness of this reduction. Also we will present reduction of the FlowOpt workflow model to GramPlan and we will prove it's correctness. We will desing a couple of verification methods for attribute grammars and we will show these methods are equivalent. Powered by TCPDF (www.tcpdf.org)