Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Detail práce
   Přihlásit přes CAS
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.
 
Univerzita Karlova | Informační systém UK