|
Труды СПИИРАН, 2010, выпуск 15, страницы 162–192
(Mi trspy414)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов
А. В. Сироткин Санкт-Петербургский институт информатики и автоматизации РАН
Аннотация:
Рассматриваются вопросы проверки и поддержания непротиворечивости алгебраических байесовских сетей. Даются формальные описания алгоритмов, доказывается их корректность и приводятся оценки вычислительной сложности.
Ключевые слова:
алгоритм, алгебраическая байесовская сеть, непротиворечивость, вероятностная логика, база фрагментов знаний.
Поступила в редакцию: 27.12.2010
Образец цитирования:
А. В. Сироткин, “Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов”, Тр. СПИИРАН, 15 (2010), 162–192
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy414 https://www.mathnet.ru/rus/trspy/v15/p162
|
|