|
|
Testování učení restartovacích automatů genetickými algoritmy
Kovářová, Lenka ; Mráz, František (vedoucí práce) ; Černo, Peter (oponent)
Název práce: Testování učení restartovacích automatů genetickými algoritmy Autor: Bc. Lenka Kovářová Katedra: Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. František Mráz, CSc. Abstrakt: Restartovací automat je teoretickým modelem zařízení rozpoznávajícího jazyk. Konstrukce různých verzí restartovacích automatů může být značně náročná. Bylo vyvinuto mnoho různých metod učení takovýchto automatů. Mezi nimi jsou i metody učení založené na genetických algoritmech, které hledají automat k zadané množině pozitivních a negativních příkladů slov jazyka. V práci je navržena metoda pro vylepšení učení restartovacích automatů učených evolučními algoritmy pomocí přidávání nových pravidel speciálního typu umožňující přizpůsobení učícího algoritmu konkrétním jazykům. Dále je navržen systém pro testování metod učení restartovacích automatů podporující především učení evolučními algoritmy. Součástí práce je i program pro učení restartovacích automatů za použití nově navržené metody, umožňující následné otestování nalezených automatů a vyhodnocení výsledků převážně grafickou formou. Klíčová slova: strojové učení, gramatická inference, restartovací automaty, genetické algoritmy
|
|
|
Object Oriented Library for Controlling an e-Puck Robot
Plátek, Ondřej ; Mráz, František (vedoucí práce) ; Černo, Peter (oponent)
E-Puck je výukový robot s diferenciálním pohonem dvou kol, který je adekvátně vybaven senzory. Výsledkem práce je objektová C# knihovna Elib, která umožňuje ovládat robota e-Puck z hostitelského počítače přes Bluetooth rozhraní. Vzorové příklady v konsolové aplikaci TestElib ukazují použití knihovny Elib v programech pro ovládání robota e-Puck. Taktéž je přiložena sada nástrojů umožňující efektivnější ladění programů používající Elib library.
|
|
|
An environment for restarting automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Reštartovacie automaty sú lingvisticky motivované modely automatov, ktoré môžu byť použité napríklad na kontrolu správnosti viet. Hlavným cieľom tejto práce je vytvoriť špecializovaný program, ktorý umožní jednoduchý interaktívny návrh a testovanie týchto automatov a poskytne špecializované nástroje určené na učenie konečných automatov a definovanie jazykov. Práca prezentuje teoretické základy a uvádza formálnu definíciu reštartovacieho automatu. Ďalej sú v práci diskutované možnosti implementácie takéhoto systému a je popísaná skutočná realizácia systému. K práci je priložená užívateľská príručka.
|
|
|
Clearing Restarting Automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Cílem práce je studovat omezenější modely restartovacích automatů, které smí vymazat podřetězec nebo jej nahradit speciálním pomocným symbolem, jenom na základě omezeného lokálního kontextu tohoto podřetězce. Tyto restartovací automaty se nazývají clearing restarting automata. V práci jsou taktéž zkoumány uzávěrové vlastnosti těchto automatů, jejich vztah k Chomskeho hierarchii a možnosti učení těchto automatů na základě pozitivních a negativních příkladů.
|
|
|
Restricted Restarting Automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Kutrib, Martin (oponent) ; Průša, Daniel (oponent)
Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Dizertační práce zkoumá lokálně omezené modely restartovacích automatů, které (na rozdíl od obecných restartovacích automatů) smí upravovat obsah vstupní pásky jenom na základě lokálně omezeného kontextu. Studium omezených modelů se ukazuje jako jednodušší než studium obecných restartovacích automatů. Navíc se tyhle modely efektivně učí z pozitivních příkladů redukcí a jejich instrukce jsou srozumitelné i pro člověka. Powered by TCPDF (www.tcpdf.org)
|
|
|
Testování učení restartovacích automatů genetickými algoritmy
Kovářová, Lenka ; Mráz, František (vedoucí práce) ; Černo, Peter (oponent)
Název práce: Testování učení restartovacích automatů genetickými algoritmy Autor: Bc. Lenka Kovářová Katedra: Kabinet software a výuky informatiky Vedoucí diplomové práce: RNDr. František Mráz, CSc. Abstrakt: Restartovací automat je teoretickým modelem zařízení rozpoznávajícího jazyk. Konstrukce různých verzí restartovacích automatů může být značně náročná. Bylo vyvinuto mnoho různých metod učení takovýchto automatů. Mezi nimi jsou i metody učení založené na genetických algoritmech, které hledají automat k zadané množině pozitivních a negativních příkladů slov jazyka. V práci je navržena metoda pro vylepšení učení restartovacích automatů učených evolučními algoritmy pomocí přidávání nových pravidel speciálního typu umožňující přizpůsobení učícího algoritmu konkrétním jazykům. Dále je navržen systém pro testování metod učení restartovacích automatů podporující především učení evolučními algoritmy. Součástí práce je i program pro učení restartovacích automatů za použití nově navržené metody, umožňující následné otestování nalezených automatů a vyhodnocení výsledků převážně grafickou formou. Klíčová slova: strojové učení, gramatická inference, restartovací automaty, genetické algoritmy
|
|
|
Genetické algoritmy v evoluční robotice
Mašek, Michal ; Mráz, František (vedoucí práce) ; Černo, Peter (oponent)
Tato práce se věnuje experimentálnímu porovnání evoluce neuronové sítě pro řízení robota za pomoci různých variant genetických algoritmů. Na třech úlohách evoluční robotiky jsou porovnány algoritmy používající reálné a celočíselné kódování jedinců, algoritmy používající základní a pokročilé způsoby mutací a křížení a algoritmy s pevnou a variabilní velikostí populace. Cílem je určit, zda evoluce s použitím pokročilých genetických algoritmů vede k rychlejší konvergenci nebo k nalezení kvalitnějšího řešení než použití základního genetického algoritmu. Experimenty jsou provedeny v snadno rozšiřitelném simulátoru vyvinutém speciálně pro účely této práce.
|
|
|
Object Oriented Library for Controlling an e-Puck Robot
Plátek, Ondřej ; Mráz, František (vedoucí práce) ; Černo, Peter (oponent)
E-Puck je výukový robot s diferenciálním pohonem dvou kol, který je adekvátně vybaven senzory. Výsledkem práce je objektová C# knihovna Elib, která umožňuje ovládat robota e-Puck z hostitelského počítače přes Bluetooth rozhraní. Vzorové příklady v konsolové aplikaci TestElib ukazují použití knihovny Elib v programech pro ovládání robota e-Puck. Taktéž je přiložena sada nástrojů umožňující efektivnější ladění programů používající Elib library.
|
|
|
Clearing Restarting Automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Cílem práce je studovat omezenější modely restartovacích automatů, které smí vymazat podřetězec nebo jej nahradit speciálním pomocným symbolem, jenom na základě omezeného lokálního kontextu tohoto podřetězce. Tyto restartovací automaty se nazývají clearing restarting automata. V práci jsou taktéž zkoumány uzávěrové vlastnosti těchto automatů, jejich vztah k Chomskeho hierarchii a možnosti učení těchto automatů na základě pozitivních a negativních příkladů.
|
|
|
An environment for restarting automata
Černo, Peter ; Hoffmann, Petr (oponent) ; Mráz, František (vedoucí práce)
Reštartovacie automaty sú lingvisticky motivované modely automatov, ktoré môžu byť použité napríklad na kontrolu správnosti viet. Hlavným cieľom tejto práce je vytvoriť špecializovaný program, ktorý umožní jednoduchý interaktívny návrh a testovanie týchto automatov a poskytne špecializované nástroje určené na učenie konečných automatov a definovanie jazykov. Práca prezentuje teoretické základy a uvádza formálnu definíciu reštartovacieho automatu. Ďalej sú v práci diskutované možnosti implementácie takéhoto systému a je popísaná skutočná realizácia systému. K práci je priložená užívateľská príručka.
|
host ::
RSS.