Матричные уравнения нормирующих множителей в локальном апостериорном выводе оценок истинности в алгебраических байесовских сетях

Аннотация

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

Ключевые слова:

вероятностная логика, байесовские сети, логико-вероятностный вывод, нормирующие множители, знания с неопределенностью, распространение свидетельств, непротиворечивость