|
|
Visual Editing of Domain Control Knowledge for Planning
Gráf, Martin ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Schopnost definovat pouze možnosti prostředí v úkolu klasického plá- nování je dlouhodobou překážkou pro praktické aplikace tohoto přístupu. Moderní obecné plánovače jsou typicky schopné nalézt řešení daného pro- blému, ale jejich neschopnost využít informací specifických pro doménu se často projeví ve výrazném rozdílu výkonu oproti algoritmům přizpůsobeným dané doméně. Pro použitelnost obecných plánovačů v produkčních prostře- dích je tudíž klíčové tento výkonostní rozdíl dohnat. V této práci nejprve představíme téma klasického plánování a krátce shr- neme běžné přístupy k řešení plánovacích problémů. Poté popíšeme princip Attributed Transition-Based Domain Control Knowledge, což je technika pro zakódování kontextuálních informací do domény a problému. Nakonec odpre- zentujeme naší implementaci spolu s experimentálními výsledky.
|
|
|
Approximate Techniques for Dynamic Vehicle Routing Problems
Zeman, David ; Barták, Roman (vedoucí práce) ; Fink, Jiří (oponent)
Tato práce studuje dynamický problém rozvozu s omezenou kapacitou a měnící se dos- tupností vozidel. Motivací pro studium tohoto problému je rostoucí poptávka po rychlých a spolehlivých doručovacích službách v posledních letech. V první části práce analyzujeme problém a vytvoříme jeho formální model. Poté navrhneme a implementujeme strategie pro vypořádání se s dynamickou podstatou problému. Dále implementujeme exaktní a heuristické algoritmy, jako je heuristika vkládáním, celočíselné programování, evoluční algoritmy a optimalizace kolonií mravenců. Nakonec porovnáme algoritmy s různými strategiemi a parametry na Kilbyho datové sadě. 1
|
|
|
Algorithms for Multi-Agent Pickup-and-Delivery Problems
Šmíd, Petr ; Barták, Roman (vedoucí práce) ; Ivanová, Marika (oponent)
V rámci této práce zkoumáme algoritmy pro problémy multi-agentního vyzvednutí a doručení. Čtenáři představujeme základní definice společně s jednoduchými rozšířeními. Dále jsou důkladně popsány a analyzovány state-of-the-art algoritmy, které jsou otesto- vány v různých prostředích a na základě různých podmínek. V práci také popisujeme škálovatelnost algoritmů a demonstrujeme jí v několika scénářích. Práce zahrnuje krátké shrnutí vysvětlitelných plánů, motivaci za nimi a jejich implementaci. Podpůrný software byl vytvořen za účelem testování, vizualizace a vytváření vysvětlitelných plánů. 1
|
|
|
Konstrukce strategií pro multi-agentní hledání cest
Mestek, Jakub ; Barták, Roman (vedoucí práce) ; Švancara, Jiří (oponent)
Práce se zabývá problematikou hledání cest pro více agentů (multi-agent path fin- ding), kde je úkolem pro každého agenta najít cestu z aktuální lokace do destinace tak, aby nedošlo ke kolizím s jinými agenty. Práce je zaměřena na řešení tohoto problému v nedeterministickém prostředí a navrhuje nový přístup k řešení problému, a sice hledat řešení v podobě strategií, které agentovi říkají, jak se v dané situaci zachovat. 1
|
|
|
Autonomní křižovatka
Kotal, Jiří ; Barták, Roman (vedoucí práce) ; Švancara, Jiří (oponent)
Práce se zabývá problematikou průjezdů vozů plně automatizovanou křižovatkou a to z pohledu multi-agentního hledání cest (MAPF, multi-agent path finding). Cílem je pro- zkoumat různé abstrakce křižovatky a různé přístupy pro hledání nekolizního průjezdu křižovatkou. Zkoumané techniky jsou implementovány a empiricky porovnány v simulo- vaném prostředí. 1
|
|
|
Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models
Ramesh, Samyuktha ; Švancara, Jiří (vedoucí práce) ; Barták, Roman (oponent)
- Samyuktha Ramesh Thesis Title: Reduction-based Solvers for Multi-agent Pathfinding: Comparing Different Models Multi-agent path finding (MAPF) is the problem of navigating a set of agents from their starting position to their respective goal position without any collisions. In this thesis, we provide an overview of the current approaches to solving MAPF. We implement six different encodings found in the literature using the Python programming language and the Glucose3 SAT solver. We run experiments on maps of different types and sizes to compare the performances of the encodings.
|
|
|
Heuristic Learning for Domain-independent Planning
Trunda, Otakar ; Barták, Roman (vedoucí práce) ; Onaindia, Eva (oponent) ; Komenda, Antonín (oponent)
Automatizované plánování se zabývá hledáním posloupnosti akcí, které vedou k dosažení cílového stavu ze zadaného počátečního stavu, např. řešení Rubikovy kostky, doručování balíků atd. Moderní plánovací techniky jsou založené na informovaném dopředném prohledávání řízeném heuristikou, kde heuristika poskytuje odhad vzdálenosti daného stavu od cílového stavu. V této práci představujeme techniky pro automatické vytvoření efektivní heuristiky pro jakoukoli zadanou plánovací doménu. Navržené řešení je založené na trénování hluboké neuronové sítě s využitím dříve vyřešených plánovacích problémů ze stejné domény. Navrhli jsme nový způsob extrakce příznaků pro stavy plánovacích problémů, která není závislá na využití existujících heuristik. Natrénovanou síť je možné využít jako heuristiku při řešení jakéhokoli problému z dané domény bez ohledu na velikost problému. Experimenty ukazují, že navržená technika je kompetitivní s populární doménově nezávislou heuristikou. Představujeme také teoretický rámec pro formální analýzu vlastností naučených heuristik. Formulujeme a dokazujeme věty, které stanovují meze na výkonnost naučených heuristik v nejhorším případě.
|
|
|
Osobní rozvrhování
Doležal, Lukáš ; Barták, Roman (vedoucí práce) ; Duša, Vladimír (oponent)
Přes pokroky na poli umělé inteligence stále postrádáme široce dostupný nástroj pro automatizaci organizace osobního času. Jednou z překážek je velká individuálnost problému a z toho důvodu složité splnění všech očekávání uživatele. V této práci jsme se zaměřili na vytvoření nástroje, který by uživateli dokázal nabídnout pomoc při organizaci svého času. Navrhli jsme model popisující osobní aktivity uživatele s preferencemi a formulovali hledání rozvrhu osobních aktivit jako optimalizační problém. Nad modelem jsme implementovali algoritmus rozvrhující tyto aktivity. Při jeho návrhu jsme se zaměřili na umožnění rozvrhování aktivit s přesností na sekundy. S využitím uvedeného modelu a algoritmu jsme vytvořili prototyp kalendářové webové aplikace, který jsme navrhli s cílem přehledného zobrazení času uživatele a snadného vkládání aktivit pro automatickérozvržení. Jádrem webové aplikace je RESTful API umožňující implementaci aplikací pro různé platformy a zařízení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Optimalizace portfolia
Huml, Tomáš ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Cílem této práce je navržení algoritmu pro vybrání optimálního portfolia ze vstupních projektů, které jsou ohodnoceny z hlediska nákladů, zisku a jejich potenciálního rizika. Mezi těmito vstupními projekty mohou být nadefinovány různé vazby. Součástí práce je také přehled alternativních přístupů k tomuto tématu uvedených v jiných pracích. K práci je přiložen program implementující navrhovaný algoritmus. Výstupem výpočtu tohoto programu je portfolio, které dosahuje nejvyššího možného zisku a zároveň splňuje všechna vstupní omezení a dodržuje zadané vztahy mezi projekty. Program umožňuje porovnávat výsledná portfolia pomocí grafu a zároveň poskytuje i bližší informace o každém portfoliu zvlášť.
|
|
|
Workflow Modelling
Rovenský, Vladimír ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Cílem diplomové práce bylo navrhnout a implementovat grafický editor umožňující modelování pracovních postupů (workflows) s důrazem na efektivitu práce, jednoduchost a použitelnost pro běžného uživatele. Výsledná aplikace je integrována do systému FlowOpt, ve kterém lze vytvořené pracovní postupy použít k řízení výrobních procesů v malých a středně velkých továrnách. Vlastní editor by měl sloužit mj. jako demonstrace použití modelu Nested TNA v reálném protředí. Součástí práce je funkční implementace vlastního editoru, navržení a implementace procedury pro automatickou verifikaci pracovních postupů a podpora standardního formátu XPDL (BPMN) pro ukládání pracovních postupů (import i export).
|
host ::
RSS.