Введение
1 Вероятностные графические модели 16
1.1 Введение 16
1.2 Моделирование данных и знаний с неопределённостью 16
1.3 Вероятностная логика 20
1.4 Сетевые структуры над случайными элементами 23
1.5 Выводы по главе 27
2 Основные объекты и результаты теории алгебраических байесовских сетей 28
2.1 Введение 28
2.2 Базовые объекты и индексация 28
2.3 Оценки вероятностей над пропозициями 31
2.4 Фрагмент знаний АБС 34
2.5 Непротиворечивость фрагмента знаний 36
2.6 Локальный априорный вывод 43
2.7 Локальный апостериорный вывод и свидетельства 45
2.8 Апостериорный вывод над интервальными оценками 54
2.9 Недетерминированные свидетельства 58
2.10 Алгебраические байесовские сети и вторичная структура 63
2.11 Степени непротиворечивости АБС 65
2.12 Выводы по главе 70
3 Алгоритмы логико-вероятностного вывода в алгебраических байесовских сетях 71
3.1 Введение
3 3.2 Формализация алгоритмов локального вывода и их сложность 71
3.3 Вероятностная семантика байесовских сетей доверия 93
3.4 Синтез ABC на основе БСД 101
3.5 Устойчивость и чувствительность локального синтеза согласованных оценок истинности 107
3.6 Объемлющая непротиворечивость 115
3.7 Выводы по главе 119
4 Комплекс программ и его применение 121
4.1 Введение 121
4.2 Среда разработки и компоненты комплекса 121
4.3 Реализация фрагмента знаний 123
4.4 Реализация ABC 132
4.5 Реализация расширенной функциональности 141
4.6 Примеры использования 147
4.7 Выводы по главе 155
Заключение
