A posteriori probabilistic estimates in algebraic Bayesian networks

A. L. Tulupyev

Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 2 (2012), pp. 51-59

Résumé

The paper presents an algorithm for evidence propagation in algebraic Bayesian networks in order to calculate a posteriori probabilistic estimates of network elements. The implicit assumptions that guarantee the correctness of the a posteriori inference algorithm results are discovered and considered.

Détail

Keywords: algebraical Bayesian network, knowledge uncertainty, knowledge pattern, a posteriori inference
Mots-clés : evidence propagation.

Bibliographie

[1] Gorodetskii V. I., Baiesovskii vyvod, preprint LIIAN No 149, LIIAN, L., 1991, 38 pp.

[2] Tulupev A. L., Algebraicheskie baiesovskie seti: teoreticheskie osnovy i neprotivorechivost, SPIIRAN, SPb., 1995, 76 pp.

[3] Tulupev A. L., Algebraicheskie baiesovskie seti: logiko-veroyatnostnyi podkhod k modelirovaniyu baz znanii s neopredelennostyu, SPIIRAN, SPb., 2000, 282 pp.

[4] Tulupev A. L., Nikolenko S. I., Sirotkin A. V., Baiesovskie seti: logiko-veroyatnostnyi podkhod, Nauka, SPb., 2006, 607 pp.

[5] Tulupev A. L., Algebraicheskie baiesovskie seti: lokalnyi logiko-veroyatnostnyi vyvod, ucheb. posobie, Izd-vo S.-Peterb. un-ta, SPb.; OOO Izd-vo «Anatoliya», 2007, 80 pp.

[6] Tulupev A. L., Algebraicheskie baiesovskie seti: globalnyi logiko-veroyatnotnyi vyvod, ucheb. posobie, Izd-vo S.-Peterb. un-ta, SPb.; OOO Izd-vo «Anatoliya», 2007, 40 pp.

[7] Tulupev A. L., “Neprotivorechivost otsenok veroyatnostei nad idealami kon'yunktov i diz'yunktov”, Vestn. S.-Peterb. un-ta. Ser. 10: Prikladnaya matematika, informatika, protsessy upravleniya, 2009, no. 2, 121–131

[8] Tulupev A. L., “Neprotivorechivost otsenok veroyatnostei v algebraicheskoi baiesovskoi seti”, Vestn. S.-Peterb. un-ta. Ser. 10: Prikladnaya matematika, informatika, protsessy upravleniya, 2009, no. 3, 144–151

[9] Tulupev A. L., Stolyarov D. M., Mentyukov M. V., “Predstavlenie lokalnoi i globalnoi struktury algebraicheskoi baiesovskoi seti v Java-prilozheniyakh”, Trudy SPIIRAN, 2007, no. 5, 71–99

[10] Jensen F. V., Bayesian Networks and Decision Graphs, Springer-Verlag, New York, 2001, 268 pp. | MR

[11] Perl J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann Publ., New York e.a., 1994, 552 pp. | MR

[12] Nikolenko S. I., Tulupev A. L., “Prosteishie tsikly v baiesovskikh setyakh doveriya: raspredelenie veroyatnostei i vozmozhnost ego neprotivorechivogo zadaniya”, Trudy SPIIRAN, 1:2 (2005), 119–126

[13] Tulupyev A. L., Nikolenko S. I., “Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity”, Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence (LNAI)-3789, Springer, Berlin, 2005, 214–223

[14] Tulupev A. L., Nikolenko S. I., Sirotkin A. V., “Tsikly v baiesovskikh setyakh: veroyatnostnaya semantika i otnosheniya s sosednimi uzlami”, Trudy SPIIRAN, 1:3 (2006), 240–263

[15] Tulupev A. L., Baiesovskie seti: logiko-veroyatnostnyi vyvod v tsiklakh, Izd-vo S.-Peterb. un-ta, SPb., 2008, 140 pp. (Elementy myagkikh vychislenii)

[16] Tulupev A. L., “Soglasovannost dannykh i otsenka veroyatnosti alternativ v tsikle stokhasticheskikh predpochtenii”, Izv. vysshikh uchebnykh zavedenii. Priborostroenie, 2009, no. 7, 3–8

[17] Momzikova M. P., Velikodnaya O. I., Pinskii M. Ya. i dr., “Predstavlenie binarnykh lineinykh po strukture skrytykh markovskikh modelei v vide algebraicheskikh baiesovskikh setei”, Trudy SPIIRAN, 2010, no. 12, 134–150

