Моделирование знаний и рассуждений в условиях неопределенности: матрично-векторная формализация локального синтеза согласованных оценок истинности

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