Operatorski račun nad programskimi prostoriSAJOVIC, ŽIGA (Avtor) Robič, Borut (Mentor) operatorska algebratenzorska algebranevronske mrežegloboko učenjeavtomatsko odvajanjeV delu razvijemo algebraični jezik, ki predstavlja formalni račun za globoko učenje, in je hkrati model, v katerem je programe mogoče tako implementirati kot tudi preučevati. V ta namen razvijemo abstraktni računski model avtomatsko odvedljivih programov. V njem so programi elementi t. i. programskih prostorov. Programe gledamo kot preslikave končno-dimenzionalnega vektorskega prostora vase, imenovanega navidezni pomnilniški prostor. Navidezni pomnilniški prostor je algebra programov, torej algebraična podatkovna struktura (s katero je mogoče računati). Elementi navideznega pomnilniškega prostora pa omogočajo razvoj programov v neskončne tenzorske vrste. Na programskih prostorih definiramo operator odvajanja, s pomočjo njegovih potenc pa implementiramo posplošen operator premika in operator kompozicije programov. Tako konstruiran algebraični jezik je poln model globokega učenja. Omogoča takšen način izražanja programov, da že njihov zapis nudi teoretični vpogled vanje.20172017-09-14 14:34:48Diplomsko delo/naloga95108VisID: 20641sl