А. Л. ТУЛУПЬЕВ, А. В. СИРОТКИН
Санкт-Петербургский институт информатики и автоматизации РАН
ЧУВСТВИТЕЛЬНОСТЬ РЕЗУЛЬТАТОВ
ЛОКАЛЬНОГО АПРИОРНОГО И АПОСТЕРИОРНОГО ВЫВОДА
В АЛГЕБРАИЧЕСКИХ БАЙЕСОВСКИХ СЕТЯХ
Локальный априорный вывод во фрагменте знаний алгебраической байесовской сети может быть представлен в виде скалярного произведения вида p(f) = (L,P), где f – пропозициональная формула, вероятность которой требуется оценить, P – вектор вероятностей конъюнктов из фрагмента знаний, а L – вектор, однозначно определяющийся на основе разложения f в совершенную нормальную дизъюнктивную форму. Вариация результата линейно выражается через вариацию исходных данных Δp(f) = (L, ΔP). Аналогично обстоит дело и с ненормированным результатом локального апостериорного вывода: D = MP, где М – матрица, однозначно определяющаяся по составу поступившего детерминированного свидетельства, а D – вектор апостериорных «вероятностей» (еще не нормированных). Тогда ΔD = MΔP. Можно подобрать такие метрики, чтобы показатели чувствительности результата вывода для любого элемента фрагмента знаний определялись бы с помощью серии задач линейного программирования.
