Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 384)
Detail práce
   Přihlásit přes CAS
Learning picture languages using picture-to-string transformations
Název práce v češtině: Učení obrázkových jazyků využitím převodu obrázků na řetězce
Název v anglickém jazyce: Learning picture languages using picture-to-string transformations
Klíčová slova: obrázkové jazyky|čtyř-cestný konečný automat|strojové učení|formální jazyky
Klíčová slova anglicky: picture languages|four-way finite automaton|machine learning|formal langugaes
Akademický rok vypsání: 2021/2022
Typ práce: diplomová práce
Jazyk práce: angličtina
Ústav: Katedra softwaru a výuky informatiky (32-KSVI)
Vedoucí / školitel: RNDr. František Mráz, CSc.
Řešitel: Mgr. Ivan Rychtera - zadáno a potvrzeno stud. odd.
Datum přihlášení: 17.03.2022
Datum zadání: 18.03.2022
Datum potvrzení stud. oddělením: 29.03.2022
Datum a čas obhajoby: 01.02.2023 09:00
Datum odevzdání elektronické podoby:05.01.2023
Datum odevzdání tištěné podoby:09.01.2023
Datum proběhlé obhajoby: 01.02.2023
Oponenti: Mgr. Klára Pešková, Ph.D.
 
 
 
Zásady pro vypracování
Formal picture languages are sets of rectangular matrices of symbols. Recognition of picture languages is harder than recognition of string languages. One of the possible approaches is rewriting an input picture into a string and then accepting it if and only if the string belongs to a given string language.

The goal of the thesis is to propose and implement a system for learning picture languages based on the above idea, where the picture-to-string transformation consists in collecting contents of a scanning window of small size when it scans the whole picture. Input for the system will be a set of positive and negative examples of pictures for a target picture language. The system should recognize the target picture language as precisely as possible.

The system should support various models with different strategies for scanning the input pictures that can be realized by a simple model, like a four-way finite automaton, and multiple methods for learning string languages.
Besides proposing the formal model, the thesis should implement a system for benchmarking the accuracy of recognition of picture languages based on the proposed models.
Seznam odborné literatury
[1] Dora Giammarresi, Antonio Restivo: Two-dimensional languages. In: G. Rozenberg, A. Salomaa (eds.): Handbook of formal languages, Volume 3: Beyond Words. Springer, Berlin, Heidelberg, 1997, 215-267

[2] David Kuboň, Frantisek Mráz: How to learn picture languages. Research in Computing Science 148, no. 11 (2019): 115-126

[3] David Kuboň, Frantisek Mráz: Learning picture languages represented as strings. In: R. Barták, E. Bell (eds.): Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, AAAI Press, 2020, 529-532

[4] František Mráz, Friedrich Otto: Recognizing picture languages by reductions to string languages. Journal of Automata, Languages and Combinatorics 26, no. 1-2 (2021): 145-171
 
Univerzita Karlova | Informační systém UK