| Form of studies |
Bachelor |
| Title of the study programm |
Computer Systems |
| Title in original language |
Stimulētās mašīnmācīšanās pielietošana matemātiskas hipotēzes pretpiemēra konstruēšanai |
| Title in English |
Application of Reinforcement Learning to Mathematical Conjecture Counterexample Construction |
| Department |
Faculty Of Computer Science Information Tehnology And Energy |
| Scientific advisor |
Kārlis Berkolds |
| Reviewer |
Ēvalds Urtāns |
| Abstract |
2. tips: Aktuālo jomas problēmu risinājumi.
Pēdējā desmitgadē stimulētā mašīnmācīšanās ir izvirzījusies kā viens no vadošajiem pētījumu virzieniem sarežģītu uzdevumu risināšanai kompleksā vidē. Nesenākajos pētījumos ir demonstrēta spēja ar stimulētās mašīnmācīšanās palīdzību konstruēt pretpiemērus matemātiskām hipotēzēm grafu teorijā, kas rada lielu potenciālu ievērojami paātrināt un paplašināt aktuālo jomas uzdevumu izpēti. Tomēr relatīvi nesenās virziena attīstības dēļ trūkst pētījumu par izmantoto modeļu darbību ietekmējošiem faktoriem. Bakalaura darba ietvaros ir izstrādāti uzlabojumi esošam modelim grafu teorijas uzdevumiem, lai uzlabotu modeļa konverģences rādītājus un paplašinātu tā pielietojamību grafu teorijas hipotēžu izpētē. Modeļa darbības uzlabošana veikta, pievienojot matemātiskā konteksta nosacījumus stimulētās mašīnmācīšanās atalgojuma funkcijai. Darba rezultātā definēti ieteikumi, kā modeļa darbību iespējams uzlabot ar grafu teorijā plaši izmantojamiem matemātiskiem nosacījumiem par grafa struktūru un hipotēzes algebrisko formu. Gūto secinājumu pārbaude veikta, tos pielietojot pretpiemēru meklēšanā nepierādītai grafu teorijas hipotēzei, ko ar esošajiem jomas risinājumiem nav iespējams veiksmīgi izpētīt. Izpētes rezultātā gūti jauni rezultāti par hipotēzes patiesumu un pretpiemēru eksistenci.
Darbs satur 52 lappuses, 21 attēlu, 2 tabulas un 31 informācijas avotu. |
| Keywords |
stimulētā mašīnmācīšanās, grafu teorija, pretpiemēru konstruēšana |
| Keywords in English |
reinforcement learning, graph theory, counterexample construction |
| Language |
lv |
| Year |
2024 |
| Date and time of uploading |
28.05.2024 17:43:30 |
