Изменения
Нет описания правки
<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>.
'''Обратный вывод, или диагностирование (англ. Evidential Reasoning)'''
Обратный вывод — определение вероятности причины при наблюдаемых следствиях.
Пример: <math> P(d1 | g3), P(i1 | g3) </math>.
'''Межпричинный (смешанный) вывод (англ. Intercausal Reasoning)'''
Межпричинный вывод — определение вероятности одной из причин наступившего события при условии наступления одной или нескольких других причин этого события.
Пример: <math> P(i1 | g3, d1) </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
