| Studiju veids |
bakalaura akadēmiskās studijas |
| Studiju programmas nosaukums |
Datorsistēmas |
| Nosaukums |
Stimulētās mašīnmācīšanās pielietošana matemātiskas hipotēzes pretpiemēra konstruēšanai |
| Nosaukums angļu valodā |
Application of Reinforcement Learning to Mathematical Conjecture Counterexample Construction |
| Struktūrvienība |
33000 Datorzinātnes, informācijas tehnoloģijas un enerģētikas fakultāte |
| Darba vadītājs |
Kārlis Berkolds |
| Recenzents |
Ēvalds Urtāns |
| Anotācija |
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. |
| Atslēgas vārdi |
stimulētā mašīnmācīšanās, grafu teorija, pretpiemēru konstruēšana |
| Atslēgas vārdi angļu valodā |
reinforcement learning, graph theory, counterexample construction |
| Valoda |
lv |
| Gads |
2024 |
| Darba augšupielādes datums un laiks |
28.05.2024 17:43:30 |
