Матрично-векторные уравнения локального логико-вероятностного вывода в алгебраических байесовских сетях

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