Локальный и глобальный логико-вероятностный вывод в алгебраических байесовских сетях: матрично-векторное описание и вопросы чувствительности

В работе приведены алгоритмы и уравнения логико-вероятностного вывода в алгебраических байесовских сетях. Рассмотрены все виды глобальной непротиворечивости и даны формулировки условий непротиворечивости на матричном языке. Работа суммирует результаты в локальном логико-вероятностном выводе для различных видов фрагментов знаний. Кроме того, в статье приведен анализ чувствительности первой задачи апостериорного вывода для фрагмента знаний над идеалом дизъюнктов и сформулированы ЗЛП для нахождения указанных оценок.