Název: Hierarchické modelování plánovacích problémů
Překlad názvu: Hierarchical Modeling of Planning Problems
Autoři: Dvořák, Tomáš ; Barták, Roman (vedoucí práce) ; Plátek, Martin (oponent)
Typ dokumentu: Diplomové práce
Rok: 2016
Jazyk: cze
Abstrakt: [cze] [eng]
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)
Klíčová slova: atributová gramatika; model; plánování; verifikace; workflow; attribute grammar; model; planning; verification; workflow

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/83142

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-352791


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce