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