Algebraic Bayesian networks: probabilistic-logic inference system based on matrix-vector algorithms

Abstract

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

In the Bachelor’s thesis a local probabilistic-logic inference in algebraic Bayesian networks is considered. An architecture of software for the implementation of this inference type in ABN is developed. Two theorems that formalize local posteriori inference in ABN for the knowledge patterns built over the ideal of disjuncts are proved.