Рассматриваются вопросы проверки и поддержания непротиворечивости алгебраических байесовских сетей. Даются формальные описания алгоритмов, доказывается их корректность и приводятся оценки вычислительной сложности.
алгоритм, алгебраическая байесовская сеть, непротиворечивость, вероятностная логика