А. В. Сироткин, “Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов”, Тр. СПИИРАН, 2010, выпуск 15,страницы 162

Эта публикация цитируется в 4 статьях

Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов

А. В. Сироткин

Санкт-Петербургский институт информатики и автоматизации РАН

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

Ключевые слова: алгоритм, алгебраическая байесовская сеть, непротиворечивость, вероятностная логика, база фрагментов знаний.

Поступила в редакцию: 27.12.2010