Prostředí pro testování algoritmů pro učení automatů
| Název práce v češtině: | Prostředí pro testování algoritmů pro učení automatů |
|---|---|
| Název v anglickém jazyce: | An application for testing automata learning algorithms |
| Akademický rok vypsání: | 2006/2007 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra softwaru a výuky informatiky (32-KSVI) |
| Vedoucí / školitel: | RNDr. Petr Hoffmann, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 27.10.2006 |
| Datum zadání: | 27.10.2006 |
| Datum a čas obhajoby: | 09.09.2008 00:00 |
| Datum odevzdání elektronické podoby: | 09.09.2008 |
| Datum odevzdání tištěné podoby: | 09.09.2008 |
| Datum proběhlé obhajoby: | 09.09.2008 |
| Oponenti: | RNDr. Peter Krčah, Ph.D. |
| Zásady pro vypracování |
| Aplikace umožní testování kvalit externích algoritmů pro učení vybraných tříd automatů (alespoň jedna třída automatů, například konečné automaty). Bude určena pro vědecké pracovníky vyvíjející učící algoritmy, kteří potřebují otestovat své postupy různými statistickými metodami.
Učícím algoritmem se zde rozumí algoritmus, který na základě trénovacích dat vytvoří automat požadovaného typu. Kritérium úspěšnosti algoritmu bude dáno testovacími metodami - může záviset na schopnostech výsledného automatu klasifikovat řádně testovací data, konzistenci automatu s trénovacími daty, velikosti jeho reprezentace a podobně. Uživatel dodá externí program, který jako vstup očekává trénovací data v pevném formátu a na výstupu vydává automat v pevném formátu. V aplikaci si bude moci vybrat způsob testování dodaného programu - implementováno bude několik metod používaných při obdobných testech. Aplikace například opakovaně nageneruje trénovací data, předá je externímu programu, vyhodnotí výsledné automaty a vypočte statistické údaje - například vykreslí graf vývoje kvalit automatů s rostoucí složitostí trénovacích dat. Aplikace umožní uložení statistik ve formátu vhodném pro vložení do publikací (např. obrázek či LaTeXový kód). |
| Seznam odborné literatury |
| K. J. Lang, B. A. Pearlmutter, and R. Price. Results of the Abbadingo One DFA learning competition and a new evidence driven state merging algorithm. In Fourth International Colloquium on Grammatical Inference (ICGI-98), Lecture Notes in Computer Science, 1998.
P. Dupont. Regular grammatical inference from positive and negative samples by genetic search: the gig method. In Grammatical Inference and Applications, Second International Colloquium, ICGI-94, Proceedings, Berlin. Springer. 1994. McClave J. T., Dietrich, F. H. Statistics. 4th ed. San Francisco : Dellen publishing company, c1988. ISBN 0-02-379260-4. |
| Předběžná náplň práce |
| Prostředí umožňující testování kvalit externích algoritmů pro učení vybraných tříd automatů. |