|
|
Algorithms for automated logistics
Tuláček, Michal ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Práce řeší existující problém optimálního plánování přeskladnění zboží mezi pobočkami maloobchodní společnosti. Cílem je navrhnout systém, který na základě objednávek od zákazníků a současných skladových dostupností zboží bude schopen navrhnout optimální plán. Na základě podrobné analýzy problému je v práci formalizován problém automatické logistiky. Po stručném přehledu existujících přístupů v oblasti řešení logistických problémů jsou pak navrženy metody řešení založené na programování s omezujícími podmínkami a smíšeného celočíselního programování. Obě metody jsou experimentálně navzájem porovnány, a to jak s ohledem na kvalitu nalezeného řešení, tak s ohledem na jejich výkonnost.
|
|
|
Real-time strategy hra s umělou inteligencí
Fanta, Petr ; Balyo, Tomáš (vedoucí práce) ; Dvořák, Filip (oponent)
Práce se zabývá vytvořením real-time strategické hry ve 3D prostředí s umělou inteligencí. Práce obsahuje teoretický rozbor bojových real-time strategických her, způsoby implementace umělé inteligence v takovýchto hrách a poznatky potřebné k implementaci 3D prostředí. Součástí práce je i implementace jednoduché real-time strategické hry s umělou inteligencí.
|
|
|
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
|
|
|
Scrabble
Dvořák, Filip ; Babilon, Robert (vedoucí práce) ; Hric, Jan (oponent)
Tématem předkládané práce je studie deskové hry Scrabble a její převedení do elektronické podoby. Cílem práce je představení možných a používaných přístupů k implementaci systémů realizujících Scrabble a popsání a zhodnocení datových struktur a algoritmů v těchto systémech využívaných. Součástí práce je implementace zvolených řešení. Po stručném seznámení se s pravidly Scrabble a základní analýze problému jsou v jednotlivých kapitolách teoretické části představeny datové struktury používané k uložení slovníku, algoritmy pro vyhledávání tahů a možné přístupy k herním strategiím. Praktická část práce pojednává o zvolených přístupech a zdůvodněních jejich volby. V závěru práce jsou shrnuty možné přínosy vzniklého systému a jeho další případná rozšíření.
|
|
|
Implementation of the SF-HRP action selection mechanism
Farka, František ; Plch, Tomáš (vedoucí práce) ; Dvořák, Filip (oponent)
Tato práce se zabývá implementací mechanismu State-Full Hierarchical Reactive Planning (SF-HRP) pro výbr akcí umlé bytosti v jazyce C++. Tato implementace je pipojena k 3D virtuálnímu prostedí a umožuje své profilování aplikacemi tetích stran. Prototyp takového profileru je souástí implementace. Práce také pedstavuje vstupí formát pro popis chování agenta, který implementace používá. Implementace i vstupní formát jsou demonstrovány na testovacích scénáích. Koncept SF-HRP je zhodnocen vzhledem k obtížnosti návrhu chování umlé bytosti a vzhledem ke složitosti implementace.
|
|
| |
|
| |
|
|
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.
|
|
|
AI Planning with Time and Resource Constraints
Dvořák, Filip ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Automatizované plánování hraje bezesporu klíčovou roli v mnoha oblastech lidského zájmu, kde složité a proměnlivé úlohy vyžadují efektivní řešení a omezení možných chyb. Další motivací pro výzkum plánování je zachycení výpočetních aspektů umělé inteligence, kde plánování je jedním z klíčových elementů coby uvažování nutné k jednání. Zavedení času a zdrojů do plánování je důležitým krokem pro modelování problémů z reálného světa, nicméně plánování je samo o sobě v obecném případě velmi těžké a zavedení času a zdrojů plánování dělá ještě těžším. V této práci prozkoumáme z teoretického hlediska aspekty plánování, uvažování o čase a uvažování o zdrojích. Na základě tohoto průzkumu navrhneme vlastní suboptimální a doménově nezávislý plánovací systém zaměřený na plánování, kde čas hraje hlavní roli, a zdroje jsou omezené. Navržený systém otestujeme na plánovacích problémech s časem a zdroji z mezinárodní plánovací soutěže roku 2008 a výsledky navrženého plánovacího systému porovnáme s výsledky plánovacích systémů, které se účastnili této soutěže.
|
|
|
Integrating Planning and Scheduling
Dvořák, Filip
Název práce: Integrace plánování a rozvrhování Autor: Mgr. Filip Dvořák Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce: prof. RNDr. Roman Barták, Ph.D., KTIML MFF UK Abstrakt: Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, který akceptuje jazyk ANML a podporuje většinu jeho hlavních vlastností. V práci se zabýváme různými aspekty integrace zmíněných konceptů, také navrhneme novou techniku pro reformulaci plánovacích problémů do reprezentace pomocí stavových proměnných a identifikujeme přechod výkonosti mezi používaním řídkých a minimálních časových sítí. FAPE dále rozšíříme o schopnosti konání a exper- imentálně vyhodnotíme výkonnost a výhody jeho vysoké expresivity. Na závěr předvedeme FAPE jako systém, který umí plánovat i konat v experimentech v realném světě, kdy FAPE ovládá robota PR2. Klíčová slova: plánování, rozvrhování, temporální podmínky, HTN, robotika
|
host ::
RSS.