TY - BOOK
T1 - Uskomusverkkojen käsittelyohjelma BelNet
AU - Lehtilä, Antti
PY - 1989
Y1 - 1989
N2 - Viime aikoina on tutkittu laajasti tilastollisten mallien
riippuvuussuhteiden esittämistä graafisesti
uskomusverkkoina. Tuloksena on saatu uusia, tehokkaita
menetelmiä evidenssin ja muuttuneiden uskomusten
kokonaisvaikutuksen laskemiseksi. Käytännön laskentatyön
kannalta bayesilaisen teorian piirissä kehitetyt
menetelmät ovat vielä toistaiseksi selvästi
käyttökelpoisimpia.
Uusien menetelmien lähtökohtana on ollut, että
inhimillinen ajattelu ei jäsennä epävarmaa tietoa
yhteisjakaumataulukkoina, vaan oleellisia ovat
yksinkertaisten propositioyhdistelmien marginaaliset ja
ehdolliset todennäköisyydet. Uskomusten päivityksen
tulisi säilyttää inhimillisen päättelyn rakenne siten,
että kussakin laskennan vaiheessa tarvittaisiin tietoa
vain muutamista toisiinsa läheisesti liittyvistä
muuttujista ja niiden riippuvuussuhteista.
VTT:n Ydinvoimatekniikan laboratoriossa on kehitetty
Lisp-kielinen tietokoneohjelma, jossa on toteutettu kolme
bayesilaista diskreettien muuttujien uskomusverkkojen
laskenta-algoritmia. Kaksi näistä algoritmeista soveltuu
ainoastaan yhdesti yhtenäisiin verkkoihin, mutta ne ovat
tehokkaita ja tuottavat tarkkoja tuloksia. Kolmas
algoritmi perustuu stokastiseen simulointiin, joten sen
avulla saadaan vain likimäärin oikeita uskomusarvoja.
Viimeksi mainittua algoritmia voidaan kuitenkin soveltaa
hyvin monimutkaisiinkin malleihin, joiden uskomusverkko
on vahvasti yhtenäinen ja joissa analyyttinen laskenta
kävisi kohtuuttoman hankalaksi. Ohjelman avulla voidaan
helposti rakentaa ja muutella uskomusverkkoja algoritmien
prosessointia varten. Lisäksi ohjelma tarjoaa
mahdollisuuden määritellä muuttujien välisiä ehdollisia
todennäköisyyksiä funktioiden avulla. Ohjelman tärkeimpiä
toimintoja suorittavia rutiineja voidaan haluttaessa myös
kutsua suoraan sovellutusohjelmista.
AB - Viime aikoina on tutkittu laajasti tilastollisten mallien
riippuvuussuhteiden esittämistä graafisesti
uskomusverkkoina. Tuloksena on saatu uusia, tehokkaita
menetelmiä evidenssin ja muuttuneiden uskomusten
kokonaisvaikutuksen laskemiseksi. Käytännön laskentatyön
kannalta bayesilaisen teorian piirissä kehitetyt
menetelmät ovat vielä toistaiseksi selvästi
käyttökelpoisimpia.
Uusien menetelmien lähtökohtana on ollut, että
inhimillinen ajattelu ei jäsennä epävarmaa tietoa
yhteisjakaumataulukkoina, vaan oleellisia ovat
yksinkertaisten propositioyhdistelmien marginaaliset ja
ehdolliset todennäköisyydet. Uskomusten päivityksen
tulisi säilyttää inhimillisen päättelyn rakenne siten,
että kussakin laskennan vaiheessa tarvittaisiin tietoa
vain muutamista toisiinsa läheisesti liittyvistä
muuttujista ja niiden riippuvuussuhteista.
VTT:n Ydinvoimatekniikan laboratoriossa on kehitetty
Lisp-kielinen tietokoneohjelma, jossa on toteutettu kolme
bayesilaista diskreettien muuttujien uskomusverkkojen
laskenta-algoritmia. Kaksi näistä algoritmeista soveltuu
ainoastaan yhdesti yhtenäisiin verkkoihin, mutta ne ovat
tehokkaita ja tuottavat tarkkoja tuloksia. Kolmas
algoritmi perustuu stokastiseen simulointiin, joten sen
avulla saadaan vain likimäärin oikeita uskomusarvoja.
Viimeksi mainittua algoritmia voidaan kuitenkin soveltaa
hyvin monimutkaisiinkin malleihin, joiden uskomusverkko
on vahvasti yhtenäinen ja joissa analyyttinen laskenta
kävisi kohtuuttoman hankalaksi. Ohjelman avulla voidaan
helposti rakentaa ja muutella uskomusverkkoja algoritmien
prosessointia varten. Lisäksi ohjelma tarjoaa
mahdollisuuden määritellä muuttujien välisiä ehdollisia
todennäköisyyksiä funktioiden avulla. Ohjelman tärkeimpiä
toimintoja suorittavia rutiineja voidaan haluttaessa myös
kutsua suoraan sovellutusohjelmista.
KW - statistical inference
KW - computer programs
M3 - Report
SN - 951-38-3349-6
T3 - Valtion teknillinen tutkimuskeskus. Tiedotteita
BT - Uskomusverkkojen käsittelyohjelma BelNet
PB - VTT Technical Research Centre of Finland
CY - Espoo
ER -