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

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