Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: реализация фрагмента знаний
Ключевые слова:
алгоритм, алгебраическая байесовская сеть, апостериорный вывод, пропагация свидетельств, фрагмент знанийАннотация
В статье рассматриваются ключевые элементы програмной реализации фрагмента знаний алгебраической байесовской сети на языке С++. Фрагмент знаний реализован в виде отдельного класса, обеспечивающего хранение оценок истинности и имеющего ряд методов реализующих алгоритмы обработки фрагмента знаний, таких как поддержания непротиворечивости и апостериорный вывод.Литература
Абрамян А.К., Сироткин А.В. Программная реализация локального синтеза согласованных оценок истинности в алгебраических байесовских сетях: java-техногии// IV-я Международная научно-практическая конференция <<Интегрированные модели и мягкие вычисления в искусственном интеллекте>>, Коломна, 2-30 мая 2007 г.: Сборник научных трудов. Т. 1. М.: Физматлит, 2007. С. 258-265
Сироткин А.В. Сложность алгоритмов проверки и поддержания степеней непротиворечивости алгебраических байесовских сете // Научн. конф. Информационные технологии и системы, Геленджик, сентябрь 2 - октябрь 03, 2008 г.: Труды конференции. М.: ИППИ РАН, 2008. С. 417-422.
Сироткин А.В. Вычислительная сложность локального апостериорного вывда // Интегрированные модели, мягкие вычисления, вероятнтные системы и комплексы программ в искусствнном интелкте М.: Физматлит, 2000. С.234-242.
Сироткин А.В. Модели, алгоритмы и вычислительная сложность синтеза согласованных оценок истинности в алгебраически хбайесовских стях // Информационно-измерительные и управляющие системы. 2009. С. 32-37
Сироткин А.В. Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов // Труды СПИИРАН. 2010. С. 162-192
Сироткин А.В. Вычислительная сожность алгоритмов локального апостериорного вывода в алгебраических байесовских сетях // Труды СПИИРАН. 2011. С. 188-214
Сироткин А.В., Тулупьев А.Л. Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: локальный алгоритм поддержания непротиворечивости // Международная конференция по мягким вычислениям и измерениям. Сборник докладов. СПб.: Изд-во СПбГЭТУ <<ЛЭТИ>>, 2009. С.148-151
Сироткин А.В., Тулупьев А.Л. Моделирование знаний и рассуждений в условиях неопределенности: матрично-векторная формализация локального синтеза согласованных оценок истинности/Труды СПИИРАН. 2011. С.108--135
Сироткин А.В., Тулупьев А.Л. Матричные уравнения локального логико-вероятностного вывода оценок истинности элементов в алгебраических байесовских сетях// Вестни Санкт-Петербургского университета. Серия 1: Математика. Механика. Астрономия.2012. С. 63-72
Тулупьев А.Л. Алгебраические байесовские сети: логико-вероятностный подход к моделированию баз знаний с неопределенностью. СПб.: СПИИРАН, 2000. С.282
Тулупьев А.Л., Николенко С.И., Сироткин А.В. Байесовские сети: логико-вероятностный подход. СПб.: Наука, 2006. С. 608
Тулупьев А.Л., Сироткин А.В. Объектно-ориентированная программа для моделирования и поддержания непротиворечивости баз фрагментов знаний, представленных в виде алгебраических байесовских сетей / Свид. О регистрации электронного ресурса, отвечающего требованиям новизны и приоритетности, (ОФЭРНиО ИИО ГА № 15877 от 17.06.2010.//Бюлл. <<Хроники объедин.фонда электр.ресурсов <<Наука и образование>№6. 2010 . С.25-26
Тулупьев А. Л., Сироткин А.В. Объектно-ориентированная C++ библиотека для представления фрагмента знаний алгебраической байесовской сети и осуществления логико-вероятностного вывода в нем / Свид. о регистрации электронного ресурса, отвечающего требованиям новизны и приоритетности, (ОФЭРНиО ИИО ГАН РАО) №15766 от 20.05.2010. //Бюлл.<<Хроники объедин.фонда электр.ресурсов <<Наука и образование> №5. 2010. с. 26
Тулупьев А.Л., Сироткин А.В. Программа для моделирования и поддержания непротиворечивости базы фрагментов знаний, представленной в виде алгебраической байесовской сети, Algebraic Bayesian Network Knowledge Patterns Base Reconciler, Version 01 for C++ (AlgBN KPB Reconciler cpp.v.01). / Свид. о гос. рег. прогр. для ЭВМ. Ре№ 2010615241(13.08.2010). Роспатент.
Тулупьев А.Л., Сироткин А.В. Программа для моделирования фрагмента знаний алгебраической байесовской сети, поддержания его непротиворечивости и апостериорного вывода в нем Algebraic Bayesian Network Knowledge Pattern Modeler, Reconciler and Propagator Version 01 for C++ (AlgBN KP MRP cpp.v.01). / Свид. о гос. рег. прогр. для ЭВМ. Рег. № 2010615242(13.08.2010). Роспатент.
Тулупьев А. Л., Сироткин А.В. Байесовские и марковские сети: логико-вероятностный вывод в базах фрагментов знаний с неопределенностью // Научн. конф. Информационные технологии и системы, Геленджик, сентябьр- октябрь 03, 2008 г.: Труды конференции.М.: ИППИ РАН, 2008. с. 440-456
Тулупьев А. Л., Сироткин А. В., Николенко С. И. Байесовские сети доверия: логико-вероятностный вывод в ациклических направленных графа. хСПб.: Изд-во С.-Петербургского ун-та, 2009
GNU General Public License v3.0 [Электронный ресурс] URL: http://www.gnu.org/licenses/gpl.html (дата обращения: 20.06.2011)
GNU Lesser General Public License v3.0 [Электронный ресурс] URL: http://www.gnu.org/copyleft/lesser.html (дата обращения: 20.06.2011)
IBM --- IBM ILOG [Электронный ресурс] URL: http://www-01.ibm.com/software/websphere/ilog/ (дата обращения: 20.06.2011)
lp_solve reference guide [Электронный ресурс] URL: http://lpsolve.sourceforge.net/5.5/ (дата обращения: 20.06.2011)
Сироткин А.В. Сложность алгоритмов проверки и поддержания степеней непротиворечивости алгебраических байесовских сете // Научн. конф. Информационные технологии и системы, Геленджик, сентябрь 2 - октябрь 03, 2008 г.: Труды конференции. М.: ИППИ РАН, 2008. С. 417-422.
Сироткин А.В. Вычислительная сложность локального апостериорного вывда // Интегрированные модели, мягкие вычисления, вероятнтные системы и комплексы программ в искусствнном интелкте М.: Физматлит, 2000. С.234-242.
Сироткин А.В. Модели, алгоритмы и вычислительная сложность синтеза согласованных оценок истинности в алгебраически хбайесовских стях // Информационно-измерительные и управляющие системы. 2009. С. 32-37
Сироткин А.В. Проверка и поддержание непротиворечивости алгебраических байесовских сетей: вычислительная сложность алгоритмов // Труды СПИИРАН. 2010. С. 162-192
Сироткин А.В. Вычислительная сожность алгоритмов локального апостериорного вывода в алгебраических байесовских сетях // Труды СПИИРАН. 2011. С. 188-214
Сироткин А.В., Тулупьев А.Л. Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: локальный алгоритм поддержания непротиворечивости // Международная конференция по мягким вычислениям и измерениям. Сборник докладов. СПб.: Изд-во СПбГЭТУ <<ЛЭТИ>>, 2009. С.148-151
Сироткин А.В., Тулупьев А.Л. Моделирование знаний и рассуждений в условиях неопределенности: матрично-векторная формализация локального синтеза согласованных оценок истинности/Труды СПИИРАН. 2011. С.108--135
Сироткин А.В., Тулупьев А.Л. Матричные уравнения локального логико-вероятностного вывода оценок истинности элементов в алгебраических байесовских сетях// Вестни Санкт-Петербургского университета. Серия 1: Математика. Механика. Астрономия.2012. С. 63-72
Тулупьев А.Л. Алгебраические байесовские сети: логико-вероятностный подход к моделированию баз знаний с неопределенностью. СПб.: СПИИРАН, 2000. С.282
Тулупьев А.Л., Николенко С.И., Сироткин А.В. Байесовские сети: логико-вероятностный подход. СПб.: Наука, 2006. С. 608
Тулупьев А.Л., Сироткин А.В. Объектно-ориентированная программа для моделирования и поддержания непротиворечивости баз фрагментов знаний, представленных в виде алгебраических байесовских сетей / Свид. О регистрации электронного ресурса, отвечающего требованиям новизны и приоритетности, (ОФЭРНиО ИИО ГА № 15877 от 17.06.2010.//Бюлл. <<Хроники объедин.фонда электр.ресурсов <<Наука и образование>№6. 2010 . С.25-26
Тулупьев А. Л., Сироткин А.В. Объектно-ориентированная C++ библиотека для представления фрагмента знаний алгебраической байесовской сети и осуществления логико-вероятностного вывода в нем / Свид. о регистрации электронного ресурса, отвечающего требованиям новизны и приоритетности, (ОФЭРНиО ИИО ГАН РАО) №15766 от 20.05.2010. //Бюлл.<<Хроники объедин.фонда электр.ресурсов <<Наука и образование> №5. 2010. с. 26
Тулупьев А.Л., Сироткин А.В. Программа для моделирования и поддержания непротиворечивости базы фрагментов знаний, представленной в виде алгебраической байесовской сети, Algebraic Bayesian Network Knowledge Patterns Base Reconciler, Version 01 for C++ (AlgBN KPB Reconciler cpp.v.01). / Свид. о гос. рег. прогр. для ЭВМ. Ре№ 2010615241(13.08.2010). Роспатент.
Тулупьев А.Л., Сироткин А.В. Программа для моделирования фрагмента знаний алгебраической байесовской сети, поддержания его непротиворечивости и апостериорного вывода в нем Algebraic Bayesian Network Knowledge Pattern Modeler, Reconciler and Propagator Version 01 for C++ (AlgBN KP MRP cpp.v.01). / Свид. о гос. рег. прогр. для ЭВМ. Рег. № 2010615242(13.08.2010). Роспатент.
Тулупьев А. Л., Сироткин А.В. Байесовские и марковские сети: логико-вероятностный вывод в базах фрагментов знаний с неопределенностью // Научн. конф. Информационные технологии и системы, Геленджик, сентябьр- октябрь 03, 2008 г.: Труды конференции.М.: ИППИ РАН, 2008. с. 440-456
Тулупьев А. Л., Сироткин А. В., Николенко С. И. Байесовские сети доверия: логико-вероятностный вывод в ациклических направленных графа. хСПб.: Изд-во С.-Петербургского ун-та, 2009
GNU General Public License v3.0 [Электронный ресурс] URL: http://www.gnu.org/licenses/gpl.html (дата обращения: 20.06.2011)
GNU Lesser General Public License v3.0 [Электронный ресурс] URL: http://www.gnu.org/copyleft/lesser.html (дата обращения: 20.06.2011)
IBM --- IBM ILOG [Электронный ресурс] URL: http://www-01.ibm.com/software/websphere/ilog/ (дата обращения: 20.06.2011)
lp_solve reference guide [Электронный ресурс] URL: http://lpsolve.sourceforge.net/5.5/ (дата обращения: 20.06.2011)
Опубликован
2013-04-01
Как цитировать
Сироткин, А. В. (2013). Комплекс программ логико-вероятностного вывода в базах фрагментов знаний: реализация фрагмента знаний. Труды СПИИРАН, 2(25), 204-220. https://doi.org/10.15622/sp.25.10
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
