Изменения

Перейти к: навигация, поиск

Байесовские сети

229 байт добавлено, 11 март
Нет описания правки
|definition =
<math>I(G)={(X \bot Y | Z):dsep_G(X, Y|Z)}</math>, если <math>P</math> удовлетворяет <math>I(G)</math>, <math>G</math> является <math>I-map</math> (independency map) для <math>P</math>.
}}
 
{{Теорема
|id = factorization independence 2
|author=
|statement=Если <math>P</math> факторизуется над <math>G</math>, то <math>G</math> является <math>I-map</math> для <math>P</math>.
}}
== Источники информации ==
* Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, and Sriram K. Rajamani. 2014. Probabilistic programming. In Proceedings of the on Future of Software Engineering (FOSE 2014). ACM, New York, NY, USA, 167-181. DOI=10.1145/2593882.2593900 doi.acm.org/10.1145/2593882.2593900
Анонимный участник

Навигация