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