Algebraic Bayesian Networks: Data representation, processing algorithms and programme complex reengineering (joint project)

Abstract

В выпускной квалификационной работе бакалавра рассмотрены виды непротиворечивости в алгебраических байесовских сетях и были изучены алгоритмы поддержания различных степеней непротиворечивости. В ходе работы была решена задача по преобразованию строки, содержащей пропозициональную формулу, в характеристический вектор квантов. Результатами работы стали реализация структуры классов для программного представления алгебраических байесовских сетей, доработка и реализация данных алгоритмов. Итоги работы представлены на 4 конференциях и в 5 публикациях, 2 из которых опубликованы, 3 находятся в печати.

Various types of consistency in algebraic Bayesian networks are considered in the graduate qualification work of the bachelor. Algorithms for maintaining different degrees of consistency were studied. In the course of the work, the problem of converting a string containing a propositional formula into a characteristic vector of quants was solved. The results of the work were the implementation of the class structure for the program representation of algebraic Bayesian networks, the completion and implementation of algorithms. The findings of the work were presented at 4 conferences and in 5 publications, 2 of which are published, 3 are in print.