|
|
Porovnání klasických metod plánování
Černianska, Rebeka ; Zbořil, František (oponent) ; Zbořil, František (vedoucí práce)
Táto bakalárska práca sa zaoberá problematikou automatizovaného plánovania a existujúcich metód, ktoré riešia jeho problémy. Ide o analýzu a porovnanie správania metód STRIPS, Graphplan a HTN, ktoré implementujú rôzne prístupy plánovania. Ich fungovanie je testované na typických plánovacích úlohách, ktoré sú zamerané na ich rôzne problémy. Cieľom bolo nájsť vhodné využitie jednotlivých metód, ako aj ich výhody a nevýhody v závislosti od zadanej úlohy. Na testovanie boli zvolené existujúce implementácie skúmaných metód, na ktorých je ukázané ich správanie.
|
|
|
Porovnání klasických metod plánování
Černianska, Rebeka ; Zbořil, František (oponent) ; Zbořil, František (vedoucí práce)
Táto bakalárska práca sa zaoberá problematikou automatizovaného plánovania a existujúcich metód, ktoré riešia jeho problémy. Ide o analýzu a porovnanie správania metód STRIPS, Graphplan a HTN, ktoré implementujú rôzne prístupy plánovania. Ich fungovanie je testované na typických plánovacích úlohách, ktoré sú zamerané na ich rôzne problémy. Cieľom bolo nájsť vhodné využitie jednotlivých metód, ako aj ich výhody a nevýhody v závislosti od zadanej úlohy. Na testovanie boli zvolené existujúce implementácie skúmaných metód, na ktorých je ukázané ich správanie.
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Názov: Vizualizácia a verifikácia plánov Autor: Radoslav Glinský Katedra: Katedra teoretickej informatiky a matematickej logiky Vedúci bakalárskej práce: Doc. RNDr. Roman Barták, Ph.D. Abstrakt: Analýza plánov je dôležitou sú as ou kompletných plánovacích systémov. Aby smeč ť umožnili užívate omľ orientovať sa aj vo vä ších plánoch, vytvorili sme program, ktorý pomáha s analýzou ač vizualizáciou plánov. Program sa volá VisPlan - Interactive Visualization and Verification of Plans. VisPlan je neoddelite nouľ sú as ouč ť bakalárskej práce, ke že prakticky implementuje jej vizualiza né aď č verifika né riešenia. VisPlan nachádza a zobrazuječ kauzálne väzby medzi akciami, identifikuje možné chyby v pláne (a tak overuje jeho korektnos ), zvýraz uje nájdenéť ň chyby v pláne a umož ujeň užívate om interaktívne modifikova plán, a teda opravi chyby v pláne alebo ho jednoducho vylepši .ľ ť ť ť K úľ ovč é slová: Plánovanie, Umelá inteligencia, PDDL, Verifikácia
|
|
|
Vizualizace plánů pro logistické úlohy
Stočes, Filip ; Surynek, Pavel (vedoucí práce) ; Dvořák, Filip (oponent)
Analýza plánů je důležitá při testování plánovacích systémů i při kontrole plánu před jeho provedením. Program VLP (Visualizace Logistických Plánů), který je výsledkem této práce, umožňuje uživateli orientaci v plánech pro logistické úlohy a pomáhá mu nalézt v nich případné nedostatky. S pomocí tohoto programu uživatel může vytvořit logistický problém a spustit plánovač, který vytvoří řešení (plán) pro tento problém. Program následně plán přehledně vizualizuje a simuluje jeho provedení, což uživateli usnadní analýzu tohoto plánu. Vše probíhá v grafickém uživatelském prostředí, takže se uživatel nemusí zabývat PDDL zápisem problému a plánu.
|
|
|
Tahové hry v 2D mřížce využívající PDDL simulátor
Macke, Jaroslav ; Gemrot, Jakub (vedoucí práce) ; Brunetto, Robert (oponent)
PDDL je jazyk, ve kterém se zapisují plánovací problémy. V této práci se zabýváme tím, jak pomocí jazyka PDDL vytvářet simulační hry. Zejména pak si- mulační hry v 2D mřížce. Nejprve ukážeme, že tvoření těchto her pomocí PDDL má několik nedostatků. V zápětí klasické PDDL rozšíříme o několik funkcí, které nám tvorbu her umožní. K těmto rozšířením přidáme i několik funkcí, které nám značně zjednoduší tvorbu her. Pro toto upravené PDDL vytvoříme program, který na základě PDDL a vhodného konfiguračního souboru vytvoří interak- tivní simulaci s možností vizualizace. V tomto prostředí pak v jazyce PDDL popíšeme několik her a definujeme jejich vizualizace. 1
|
|
|
Vizualizace plánů pro logistické úlohy
Stočes, Filip ; Surynek, Pavel (vedoucí práce) ; Dvořák, Filip (oponent)
Analýza plánů je důležitá při testování plánovacích systémů i při kontrole plánu před jeho provedením. Program VLP (Visualizace Logistických Plánů), který je výsledkem této práce, umožňuje uživateli orientaci v plánech pro logistické úlohy a pomáhá mu nalézt v nich případné nedostatky. S pomocí tohoto programu uživatel může vytvořit logistický problém a spustit plánovač, který vytvoří řešení (plán) pro tento problém. Program následně plán přehledně vizualizuje a simuluje jeho provedení, což uživateli usnadní analýzu tohoto plánu. Vše probíhá v grafickém uživatelském prostředí, takže se uživatel nemusí zabývat PDDL zápisem problému a plánu.
|
|
|
Petrobras Planning Domain: PDDL Modeling and Solving
Hanes, Martin ; Toropila, Daniel (vedoucí práce) ; Gemrot, Jakub (oponent)
Práce se zabývá doménou Petrobras definovanou pro soutěž ICKEPS 2012. Popisuje příklad těžkého problému, který stojí na hranici mezi rozvrhováním a plánováním. Popisuje state-of-art techniky moderní umělé inteligence, které byly vybrány pro tento účel. Dále práce provází čtenáře procesem modelování v doméně Petrobras v jazyce PDDL a vysvětluje výsledky získané existujícími nástroji používanými v rámci komunity zabývající se plánováním. V závěru exper- imentálně srovnává výsledky zvoleného přístupu a ostatních přístupů používaných v soutěži ICKEPS 2012, které poukazují na použitelnost existujících sekvenčních plánovacích systémů pouze na malé instance problémů z řešené domény.
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Názov: Vizualizácia a verifikácia plánov Autor: Radoslav Glinský Katedra: Katedra teoretickej informatiky a matematickej logiky Vedúci bakalárskej práce: Doc. RNDr. Roman Barták, Ph.D. Abstrakt: Analýza plánov je dôležitou sú as ou kompletných plánovacích systémov. Aby smeč ť umožnili užívate omľ orientovať sa aj vo vä ších plánoch, vytvorili sme program, ktorý pomáha s analýzou ač vizualizáciou plánov. Program sa volá VisPlan - Interactive Visualization and Verification of Plans. VisPlan je neoddelite nouľ sú as ouč ť bakalárskej práce, ke že prakticky implementuje jej vizualiza né aď č verifika né riešenia. VisPlan nachádza a zobrazuječ kauzálne väzby medzi akciami, identifikuje možné chyby v pláne (a tak overuje jeho korektnos ), zvýraz uje nájdenéť ň chyby v pláne a umož ujeň užívate om interaktívne modifikova plán, a teda opravi chyby v pláne alebo ho jednoducho vylepši .ľ ť ť ť K úľ ovč é slová: Plánovanie, Umelá inteligencia, PDDL, Verifikácia
|
host ::
RSS.