Алгоритм передачи виртуального свидетельства, сохраняющий свойство глобальной непротиворечивости алгебраической байесовской сети
Ключевые слова:
алгебраические байесовские сети, вероятностные графические модели систем знаний, логико-вероятностный вывод, непротиворечивостьАннотация
В теории алгебраических байесовских сетей (логико-вероятностных графических моделей, использующих для представления знаний с неопределенностью интервальные оценки вероятности истинности пропозициональных формул), формализовано понятие непротиворечивости содержащихся в системе знаний. В работе проанализирован алгоритм обработки поступивших свидетельств с точки зрения сохранения в процессе его выполнения непротиворечивости сети. Предложено улучшение существующего алгоритма, обеспечивающее непротиворечивость результата.Литература
Городецкий В.И., Тулупьев А.Л. Формирование непротиворечивых баз знаний с неопределенностью // Известия РАН. Серия «Теория и системы управления». 1997. №5. С. 33–42
Кон П. Универсальная алгебра. — М.: Мир, 1969. — 351 с.
Сироткин А. В. Интернальная и экстернальная степени непротиворечивости ациклических алгебраических байесовских сетей // X Санкт-Петербургская международная конференция «Региональная информатика – 2006 (РИ-2006)», Санкт-Петербург, 24–26 октября 2006 г.: Мат. конфер. СПб.: СПОИСУ. 2006. С. 52.
Сироткин А. В., Тулупьев А. Л. Матричные уравнения локального логико-вероятностного вывода оценок истинности элементов в алгебраических байесовских сетях // Вестник Санкт-Петербургского университета. Серия 1: Математика. Механика. Астрономия. 2012. № 3. С. 63-72.
Тулупьев А.Л. Алгебраические байесовские сети: теоретические основы и непротиворечивость. СПб.: СПИИРАН, 1995. 75 с.
Тулупьев А.Л. Апостериорные оценки вероятностей в идеале конъюнктов // Вестник СПбГУ. 2010. Серия 10. Вып. 1. С. 95–104
Тулупьев А.Л. Непротиворечивость оценок вероятностей в алгебраических байесовских сетях // Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления. 2009. Вып. 3. C. 144–151
Тулупьев А.Л. Непротиворечивость оценок вероятностей в идеалах конъюнктов и дизъюнктов // Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления. 2009. Вып. 2. С. 121–131
Тулупьев А.Л., Николенко С.И., Сироткин А.В. Байесовские сети: логико-вероятностный подход. СПб.: Наука, 2006. 607 с.
Тулупьев А.Л., Сироткин А.В., Николенко С.И. Байесовские сети доверия: логико-вероятностный вывод в ациклических направленных графах. СПб.: Изд-во С.-Петерб. ун-та. 2009. 400 c.
Фильченков А.А., Тулупьев А.Л. Сироткин А.В. Компаративный анализ клик минимальных графов смежности алгебраических байесовских сетей // Труды СПИИРАН. 2010. Вып. 13. С. 186–205
Фильченков А.А., Тулупьев А.Л. Совпадение множеств минимальных и нередуцируемых графов смежности над первичной структурой алгебраической байесовской сети. Вестник СПбГУ. Серия 1. Математика. Механика. Астрономия. 2012. Вып. 2. C. 69–78
Фильченков А.А., Тулупьев А.Л. Структурный анализ систем минимальных графов смежности Труды СПИИРАН. 2009. Вып. 11. С. 104–127
Фроленков К.В. Уточнение оценок вероятностей при локальном апостериорном выводе в алгебраической байесовской сети в случае неточного свидетельства // Труды СПИИРАН. 2013. Вып. 1. С. 190–204
Фроленков К. В., Фильченков А. А., Тулупьев А. Л. Апостериорный вывод в третичной полиструктуре алгебраической байесовской сети. // Тр. СПИИРАН. № 4. 2012. С. 343-356
Сироткин А.В. Алгебраические байесовские сети: вычислительная сложность алгоритмов логико-вероятностного вывода в условиях неопределённости: диссертация на соискание ученой степени кандидата физ.-мат. наук. СПб., 2011. (Санкт-Петербургский государственный университет.)
Nilson N. J. Probabilistic logic // Artificial Intelligence. N. 28(1). 1986. P. 71-87
Кон П. Универсальная алгебра. — М.: Мир, 1969. — 351 с.
Сироткин А. В. Интернальная и экстернальная степени непротиворечивости ациклических алгебраических байесовских сетей // X Санкт-Петербургская международная конференция «Региональная информатика – 2006 (РИ-2006)», Санкт-Петербург, 24–26 октября 2006 г.: Мат. конфер. СПб.: СПОИСУ. 2006. С. 52.
Сироткин А. В., Тулупьев А. Л. Матричные уравнения локального логико-вероятностного вывода оценок истинности элементов в алгебраических байесовских сетях // Вестник Санкт-Петербургского университета. Серия 1: Математика. Механика. Астрономия. 2012. № 3. С. 63-72.
Тулупьев А.Л. Алгебраические байесовские сети: теоретические основы и непротиворечивость. СПб.: СПИИРАН, 1995. 75 с.
Тулупьев А.Л. Апостериорные оценки вероятностей в идеале конъюнктов // Вестник СПбГУ. 2010. Серия 10. Вып. 1. С. 95–104
Тулупьев А.Л. Непротиворечивость оценок вероятностей в алгебраических байесовских сетях // Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления. 2009. Вып. 3. C. 144–151
Тулупьев А.Л. Непротиворечивость оценок вероятностей в идеалах конъюнктов и дизъюнктов // Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления. 2009. Вып. 2. С. 121–131
Тулупьев А.Л., Николенко С.И., Сироткин А.В. Байесовские сети: логико-вероятностный подход. СПб.: Наука, 2006. 607 с.
Тулупьев А.Л., Сироткин А.В., Николенко С.И. Байесовские сети доверия: логико-вероятностный вывод в ациклических направленных графах. СПб.: Изд-во С.-Петерб. ун-та. 2009. 400 c.
Фильченков А.А., Тулупьев А.Л. Сироткин А.В. Компаративный анализ клик минимальных графов смежности алгебраических байесовских сетей // Труды СПИИРАН. 2010. Вып. 13. С. 186–205
Фильченков А.А., Тулупьев А.Л. Совпадение множеств минимальных и нередуцируемых графов смежности над первичной структурой алгебраической байесовской сети. Вестник СПбГУ. Серия 1. Математика. Механика. Астрономия. 2012. Вып. 2. C. 69–78
Фильченков А.А., Тулупьев А.Л. Структурный анализ систем минимальных графов смежности Труды СПИИРАН. 2009. Вып. 11. С. 104–127
Фроленков К.В. Уточнение оценок вероятностей при локальном апостериорном выводе в алгебраической байесовской сети в случае неточного свидетельства // Труды СПИИРАН. 2013. Вып. 1. С. 190–204
Фроленков К. В., Фильченков А. А., Тулупьев А. Л. Апостериорный вывод в третичной полиструктуре алгебраической байесовской сети. // Тр. СПИИРАН. № 4. 2012. С. 343-356
Сироткин А.В. Алгебраические байесовские сети: вычислительная сложность алгоритмов логико-вероятностного вывода в условиях неопределённости: диссертация на соискание ученой степени кандидата физ.-мат. наук. СПб., 2011. (Санкт-Петербургский государственный университет.)
Nilson N. J. Probabilistic logic // Artificial Intelligence. N. 28(1). 1986. P. 71-87
Опубликован
2013-06-01
Как цитировать
Фроленков, К. В. (2013). Алгоритм передачи виртуального свидетельства, сохраняющий свойство глобальной непротиворечивости алгебраической байесовской сети. Труды СПИИРАН, 3(26), 204-245. https://doi.org/10.15622/sp.26.15
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
