TY - JOUR AU - Тулупьев AU - Никитин PY - 2005/04/01 Y2 - 2024/03/29 TI - Экстремальные задачи в апостериорном выводе над идеалами цепочек конъюнкций JF - Труды СПИИРАН JA - ТС VL - 2 IS - 2 SE - Статьи DO - 10.15622/sp.2.1 UR - http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1173 AB - Идеал цепочек конъюнкций с оценками вероятностей его элементов является одной из математических моделей фрагмента знаний с вероятностной неопределенностью. Цепи и сети таких идеалов являются математическим моделями баз фрагментов знаний и называются алгебраическим байесовскими сетями. В статье рассматриваются экстремальные задачи, возникающие при пропагации свидетельств и их кортежей (апостериорном выводе) в идеалах цепочек конъюнкций; предложено обобщение этого подхода на цепи и ациклические сети идеалов. Изначально возникающие задачи формулируются как задачи гиперболического программирования, но их удаётся свести к серии задач линейного программирования. В статье также описана индексация элементов идеала, позволяющая представить множество ограничений относительно оценок их вероятности на основе требований аксиоматики вероятностной логики, в виде, удобном для формальной записи рассматриваемых экстремальных задач. ER -