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