Изменения
Нет описания правки
|definition =
'''Активные пути''' (англ. ''Active Trails'') — путь <math> X_1 — \ldots — X_k </math> активен при свидетельствах <math>Z</math>, если:
* для каждой <math>V</math>-образной структуры <math>X_i-1 -> \rightarrow X_i <- \leftarrow X_i+1</math> <math>X_i</math> или один из его потомков принадлежит <math>Z</math>;
* все остальные <math>X_i</math> (которые не образуют <math>V</math>-образную структуру) не принадлежат <math>Z</math>.
}}
{{Определение
|definition =
<math>P </math> факторизуется над <math>G</math>, если <math>\mathrm P(X_1, \ldots, X_n) = \prod_{i=1}^n \mathrm P(X_i \mid \operatorname{parents}(X_i)).</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
