Логико-вероятностный вывод в направленном БСД-цикле

Обработка направленный циклов остается открытым вопросом в теории байесовских сетей доверия (БСД). Нами предлагается алгоритм первичной пропагации, который основан на традиционном для БСД принципе — передаче сообщений между узлами. Получаемые результаты вычислений совпадают с результатами алгоритма, предложенного ранее, но основанного на другом подходе. Кроме того, в результате указанных вычислений формируется семантический эквивалентный образ направленного БСД-цикла. При переходе к этому образу становится возможным использование ряда алгоритмов логико-вероятностного вывода(ЛВВ): поддержание непротиворечивости, априорный вывод и апостериорный вывод.