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 |