В статье рассматриваются ключевые элементы програмной реализации фрагмента знаний алгебраической байесовской сети на языке С++. Фрагмент знаний реализован в виде отдельного класса, обеспечивающего хранение оценок истинности и имеющего ряд методов реализующих алгоритмы обработки фрагмента знаний, таких как поддержания непротиворечивости и апостериорный вывод.
Рассматриваются вопросы проверки и поддержания непротиворечивости алгебраических байесовских сетей. Даются формальные описания алгоритмов, доказывается их корректность и приводятся оценки вычислительной сложности.
Предлагается алгоритм формирования вторичной структуры алгебраической байесовской сети (АБС) на основе ее первичной структуры. Вторичная структура АБС представляет собой граф смежности с минимальным числом ребер. Приведено доказательство корректности работы алгоритма.
1 - 3 из 3 результатов