Bayesilaisten mallien kääntäminen simulaatio-ohjelmiksi

Nykyään yhä useammalla tieteenalalla on alettu käyttää bayesilaisia malleja erilaisten ilmiöiden ennustamiseen ja analysointiin. Bayesilaiset mallit kuvaavat käsiteltävää ilmiötä joukkona parametrien välisiä ehdollisia todennäköisyyksiä. Tavoitteena on saada havaintodatan perusteella selville mallin tuntemattomien parametrien arvojen todennäköisyysjakaumat. Monesti malleista kuitenkin tulee käytännössä niin monimutkaisia, ettei niiden tuloksia voida laskea analyyttisesti. Tällöin ratkaisumenetelmäksi usein valitaan stokastinen simulaatio. Tässä diplomityössä suunniteltiin ja toteutettiin C++-kielellä UNIX-ympäristöön ensimmäinen versio Bassist-kääntäjästä, joka generoi bayesilaisten mallien kuvausten perusteella Metropolis-Hastings-algoritmia käyttäviä MCMC-simulaatio-ohjelmia (Markov Chain Monte Carlo). Käyttäjä kirjoittaa mallinsa Bassistin mallinkuvauskielellä tekstitiedostoon, joka käännetään Bassist-kääntäjällä ajokelpoiseksi simulaatio-ohjelmaksi. Kun simulaatio-ohjelma käynnistetään, se lukee Bassistin tiedostomuotoon muokatun datatiedoston, ajaa simulaatiota ja kirjoittaa simulaation aikana tuloksia tekstitiedostoon. Simulaation valmistuttua käyttäjä tarkastelee tuloksina syntyneitä posteriorijakaumia jollain sopivalla jälkikäsittelyohjelmalla