Алгоритм передачи виртуального свидетельства, сохраняющий свойство глобальной непротиворечивости ациклической алгебраической байесовской сети

В теории алгебраических байесовских сетей (логико-вероятностных графических моделей, использующих для представления знаний с неопределенностью интер-вальные оценки вероятности истинности пропозициональных формул) формализовано понятие непротиворечивости содержащихся в системе знаний. В работе проанализирован алгоритм обработки поступивших свидетельств с точки зрения сохранения в процессе его выполнения непротиворечивости сети. Предложено улучшение существующего алгоритма, обеспечивающее непротиворечивость результата