Введение 5
1. Обзорная часть 7
1.1. Введение 7
1.2. Актуальность работы 7
1.3. Цели и задачи 9
1.4. Средства разработки 10
1.5. Выводы по главе 10
2. Определения и обозначения 11
2.1. Введение 11
2.2. Используемые определения и понятия 11
2.3. Используемые в листингах алгоритмов обозначения ... 12
2.4. Выводы по главе 14
3. Инкрементальные алгоритмы синтеза 15
3.1. Введение 15
3.2. Инкрементальное добавление вершины в третичную струк­туру 15
3.3. Декрементальное удаление вершины из третичной струк­туры 19
3.4. Инкрементальное добавление вершины в четвертичную
структуру 24
3.5. Декрементальное удаление вершины из четвертичной струк­туры 32
3.6. Выводы по главе 36
4. Руководство пользователя 37
4.1. Введение 37
4.2. Описание программной реализации 37
4.3. Примеры визуализации работы алгоритмов 47
4.4. Выводы по главе 52
Заключение
Список литературы
Купить

Алгебраические байесовские сети (АБС), представляющие собой раз­новидность графических вероятностных моделей [29, 1], на данный мо­мент активно исследуются с точки зрения автоматического синтеза гло­бальных структур таких моделей [26].
Среди глобальных структур АБС получили формальное определе­ние и рассматриваются первичная, вторичная, третичная и четвертич­ная. Проблема синтеза вторичной структуры, представленной в виде минимального графа смежности, по первичной, рассматривается в [26].
Несмотря на то, что в данный момент для операций с алгебраиче­ской байесовской сетью используют ее вторичную глобальную струк­туру, третичная также применяется как для генерации случайного ми­нимального графа смежности, так и для порождения всего множества минимальных графов смежности [20].
В данной работе рассматривается проблема инкрементализации син­теза третичной и четвертичной структур, а именно, исследуется воз­можность перестроить данные структуры при добавлении новой вер­шины в первичную, вместо того, чтобы их синтезировать по всему по­лучившемуся набору заново.
Настоящая выпускная квалификационная работа бакалавра явля­ется проектной, то есть выполняется совместно с коллегами (Левенцом Даниилом Григорьевичем, Березиным Алексеем Ивановичем), кроме того, тесно связана с ВКР Мальчевской Екатерины Андреевны. Проект представляет собой комплекс программ по синтезу, анализу и визуали­зации вторичной структуры АБС на платформе .NET с использованием языка C# и свободно распространяемой библиотеки GraphSharp.
Комплекс программ позволяет синтезировать все глобальные струк­туры алгебраической байесовской сети по набору вершин, добавлять и удалять вершины, изменяя при этом соответствующим образом все структуры, а также генерировать все множество минимальных графов смежности.
Эта работа является частью более широких инициативных проектов, выполняю­щихся в лаборатории теоретических и междисциплинарных основ информатики СПИ- ИРАН под руководством А.Л. Тулупьева; кроме того, разработки были частично под­держаны грантами РФФИ 15-01-09001-a — «Комбинированный логико-вероятностный графический подход к представлению и обработке систем знаний с неопределенно­стью: алгебраические байесовские сети и родственные модели», 12-01-00945-а — «Раз­витие теории алгебраических байесовских сетей и родственных им логико-вероятностных графических моделей систем знаний с неопределенностью», 09-01-00861-а —«Методология построения интеллектуальных систем поддержки при­нятия решений на основе баз фрагментов знаний с вероятностной неопределенно­стью», а также проектом по ФЦНТП «Исследования и разработки по приоритетным направлениям развития науки и техники на 2002-2006 годы», 2006-РИ-19.0/001/211, Государственный контракт от «28» февраля 2006 г., № 02.442.11.7289, «Направленные циклы в байесовских сетях доверия: вероятностная семантика и алгоритмы логико­вероятностного вывода для программных комплексов с байесовской интеллектуаль­ной компонентой».
Купить