- В диссертации формализована и исследована новая логико-вероятностная графическая модель баз фрагментов знаний с неопределенностью - алгебраические байесовские сети, чья глобальная структура задается в виде графа смежности (или его подвидов: дерева смежности, цепи смежности, цикла смежности), в узлах которого расположены идеалы конъюнктов со скалярными или интервальными оценками вероятности истинности, что отличает указанную модель от других вероятностных графических моделей (в частности, от байесовских сетей доверия и марковских сетей) и позволяет с ее помощью представлять, агрегировать и обрабатывать знания с неопределенностью посредством ряда операций логико-вероятностного вывода: поддержания и проверки непротиворечивости, априорного вывода, апостериорного вывода, причем в последнем допускается использование как детерминированных свидетельств, так и стохастических и неточных свидетельств, компоненты которых могут быть зависимыми.
- Осуществлен вывод матрично-векторных уравнений, связывающих оценки вероятностей элементов идеала конъюнктов с дискретной плотностью вероятности соответствующего конечного вероятностного пространства, что позволило, в свою очередь, разработать и описать на матрично-векторном языке методы проверки и поддержания непротиворечивости фрагмента знаний АБС, априорного и апостериорного выводов в нем и исследовать чувствительность результатов двух последних, а также обобщить указанный метод проверки и поддержания непротиворечивости на фрагменты знаний с альтернативной структурой.
- Разработаны методы глобального логико-вероятностного вывода в АБС, позволяющие проверять и поддерживать интернальную и глобальную степени непротиворечивости АБС (причем указаны условия, при которых интернальная степень непротиворечивости обеспечивает глобальную степень непротиворечивости), а также позволяющие распространить влияние стохастического свидетельства, поступившего во фрагмент знаний ациклической алгебраической байесовской сети со скалярными оценками, на другие входящие в нее ФЗ; получены оценки вычислительной сложности соответствующих алгоритмов.
- Обнаружено и формально обосновано свойство сохранения состояния непротиворечивости фрагментов знаний и степеней непротиворечивости алгебраических байесовских сетей по отношению к операциям линейной комбинации и линейной оболочки. Кроме того, доказано, что линейная оболочка будет единственным минимальным (по вхождению оценок-интервалов) результатом операции «накрывающей» непротиворечивости, примененной к совокупности непротиворечивых фрагментов знаний (или отвечающих требованиям заданной степени непротиворечивости алгебраических байесовских сетей) одинаковой структуры.
- Выявлена вероятностная семантика и предложен метод преобразования направленного цикла байесовской сети доверия в цикл смежности и цепь смежности фрагментов знаний АБС, что, в свою очередь, позволило разработать метод проверки непротиворечивости исходного цикла; получены оценки вычислительной сложности соответствующих алгоритмов. Разработан метод преобразования ациклической байесовской сети доверия с бинарными случайной элементами в узлах в ациклическую алгебраическую байесовскую сеть.
2.Bool G. An Investigation of the Laws of Thought, on Which Are Founded the Mathe¬matical Theories of Logic and Probabilities. Cambridge: Macmillan / London: Walton & Maberly, 1854. (Reprinted in 1951, Dover Publications, New York.) 424 p.
3.Cowell R. G., Dawid A. Ph., Lauritzen S. L., Spiegelhalter D. J. Probabilistic Networks and Expert Systems. Berlin: Springer, 2003. 321 p.
4.Fagin R., Halpern J. Y., Megiddo N. A Logic for Reasoning about Probabilities. Report RJ 6190 (60900) 4/12/88. pp. 1-41.
5.Fagin R., Halpern J. Y. Uncertainty, Belief, and Probability-2 // Proc. of the IEEE Symposium on Logic and Computer Science. 1991. Vol. 7. P. 160-173.
6.Halpern J. Y. Reasoning about uncertainty. Cambridge: The MIT Press, 2003. 483 p.
7.Jensen F. V. Bayesian Networks and Decision Graphs. NY.: Springer, 2001. 268 p.
8.Kindermann R., Snell J. L. Markov Random Fields and Their Applications. Providence, RI: Amer. Math. Soc., 1980. 142 p.
9.Kyburg H. E., Teng C. M. Uncertain inference. Cambridge: Cambridge University Press, 2001. 298 p.
10.Korb K. B., Nicholson A. E. Bayesian Artificial Intelligence. NY.: Chapman and Hall/CRC, 2004. 364 p.
11.Neapolitan R. E. Learning Bayesian Networks. Pearson Prentice Hall, 2003. 674 p.
12.Nilsson N. J. Probabilistic Logic // Artificial Intelligence. 1986. Vol. 47. Amsterdam:
Elsevier Science Publishers B.V., 1986. P. 71-87.
13.Nilsson N. J. Probabilistic Logic Revisited // Artificial Intelligence. 1993. Vol. 59. Amsterdam: Elsevier Science Publishers B.V., 1993. P. 31-36.
14.Parsons S. Qualitative methods for reasoning under uncertainty. Cambridge, MS: The
MIT Press, 2001. 506 p.
15. Perl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. NY etc.: Morgan Kaufmann Publ., 1994. P. 552.
ОСНОВНЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ
Монографии, прошедшие научное рецензирование
16.Тулупьев А. Л. Алгебраические байесовские сети: теоретические основы и непро¬тиворечивость. СПб.: СПИИРАН, 1995. 76 с.
17.Тулупьев А. Л. Алгебраические байесовские сети: логико-вероятностный подход к моделированию баз знаний с неопределенностью. СПб.: СПИИРАН, 2000. 282 с.
18.Тулупьев А. Л., Николенко С. И., Сироткин А. В. Байесовские сети: логико-вероятностный подход. СПб.: Наука, 2006. 607 с.
19.Тулупьев А. Л. Байесовские сети: логико-вероятностный вывод в циклах. СПб.: Изд-во С.-Петерб. ун-та, 2008. 140 с.
20.Тулупьев А. Л., Сироткин А. В., Николенко С. И. Байесовские сети доверия: логико-вероятностный вывод в ациклических направленных графах. СПб.: Изд-во С.-Петерб. ун-та, 2009. 400 с.
Статьи в изданиях, входивших на момент публикации в «Перечень ведущих рецензируемых научных журналов и изданий», рекомен¬дованных ВАК
21.Городецкий В. И., Тулупьев А. Л. Формирование непротиворечивых баз знаний с неопределенностью // Известия РАН. Сер. Теория и системы управления. 1997. № 5. С. 33-42.
22.Тулупьев А. Л. Генерация множества ограничений на распределение оценок веро¬ятности над идеалом цепочек конъюнкций // Вестник молодых ученых. 2004. № 4. Сер. Прикладная математика и механика. 2004. № 1. С. 35-43.
23.Тулупьев А. Л., Николенко С. И., Сироткин А. В. Синтез согласованных оценок истинности утверждений в интеллектуальных информационных системах //Изве¬стия высших учебных заведений: Приборостроение. 2006. № 7. С. 20-26.
24.Тулупьев А. Л., Николенко С. И., Никитин Д. А., Сироткин А. В. Синтез апосте¬риорных оценок истинности суждений в интегрированных базах знаний: детерми¬нированный вариант // Известия высших учебных заведений: Приборостроение.
2006. № 11. С. 35-39.
25.Тулупьев А. Л., Николенко С. И., Сироткин А. В. Синтез апостериорных оценок истинности суждений в интегрированных базах знаний: стохастический вариант // Известия высших учебных заведений: Приборостроение. 2006. № 11. С. 39-44.
26.Тулупьев А. Л., Сироткин А. В. Алгебраические байесовские сети: принцип декомпозиции и логико-вероятностный вывод в условиях неопределенности // Информационно-измерительные и управляющие системы. 2008. № 10, т. 6. С. 85-87.
27.Тулупьев А. Л. Преобразование ациклических байесовских сетей доверия в алгеб¬раические байесовские сети // Известия высших учебных заведений: Приборостро¬ение. 2009. № 3. С. 21-23.
28.Тулупьев А. Л. Алгебраические байесовские сети: система операций локального логико-вероятностного вывода // Информационно-измерительные и управляющие системы. 2009. № 4. С. 41-44.
29.Тулупьев А. Л. Непротиворечивость оценок вероятностей в идеалах конъюнктов и дизъюнктов // Вестник СПбГУ. Сер. 10. 2009. Вып. 2. С. 121-131.
30.Тулупьев А. Л. Согласованность данных и оценка вероятности альтернатив в цикле стохастических предпочтений // Известия высших учебных заведений: Приборо¬строение. 2009. № 7. С. 3-7.
По теме диссертации с 1995 г. опубликованы в других изданиях 64 научные статьи и доклада, прошли государственную регистрацию во ВНТИЦ и одно¬временно — отраслевую регистрацию в ОФАП Госкоорцентра 6 программ для ЭВМ, еще 3 программы для ЭВМ прошли регистрацию в Роспатенте с полу¬чением Свидетельств об официальной регистрации программы для ЭВМ. Копии регистрационных документов помещены в приложение к диссертации.