[18] Momzikova M. P., Velikodnaya O. I., Pinskii M. Ya. i dr., “Otsenka veroyatnosti nablyudaemoi posledovatelnosti v binarnykh lineinykh po strukture skrytykh markovskikh modelyakh s pomoschyu aposteriornogo vyvoda v algebraicheskikh baiesovskikh setyakh”, Trudy SPIIRAN, 2010, no. 13, 122–142

[19] Pinskii M. Ya., Sirotkin A. V., Tulupev A. L., Filchenkov A. A., “Povyshenie bystrodeistviya algoritma otsenki nablyudaemoi posledovatelnosti v skrytykh markovskikh modelyakh na osnove algebraicheskikh baiesovskikh setei”, Nauch.-tekhn. vestn. S.-Peterb. gos. un-ta inform. tekhnologii, mekhaniki i optiki, 2011, no. 5(75), 69–73

[20] Oparin V. V., Filchenkov A. A., Sirotkin A. V., Tulupev A. L., “Matroidnoe predstavlenie semeistva grafov smezhnosti nad naborom fragmentov znanii”, Nauch.-tekhn. vestn. S.-Peterb. gos. un-ta inform. tekhnologii, mekhaniki i optiki, 2010, no. 4(68), 73–76

[21] Filchenkov A. A., Tulupev A. L., Sirotkin A. V., “Strukturnyi analiz klik maksimalnykh grafov smezhnosti algebraicheskikh baiesovskikh setei”, Vestn. Tversk. gos. un-ta. Ser. Prikladnaya matematika, 2011, no. 20, 139–151

[22] Filchenkov A. A., “Algoritmy postroeniya tretichnoi struktury algebraicheskoi baiesovskoi seti”, Trudy SPIIRAN, 2011, no. 17, 197–218

[23] Tulupev A. L., Sirotkin A. V., Nikolenko S. I., Baiesovskie seti doveriya: logiko-veroyatnostnyi vyvod v atsiklicheskikh napravlennykh grafakh, Izd-vo S.-Peterb. un-ta, SPb., 2009, 400 pp.

[24] Tulupev A. L., “Algebraicheskie baiesovskie seti: sistema operatsii lokalnogo logiko-veroyatnostnogo vyvoda”, Informatsionno-izmeritelnye i upravlyayuschie sistemy, 2009, no. 4, 41–44

[25] Tulupev A. L., “Kompozitsiya raspredelenii sluchainykh binarnykh posledovatelnostei”, Informatsionnye tekhnologii i intellektualnye metody, 1, SPIIRAN, SPb., 1996, 105–112

[26] Tulupev A. L., “Aposteriornye otsenki veroyatnostei v ideale kon'yunktov”, Vestn. S.-Peterb. un-ta. Ser. 10: Prikladnaya matematika, informatika, protsessy upravleniya, 2010, no. 1, 95–104

[27] Tulupev A. L., Gorshkov A. S., Sirotkin A. V. i dr., “Modelirovanie sistem «lichnost–deyatelnost–effektivnost» na osnove baiesovskikh setei: postanovka problemy”, Trudy SPIIRAN, 2008, no. 6, 198–202

[28] Tulupev A. L., Sistema dlya predstavleniya algebraicheskikh baiesovskikh setei i ikh fragmentov Algebraic Bayesian Networks Modeler, Version 01 for Java (AlgBN Modeler j.v.01), svidetelstvo ob ofitsialnoi registratsii programmy dlya EVM No 2009613802 ot 16.07.2009 (Rospatent)

[29] Tulupev A. L., Sistema dlya sinteza neprotivorechivykh algebraicheskikh baiesovskikh setei i ikh fragmentov Algebraic Bayesian Networks Inferrer, Version 01 for Java (AlgBN Inferrer j.v.01), svidetelstvo ob ofitsialnoi registratsii programmy dlya EVM No 2009613803 ot 16.07.2009 (Rospatent)

[30] Tulupev A. L., Sistema dlya aposteriornogo vyvoda v algebraicheskikh baiesovskikh setyakh i ikh fragmentakh Algebraic Bayesian Networks Propagator, Version 01 for Java (AlgBN Propagator j.v.01), svidetelstvo ob ofitsialnoi registratsii programmy dlya EVM No 2009613804 ot 16.07.2009 (Rospatent)