Изменения
Нет описания правки
<math> \sum\limits_{D,I,G} P(D)P(I)P(G|I,D) \sum\limits_{S} P(S|I) = \sum\limits_{D,I,G} P(D)P(I)P(G|I,D) = ... </math>
== Виды связей вероятностного вывода (Reasoning Patterns) ==
'''Последовательная связь Прямой вывод, или прогнозирование (Causal Reasoning)'''
Прямой вывод -- определение вероятности события при наблюдаемых причинах.
Пример: <math> P(l1 | i0) </math> или <math> P(l1 | i0, d0) </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
