TY - JOUR AU - Александр Владимирович Сироткин AU - Александр Львович Тулупьев PY - 2011/09/01 Y2 - 2024/03/28 TI - Моделирование знаний и рассуждений в условиях неопределенности: матрично-векторная формализация локального синтеза согласованных оценок истинности JF - Труды СПИИРАН JA - ТС VL - 3 IS - 18 SE - Статьи DO - 10.15622/sp.18.5 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1558 AB - В теории алгебраических байесовских сетей к локальному синтезу согласованных оценок истинности относятся четыре операции: проверка непротиворечивости фрагмента знаний, поддержание непротиворечивости фрагмента знаний, формирование фрагмента знаний с накрывающими непротиворечивыми оценками, а также априорный вывод во фрагменте знаний. В статье предложена формализация модели фрагмента знаний, представляющего собой идеал конъюнктов со скалярными или интервальными оценками истинности на матрично-векторном языке; кроме того, использование этого языка позволило свести операции локального синтеза к вычислению матрично-векторных выражений или к решению задач линейного программирования, ограничения и целевая функция которых записаны в виде матрично-векторных уравнений, неравенств или выражений. ER -