Original title:
Neuronové modelování matematických struktur a jejich rozšíření
Translated title:
Neural modelling of mathematical structures and their extensions
Authors:
Smolík, Martin ; Urban, Josef (advisor) ; Holub, Štěpán (referee) Document type: Master’s theses
Year:
2019
Language:
eng Abstract:
[eng][cze] In this thesis we aim to build algebraic models in computer using machine learning methods and in particular neural networks. We start with a set of axioms that describe functions, constants and relations and use them to train neural networks approximating them. Every element is represented as a real vector, so that neural networks can operate on them. We also explore and compare different representations. The main focus in this thesis are groups. We train neural representations for cyclic (the simplest) and symmetric (the most complex) groups. Another part of this thesis are experiments with extending such trained models by introducing new "algebraic" elements, not unlike the classic extension of rational numbers Q[ √ 2]. 1V tejto práci sa snažíme vybudovať algebraické modely v počítači použitím strojového učenia, konkrétne neurónových sietí. Začneme množinou axiómov ktoré popisujú funkcie, konštanty a relácie a použijeme ich na trénovanie neurónových sietí ktoré ich aproximujú. Každý prvok je reprezentovaný reálnym vektorom, aby na nich neurónové siete mohli operovať. Taktiež skúmame a porovnávame rôzne reprezentácie. Táto práca sa zaoberá hlavne grupami. Trénujeme neurónové reprezentácie pre cyklické (najjednoduchšie) a symetrické (najkomplikovanejšie) grupy. Ďalšou časťou tejto práce sú experimenty s rozšírením týchto natrénovaných modelov pomocou "alge- braických" prvkov, podobne ako klasické rozšírenia racionálnych čísel, napr. Q[ √ 2]. 1
Keywords:
Artificial Intelligence Automated Reasoning Machine Learning Model theory; Umělá inteligence Automatické uvažovaní Strojové učení Teorie modelů
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/107502