Изменения
Нет описания правки
== Пропагация вывода (англ. Flow of Probabilistic Influence) ==
Обобщим наблюдения из прошлой секции.
''' Свидетельства ''' — утверждения вида «событие в узле x произошло».
X '''влияет''' на У, когда свидетельство X может изменить распределение вероятностей Y.
Рассмотрим случаи, когда X влияет на У при имеющихся свидетельствах Z:
* Если вершины связаны непосредственно (X -> Y или X <- Y), X всегда влияет на Y.
* X -> W -> Y, X <- W <- Y, X <- W -> Y — X влияет на Y, если W не принадлежит Z.
* X -> W <- Y ('''V-образная структура''') — X влияет на Y, если W или кто-либо из потомков W принадлежит Z, и, соответственно, X не влияет на Y, если W или хотя бы кто-либо из потомков W не принадлежит Z.
{{Определение
|definition =
'''Активные пути''' (англ. ''Active Trails'') — путь <math> X_1 — \ldots — X_k </math> активен при свидетельствах Z, если:
* для каждой V-образной структуры X_i-1 -> X_i <- X_i+1 X_i или один из его потомков принадлежит Z;
* все остальные X_i (которые не образуют V-образную структуру) не принадлежат Z.
}}
== Источники информации ==
* 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
