Введение
Глава 1. Системы и модели знаний с неопределенностью в ИИ 32
1.1. Введение 32
1.2. Классические экспертные системы с неопределенностью 34
1.3. Меры неопределенности истинности в ИИ 38
1.4. Вероятность как мера истинности 61
1.5. Интервальные оценки вероятностей 74
1.6. Базы фрагментов знаний 84
1.7. Вероятностные графические модели в ИИ . 103
1.8. Выводы по главе 110
Глава 2. Байесовские сети доверия 113
2.1. Введение 113
2.2. Структура БСД и задача обработки свидетельств 114
2.3. Типы связей между узлами сети и d-разделимость 117
2.4. Вероятности и определение БСД 119
2.5. Правило декомпозиции 123
2.6. Преобразование многосвязной БСД 128
2.7. Алгоритмы логико-вероятностного вывода 144
2.8. Выводы по главе 156
Глава 3. АБС — логико-вероятностная графическая модель 158
3.1. Введение 158
3.2. Бинарные последовательности и вероятность истинности 159
3.3. Фрагменты знаний 168
3.4. Виды свидетельств 177
3.5. Графы смежности 182
3.6. Алгебраические байесовские сети 199
3.7. Альтернативные модели ФЗ 202
3.8. Выводы по главе 204
Глава 4 Локальный логико-вероятностный вывод 210
4.1. Введение 210
4.2. Непротиворечивость 213
4.3. Априорный вывод 244
4.4. Апостериорный вывод при различных видах исходных объектов 293
4.5. Экстремальные задачи в апостериорном выводе 311
4.6. Матрично-векторные уравнения апостериорного вывода 318
4.7. Непротиворечивость альтернативных моделей ФЗ 334
4.8. Выводы по главе 337
Глава 5. Логико-вероятностный вывод в ациклической АБС 339
5.1. Введение 339
5.2. Степени непротиворечивости 340
5.3. Свойства непротиворечивых ABC 363
5.4. Общая схема апостериорного вывода 390
5.5. Постановка задачи в случае цепи ФЗ 392
5.6. Распространение влияния стохастического свидетельства 404
5.7. Преобразование ациклической БСД в АБС 412
5.8. Выводы по главе 417
Глава 6. Циклы в байесовских сетях 421
6.1. Введение 421
6.2. Цикл ФЗ АБС 422
6.3. Направленный БСД-цикл 435
6.4. Преобразование БСД-цикла в цикл ФЗ АБС 438
6.5. Непротиворечивость БСД-цикла 455
6.6. Особые случаи и обобщения 463
6.7. Цикл стохастических предпочтений 476
6.8. Выводы по главе 480
Глава 7. Комплекс программ 484
7.1. Введение 484
7.2. Среда разработки и компоненты комплекса 485
7.3. Представление ФЗ и АБС 490
7.4. Синтез непротиворечивых оценок в ФЗ и АБС 508
7.5. Апостериорный вывод в ФЗ и АБС 513
7.6. Обработка направленного БСД-цикла 517
7.7. Примеры использования 523
7.8. Выводы по главе 535
Заключение 538
Литература


