TY - JOUR AU - Константин Владиславович Фроленков PY - 2013/06/01 Y2 - 2024/03/29 TI - Алгоритм передачи виртуального свидетельства, сохраняющий свойство глобальной непротиворечивости алгебраической байесовской сети JF - Труды СПИИРАН JA - ТС VL - 3 IS - 26 SE - Статьи DO - 10.15622/sp.26.15 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1702 AB - В теории алгебраических байесовских сетей (логико-вероятностных графических моделей, использующих для представления знаний с неопределенностью интервальные оценки вероятности истинности пропозициональных формул), формализовано понятие непротиворечивости содержащихся в системе знаний. В работе проанализирован алгоритм обработки поступивших свидетельств с точки зрения сохранения в процессе его выполнения непротиворечивости сети. Предложено улучшение существующего алгоритма, обеспечивающее непротиворечивость результата. ER -