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