gakt követketetés pol-fa Baes-hálókban
Outlne Tpes of nference B method: exact, stochastc B purpose: dagnostc sngle-step, sequental DSS, explanaton generaton Hardness of exact nference xact nference n poltrees
Követketetés valósínűség hálókban Érékelés, egéb követketetés tén vag boníték váltoók értéke roblémamegoldása: valamt megtudn a lekérdeéses váltoók értékeről a posteror valósínűség eloslás lekérdeéses boníték????
Követketetés valósínűség hálókban + Érékenség vsgálat
Követketetés valósínűség hálókban
Követketetés valósínűség hálókban
Követketetés valósínűség hálókban
Követketetés valósínűség hálókban
Inference tasks AIMA
Inference b enumeraton
Inference b enumeraton: goal orented
Complext of exact nference
g algortmus lekérdeések megválasolására egseresen össekötött, bármel két csp. köött legfeljebb egetlen eg ránítatlan út többsörösen össekötött bármel két csp. köött több út
Feltételes függetlenség relácók valósínűség hálókban Feltételes függetlenség váltoók köött: kevesebb feltétel, egserűbb kfejeés Feltételes függetlenség háló rések köött követketetésnél kevesebb keresés kevesebb érték egserűbb kfejeések
Irán-függő-elválastás vag d-elválastás Mnden eg -bel csomóponttól eg -bel csomópontba veető ránítatlan út által d-elválastott, akkor és feltételesen független feltéve -t.
Irán-függő-elválastás vag d-elválastás Ha mnden eg -bel csomóponttól eg -bel csomópontba veető ránítatlan út által d-elválastott, akkor és feltételesen független feltéve -t.
Irán-függő-elválastás vag d-elválastás Ha mnden eg -bel csomóponttól eg -bel csomópontba veető ránítatlan út által d-elválastott, akkor és feltételesen független feltéve -t.
Irán-függő-elválastás vag d-elválastás Ha mnden eg -bel csomóponttól eg -bel csomópontba veető ránítatlan út által d-elválastott, akkor és feltételesen független feltéve -t.?
Általános helet egseresen össekötött
Függetlenek
Feltételesen függetlenek
Feltételesen függetlenek
Feltételesen függetlenek
g algortmus lekérdeések megválasolására egseresen össekötött: a dobook különállóak és nncsen kööttük össeköttetés függetlenek! a lekérdeéses váltoó a tén váltoók halmaa a cél a ksámítása
g algortmus lekérdeések megválasolására a okoat halmaa a felett ténváltoók, a -he a sülen kerestül kapcsolódnak. a ténhalmaa a alatt ténváltoók, a -he a germeken kerestül kapcsolódnak.,. U \ \ a U -ho kapcsolódó össes ténhalma, kvéve a -en kerestül csatlakoók. a tének aon halmaa, amk -he sülen kerestül kapcsolódnak, kvéve a -en kerestül csatlakoókat
ksámítása általános stratéga: Fejeük k -t felbontva a hoájárulásának megfelelően. és Sámítsuk k hoájárulását két lépésben. lősör hatása sülere, majd ennek hatása -re. A sülere gakorolt hatás: ugana a probléma rekuríve, mnt a -re gakorolt hatás.
ksámítása általános stratéga: Fejeük k -t felbontva a hoájárulásának megfelelően. és Sámítsuk k hoájárulását két lépésben. lősör hatása germekere, majd ennek hatása - re. A germekere gakorolt hatás: ugana a probléma rekuríve, mnt a -re gakorolt hatás.
A teljes ténhalma: felett és alatt tének, nem -bel,. A és hoájárulásának sétválastása: Baes-sabál feltételes verója, rögített háttérboníték,,.
d-elválastja -et és -et a hálóban, feltételes függetlenség!!!! A normalálásra solgáló konstans:,.,,
-et megkaphatjuk, ha a sülők össes lehetséges konfgurácója esetén sámba vessük mennre valósínűek, ha adott. Ha mnden konfgurácó adott, valósínűsége: FVT-ből valósínűségeket átlagoljuk a eges konfgurácók valósínűségével súlova. Legen U a U1,, Un sülők vektora, és legen u eg hoájuk rendelt érték sülő feltétel: u, u u.
U d-elválastja -et és d-elválastja a U-kat egmástól és -et, íg a első téneő: u, u független valósínűség váltoók egüttes valósínűsége a eges váltoók valósínűségenek sorata: u, u u. u u u.
A utolsó lépés, hog felbontsuk \ -t résekre U a ábra különálló doboa, és khasnáljuk et U \ d-elválastott a több -bel téntől. alapján u u. u u u U \ u,
amt vssaírva a korább egenletünkbe: u U u \ u. Ked alakuln: u eg bejegés FVT-jában U u \ eg rekurív megjelenése a eredet problémának, am ksámítása volt A rekurív hívásban sereplő ténváltoók eleme a eredet hívásban sereplőnek de kevesebb eg jó jel, hog a algortmus le fog álln.
sntén eg rekurív megoldás kell! germeke, a -k, értéke alapján átlagolunk, de sntén fgelembe kell vennünk a sület. Legenek Z-k a -k sület, -et lesámítva, és jelölje a hoájuk rendelt értékeket. A tének a -khe tartoó dobookban feltételesen függetlenek, ha adott: \.
Átlagolva és felett A = S k A ok k ok k : Felbontva függetlenre:.,,, \.,,,,, \ \ \
független -től és -től, ha adott., \ \ független -től és -től, ha adott. A össegésből kemelhetünk eg téneőt, amben nem serepel.,,,,, \
Most jön a Baes-sabál:., \ \., \
Össevonva -t és -t A B = A B B :., \ \ x., \ \
=, mvel Z és d-elválastottak, íg egserűsíthetünk velük. Továbbá beveethetünk eg normalácós állandót:., \., \ \ x
süle Zj-vel jelölve függetlenek egmástól egüttes valósínűségük felbontható soratukra -ket össevonhatjuk egetlen normalácós állandóba j Z j j., \., \
, j Z \ j j. A kapott kfejeés mndegk téneője könnedén kértékelhető: eg rekurív megjelenése -nek. a feltételes valósínűség táblájában eg bejegés. eg rekurív megjelenése a ksámításának aa \ -nek.
A sámítás rekurív hívásokból áll, amk -ből ndulva haladnak a hálóban mnden lehetséges úton. A rekuró leáll a: téncsomópontokon, gökércsomópontokon sülő nélkül csomópont és levélcsomópontokon germek nélkül csomópont. Mnden rekurív hívás kárja at a csomópontot ahonnan hívták, íg a fa mnden csomópontját pontosan egser érntjük. A algortmus lneárs a háló csomópontjanak sámában. mlékehetünk aonban, hog e csak aért lehetséges, mert a háló fa gráf.
Követketetés többsörösen össekötött hálókban Össevonós eljárások: átalakítják a hálót eg valósínűségek sempontjából ekvvalens de más topológájú fa gráffá, a nem megfelelő csomópontokat össevonva. Stochastkus smulácós eljárások: a tárgtartomán nagon nag sámú konkrét modelljét generálják le, am konstens a valósínűség háló által defnált eloslással. alapján a egakt eredmének köelítését adják.