|
|
Learning for Classical Planning
Chrpa, Lukáš ; Barták, Roman (vedoucí práce)
This thesis is mainly about classical planning for articial intelligence (AI). In planning, we deal with searching for a sequence of actions that changes the environment from a given initial state to a goal state. Planning problems in general are ones of the hardest problems not only in the area of AI, but in the whole computer science. Even though classical planning problems do not consider many aspects from the real world, their complexity reaches EXPSPACE-completeness. Nevertheless, there exist many planning systems (not only for classical planning) that were developed in the past, mainly thanks to the International Planning Competitions (IPC). Despite the current planning systems are very advanced, we have to boost these systems with additional knowledge provided by learning. In this thesis, we focused on developing learning techniques which produce additional knowledge from the training plans and transform it back into planning domains and problems. We do not have to modify the planners. The contribution of this thesis is included in three areas. First, we provided theoretical background for plan analysis by investigating action dependencies or independencies. Second, we provided a method for generating macro-operators and removing unnecessary primitive operators. Experimental evaluation of this method...
|
|
|
Compilation-based Approaches for Automated Planning
Pantůčková, Kristýna ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Jedním z možných přístupů k automatickému plánování je kompilace na problém splnitelnosti (SAT) nebo na splňování omezujících podmínek (CSP). Kompilace nám umožňuje využít vývoje SAT nebo CSP řešičů. V rámci této diplomové práce implementujeme tři z nedávno navržených kódování určených ke kompilaci plánovacích problémů: TCPP, R2 ∃-Step encoding a Reinforced En- coding. Všechny tyto přístupy hledají paralelní plány. Protože se ale liší v definici paralelního kroku a používají jiné proměnné a podmínky, rozhodli jsme se porov- nat jejich výkonnost na plánovacích problémech používaných na mezinárodních plánovacích soutěžích. R2 ∃-Step encoding jsme modifikovali, protože původní verze tohoto kódování nebyla pro naši implementaci vhodná. Naše verze to- hoto kódování používá méně proměnných i podmínek. V této diplomové práci také ukazujeme, jak závisí výkonnost Reinforced Encoding na definici paralelního kroku. Dále uvádíme redundantní podmínky, které mohou být použity k rozšíření těchto kódování. Ačkoliv obecně tyto podmínky nebyly užitečné, dokázaly mírně zlepšit výkonnost na některých plánovacích doménách, především v R2 ∃-Step en- coding.
|
|
|
Navigace jednotek v počítačových hrách za pomocí toků v sítích
Pacovský, Jan ; Gemrot, Jakub (vedoucí práce) ; Chrpa, Lukáš (oponent)
Tato diplomová práce se zabývá navigací jednotek v real-time strategických hrách a zaměřuje se především na problematiku navigace větší skupiny jednotek herním světem, v němž existují zúžená místa. V nich často dochází k výraznému zdržení, kterému by se dalo předejít, pokud by se skupina rozdělila a využila též alternativních cest. V této práci je navrženo řešení tohoto problému pomocí toků v sítích. Převedením herní mapy na síť a její následnou analýzou nalezneme alternativní cesty k přetíženému zúžení, které plánovači cest umožní naplánovat jednotkám ve skupině různé trasy. Předkládaná metoda byla testována v simulá- toru, který byl za tímto účelem zvlášť navržen, a porovnávána s jinými způsoby navigace běžně užívanými v počítačových hrách. Závěrečné vyhodnocení ukazuje, že navigace jednotek pomocí toků v sítích dokáže tento problém úspěšně vyřešit. 1
|
|
|
Exploiting Structures in Automated Planning
Kuckir, Ivan ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Tato práce se zaměřuje na zlepšení procesu automatického plánování skrze rozbití symetrií. Cílem je popsat symetrie, které jsou často zřejmé pro programátory, ale nebyly řádně teoreticky formalizovány. Po analýze dostupných zdrojů se zavedou nové definice v kontextu klasického plánování, jako je např. ekvivalence stavů, T1 automorfizmy a obecnější automorfizmy konstant. Bude dokázáno několik vět o symetriích. Ve výsledku bude navržen algoritmus pro detekci speciální třídy symetrií spolu s metodou využití těchto symetrií během plánování. Budou provedeny experimenty, které ukáží efekt rozbití symetrií na výkon plánovače. Powered by TCPDF (www.tcpdf.org)
|
|
|
Generating Side Quests for RPG Games From Hand-Crafted Building Blocks
Hromada, Tomáš ; Černý, Martin (vedoucí práce) ; Chrpa, Lukáš (oponent)
Počítačové RPG hry často obsahují vedlejší mise, které jsou kratší a nevztahují se k hlavnímu příběhu, a které dávají hráči větší pocit volnosti a více možností na zvolení své vlastní cesty ve hře. Aby tato funkce byla dobrá, je potřeba mít ve hře větší množství vedlejších misí. Nahrazení ručně vytvořených misí těmi generovanými je jedna z možností, jak tento cíl ulehčit, nicméně současné pokusy o generování misí vedly k vytvoření misí jednoduchých a opakujících se. Cíl této práce je prozkoumat odlišný přístup k tomuto problému, a to systém generující vedlejší mise z ručně vytvořených stavebních bloků. Tato práce obsahuje abstraktní popis systému spolu s konkrétní implementací, včetně metod použitých k evaluaci dané implementace. Systém byl evaluován na skupině hráčů, která generované mise hodnotila podobně jako ty ručně vytvořené.
|
|
|
Modelling Planning Problems
Vodrážka, Jindřich ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Téma předložené diplomové práce spadá do oblasti znalostního inženýrství v automatickém plánování. V poslední době je pro reprezentaci plánovacích problémů často využíván koncept stavových proměnných. V rámci této práce je tento koncept využit v novém formalismu pro modelování plánovacích domén. Na základě tohoto formalismu je postaven prototyp nástroje určeného pro modelování plánovacích domén a problémů. Možnosti tohoto nástroje jsou pak demonstrovány na ukázkovém příkladu klasické plánovací domény. Nástroj poskytuje možnost exportu do standartního jazyka pro modelování plánovacích domén. Tím umožňuje propojení s existujícími plánovacími systémy.
|
|
|
Modulární systém na správu obsahu webových stránek
Kulman, Igor ; Lokoč, Jakub (oponent) ; Chrpa, Lukáš (vedoucí práce)
Modulárny systém na správu obsahu webových stránok (ďalej ModularCMS) ponúka užívateľovi možnosť rýchlo a jednoducho vytvoriť a pohodlne spravovať svoju webovú prezentáciu, od jednoduchej osobnej stránky až po rozsiahlejší firemný web. ModularCMS kladie hlavný dôraz na jednoduchosť užívateľského a programátorského rozhrania, čím sa odlišuje od ostatných dostupných CMS. Pod jednoduchosťou užívateľského rozhrania sa myslí to, že ak si koncový užívateľ objedná web postavený na tomto CMS, po jeho nasadení bude môcť jednoducho a hlavne rýchlo spravovať obsah a vykonávať všetky potrebné operácie, ktoré bude potrebovať. ModularCMS je modulárny, umožňuje teda pomocou modulov jednoducho doprogramovať a doplniť ľubovoľnú funkčnosť, ktorú bude konkrétny projekt vyžadovať.
|
|
|
Maticová kalkulačka
Krč-Jediný, Ondrej ; Surynek, Pavel (oponent) ; Chrpa, Lukáš (vedoucí práce)
Cieľom práce je vytvorenie prostredia, ktoré umožní užívateľovi pracovať s vybranými maticovými algoritmami za účelom porozumenia ich princípom. Pomocou jednoduchého jazyka umožní zadávať požiadavky na výpočty a zobrazovať výsledky. Ďalej obsahuje možnosť zobrazovať vysvetlenie a priebeh výpočtu jednotlivých algoritmov, a tak poskytnúť informácie o ich spôsobe fungovania. V projekte sú implementované niektoré základné a niektoré pokročilé algoritmy na prácu s maticami.
|
|
|
Simulace vlakové dopravy s optimalizací
Langhammer, Martin ; Chrpa, Lukáš (oponent) ; Surynek, Pavel (vedoucí práce)
Cílem práce bylo vytvoření systému pro simulaci vlakové dopravy s možností optimalizace. Systém může sloužit pro nalezení optimálního jízdního řádu v pevné železniční síti. Vstup systému se skládá z vlakové sítě, požadavcích pasažérů, tarifních zón a jízdního řádu. Výstupem simulace je utržený zisk. Závislost zisku na jízdním řádu určuje účelovou funkci, které se snažíme najít globální maximum. Pro získání maximálního zisku byly použity dva algoritmy, a to metoda nejvyššího stoupání a diferenciální evoluce. Součástí práce je také experimentální srovnání obou algoritmů.
|
|
|
Compiling Planning Problems
Toropila, Daniel ; Chrpa, Lukáš (oponent) ; Barták, Roman (vedoucí práce)
Napriek tomu, že techniky splňovania podmienok (SP) sú častým spôsobom riešenia rozvrhovacích problémov, v plánovaní sa stále vyskytujú iba zriedka. Na riešenie plánovacích problémov bolo síce vyskúšaných niekol'ko rôznych spôsobov ich aplikácie, avšak žiaden nebol natol'ko úspešný ako napríklad plánovače založené na SAT, a teda žiadna z techník SP sa nestala dominantnou v obore plánovania. V tejto práci prezentujeme a zastávame názor, že existujúce modely klasických plánovacích problémov nevyužívajú potenciál techník SP naplno, na dôkaz čoho predkladáme návrh reformulácie týchto modelov, ktorý významou mierou prispieva k zvýšeniu výpočtovej efektivity pri riešení problémov plánovania.
|
host ::
RSS.