|
|
Using Constrained Horn Clauses for Hierarchical Planning
Kažimír, Marián ; Blicha, Martin (vedoucí práce) ; Pantůčková, Kristýna (oponent)
Název práce: Užití omezených Hornových klauzulí pro hierarchické plánování Autor: Marián Kažimír Katedra / Ústav: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Martin Blicha, Katedra distribuovaných a spo- lehlivých systémů Abstrakt: HTN plánování je populární způsob jak modelovat plánovací problémy. Cílem této práce je naimplementovat HTN řešič založený na překladu plánovacího problému do problému dosažitelnosti v tranzitním systému a ten následně vyřešit pomocí běžného řešiče dosažitelnosti. Klíčová slova: HTN Plánovací problém řešič Tranzitní systém Omezené Hornove klauzule
|
|
|
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.
|
|
|
Optimization of a circulating multi-car elevator system
Pantůčková, Kristýna ; Fink, Jiří (vedoucí práce) ; Matzner, Filip (oponent)
Cirkulující výtahový systém obsahuje několik kabin ve dvou šachtách. V jedné šachtě se kabiny pohybují směrem nahoru, ve druhé směrem dolů. Tento sys- tém se podobá páternosteru, kabiny ale musí pro naložení a vyložení pasažérů zastavit a otevřít dveře. Kromě mnoha technických výzev tento systém přináší algoritmické otázky ohledně efektivního řízení všech kabin. Tato práce studuje off- line optimalizační problém hledání nejefektivnějšího řízení výtahového systému pro pevně danou množinu pasažérů. Za tímto účelem byl vytvořen počítačový program obsahující implementaci genetického algoritmu pro hledání nejefektiv- nějšího řízení a diskrétní simulaci pro vyhodnocování efektivity řízení. Program poskytuje grafické uživatelské rozhraní pro zadávání parametrů, generování pasa- žérů a zobrazování výsledků. 1
|
host ::
RSS.