Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов
Ключевые слова:
алгоритм, алгебраическая байесовская сеть, непротиворечивость, вероятностная логика, база фрагментов знанийАннотация
Рассматриваются вопросы проверки и поддержания непротиворечивости алгебраических байесовских сетей. Даются формальные описания алгоритмов, доказывается их корректность и приводятся оценки вычислительной сложности.Опубликован
2010-12-01
Как цитировать
Сироткин, А. В. (2010). Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов. Труды СПИИРАН, 4(15), 162-192. https://doi.org/10.15622/sp.15.9
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
