Strojové učenie formálnych jazykov
Název práce v češtině: | Strojové učenie formálnych jazykov |
---|---|
Název v anglickém jazyce: | Machine learning of formal languages |
Akademický rok vypsání: | 2005/2006 |
Typ práce: | bakalářská práce |
Jazyk práce: | čeština |
Ústav: | Katedra softwaru a výuky informatiky (32-KSVI) |
Vedoucí / školitel: | RNDr. František Mráz, CSc. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 12.11.2005 |
Datum zadání: | 12.11.2005 |
Datum potvrzení stud. oddělením: | 23.04.2013 |
Datum a čas obhajoby: | 10.09.2007 00:00 |
Datum odevzdání elektronické podoby: | 10.09.2007 |
Datum proběhlé obhajoby: | 10.09.2007 |
Oponenti: | Martin Plátek, CSc. |
Zásady pro vypracování |
Cieľom práce je vytvoriť systém pre strojové učenie formálnych jazykov. Jazyky budú zadávané príkladmi slov z jazyka, príkladmi slov, ktoré do jazyka nepatria, alebo i ďalšími informáciami (napr. učiteľom, ktorý odpovedá na dotazy žiaka=programu o náležení daného slova do jazyka). Systém by mal obsahovať primárne algoritmy na učenie regulárnych jazykov (konečných automatov), ale bude otvorený, aby sa doňho dali jednoducho pridávať ďalšie algoritmy i pre iné triedy jazykov a porovnávať ich výsledky. Jednou z takýchto tried jazykov bude trieda jazykov reprezentovaná špecálnymi učiteĺnými prepisovacími systémami. Okrem algoritmov na učenie jazykov bude obsahovať nástroje na testovanie naučených jazykov reprezentovaných napr. konečným automatom. |
Seznam odborné literatury |
J. Oncina and P. García. Inferring regular languages in polynomial update time. In N. Pérez de la Blanca, A. Sanfeliu, and E.Vidal, editors, Pattern Recognition and Image Analysis, volume 1 of Series in Machine Perception and Artificial Intelligence, pages 49-61. World Scientific, 1992.
D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 75:87--106, November 1987. R. Eyraud and C. de la Higuera and J.C. Janodet: Representating Languages by Learnable Rewriting Systems. In: Proceedings of the 7th International Colloquium on Grammatical Inference, LNAI 3264, Springer, 2004, 139-150. |