Алгебраические байесовские сети: нелинейная задача оптимизации в локальном апостериорном выводе при атомарном стохастическом свидетельстве

Второй задачей апостериорного вывода является пересчет имеющихся оценок вероятности истинности при условии поступившего свидетельства. Цель статьи в анализе нелинейной задачи оптимизации, возникающей при пропагации атомарного стохастического свидетельства во фрагменте знаний с интервальными оценками алгебраической байесовской сети. Переход к накрывающим оценкам границ интервала позволяет привести задачу нелинейной оптимизации к серии задач квадратичного или дробно-линейного программирования