МАТРИЧНО-ВЕКТОРНЫЕ АЛГОРИТМЫ ЛОКАЛЬНОГО АПОСТЕРИОРНОГО ВЫВОДА В АЛГЕБРАИЧЕСКИХ БАЙЕСОВСКИХ СЕТЯХ НАД ПРОПОЗИЦИЯМИ-КВАНТАМИ
Аннотация:
В теории вероятностных графических моделей апостериорный вывод является одним из видов вывода, на котором базируется обработка фрагментов знаний с неопределенностью. В работе рассматривается задача описания локального апостериорного вывода в алгебраических байесовских сетях над фрагментами знаний с пропозициями-квантами с помощью матрично-векторных уравнений, которые существенно опираются на использование тензорного произведения матриц, степени Кронекера, а также произведения Адамара. Получены матричные уравнения для вычисления векторов апостериорных вероятностей в задаче апостериорного вывода над фрагментами знаний с пропозициямиквантами. Аналогичные уравнения того же типа уже рассматривались в рамках теории алгебраических байесовских сетей, однако они были построены только для случая апостериорного вывода во фрагментах знаний над идеалами конъюнктов. При обобщении и развитии матрично-векторного аппарата в части операций с векторами вероятностей пропозиций-квантов был, в частности, адаптирован ряд ранее полученных результатов, касающихся нормирующих множителей в апостериорном выводе и задания линейного проективного оператора с помощью вектора-селектора. Рассмотрены все три вида поступающих свидетельств – детерминированные, стохастические и неточные свидетельства – в сочетании со скалярными и интервальными оценками вероятности истинности пропозициональных формул во фрагментах знаний. Сформированы задачи линейного программирования, решение которых дает интервальные оценки искомых апостериорных вероятностей в случае неточного свидетельства или интервальных оценок во фрагменте знаний. Существование такого описания задачи апостериорного вывода позволяет пополнить набор типов фрагментов знаний, которыми мы можем оперировать в локальном и глобальном апостериорном выводе, а также упростить реализацию комплекса программ за счет возможности использования при программировании на Java, C++ или С# уже существующих сторонних библиотек, эффективно поддерживающих представление и обработку матриц и векторов.
Ключевые слова:
Постоянный URL
Статьи в номере
- МЕТОДИКА ИЗУЧЕНИЯ ПРОСТРАНСТВА ПРОЕКТНЫХ РЕШЕНИЙ ДЛЯ СИСТЕМ ПОЗИЦИОНИРОВАНИЯ ОБЪЕКТОВ В РЕАЛЬНОМ ВРЕМЕНИ
- ОПТОВОЛОКОННЫЙ СЕНСОР, МОДИФИЦИРОВАННЫЙ ГРАФТИНГОМ МОЛЕКУЛЯРНО-ИМПРИНТИРОВАННОГО ПОЛИМЕРА ДЛЯ ДЕТЕКТИРОВАНИЯ АММОНИЯ В ВОДНЫХ СРЕДАХ
- ПОЛУЧЕНИЕ И ХАРАКТЕРИЗАЦИЯ ПОРОШКОВ ФТОРИДА СТРОНЦИЯ, АКТИВИРОВАННОГО ФТОРИДОМ НЕОДИМА
- МЕТОД ФОРМИРОВАНИЯ ГРУППОВЫХ ОБЪЕКТОВ ДЛЯ КОСМИЧЕСКИХ СРЕДСТВ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ
- МЕТОД КОРРЕКЦИИ РАДИОМЕТРИЧЕСКИХ ИСКАЖЕНИЙ МНОГОЗОНАЛЬНЫХ ДАННЫХ ДИСТАНЦИОННОГО ЗОНДИРОВАНИЯ ЗЕМЛИ
- АППРОКСИМАЦИЯ НЕСФЕРИЧЕСКИХ ПОВЕРХНОСТЕЙ ПРИ АВТОМАТИЗИРОВАННОМ ПРОЕКТИРОВАНИИ ОПТИЧЕСКИХ СИСТЕМ
- ИССЛЕДОВАНИЕ ВЛИЯНИЯ ФАЗОВОГО СДВИГА СИГНАЛА ОПОРНОГО ГЕНЕРАТОРА НА ВЫХОДНОЙ СИГНАЛ СХЕМЫ ГОМОДИННОЙ ДЕМОДУЛЯЦИИ СИГНАЛОВ
- СИСТЕМА СЛЕЖЕНИЯ ДЛЯ ПРОМЫШЛЕННОГО ГИДРОПРИВОДА С КОМПЕНСАТОРОМ ДАВЛЕНИЯ
- АЛГОРИТМ АДАПТИВНОГО УПРАВЛЕНИЯ КРУТЯЩИМ МОМЕНТОМ ИНЖЕКТОРНОГО ДВИГАТЕЛЯ ВНУТРЕННЕГО СГОРАНИЯ
- О НЕКОТОРЫХ ОСОБЕННОСТЯХ ГЕТЕРОПОЛИТИПНОЙ ЭПИТАКСИИ КАРБИДА КРЕМНИЯ
- ПОИСК ЛЮДЕЙ ПО ФОТОРОБОТАМ: МЕТОДЫ, СИСТЕМЫ И ПРАКТИЧЕСКИЕ РЕШЕНИЯ
- РАСПРЕДЕЛЕННАЯ ГЕНЕРАЦИЯ КОМПЬЮТЕРНОЙ МУЗЫКИ В ИНТЕРНЕТЕ ВЕЩЕЙ
- ПРИМЕНЕНИЕ МИКРОФОННЫХ РЕШЕТОК ДЛЯ ДИСТАНЦИОННОГО СБОРА РЕЧЕВОЙ ИНФОРМАЦИИ
- ФАКТОР АППАРАТНОЙ СРЕДЫ ПЕРЕДАЧИ СИГНАЛА УПРАВЛЕНИЯ ОБЪЕКТУ В ЗАДАЧЕ СИНТЕЗА ДИСКРЕТНЫХ СИСТЕМ
- РАЗРАБОТКА МЕТОДА ОБРАБОТКИ УПРАВЛЯЮЩИХ НИЗКОЧАСТОТНЫХ СИГНАЛОВ ДЛЯ ИНТЕЛЛЕКТУАЛЬНОГО ТРЕНАЖЕРА
- ТРАНСЛЯЦИЯ ДАННЫХ МЕЖДУ PADS И CAM350
- ПОВЫШЕНИЕ УСТОЙЧИВОСТИ ПРИ JPEG-СЖАТИИ ЦИФРОВЫХ ВОДЯНЫХ ЗНАКОВ, ВСТРАИВАЕМЫХ В НЕПОДВИЖНЫЕ ИЗОБРАЖЕНИЯ
- ОЦЕНКА ВЕРОЯТНОСТИ ОБНАРУЖЕНИЯ НАРУШИТЕЛЯ ПАССИВНЫМИ ИНФРАКРАСНЫМИ ИЗВЕЩАТЕЛЯМИ
- КОНЕЧНЫЙ ЭЛЕМЕНТ ДЛЯ МОДЕЛИРОВАНИЯ НАПРЯЖЕННО-ДЕФОРМИРОВАННОГО СОСТОЯНИЯ ДВУХСЛОЙНЫХ ОСЕСИММЕТРИЧНЫХ ОБОЛОЧЕК
- ОДНОМЕРНЫЕ ЗАДАЧИ ГАЗОВОЙ ДИНАМИКИ И ИХ РЕШЕНИЕ ПРИ ПОМОЩИ РАЗНОСТНЫХ СХЕМ
- МОНОТОНИЗИРУЮЩАЯ КОРРЕКЦИЯ ПРОИЗВОДНЫХ ДЛЯ РАСЧЕТА СВЕРХЗВУКОВЫХ ТЕЧЕНИЙ СО СКАЧКАМИ УПЛОТНЕНИЯ
- ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ДИСТАНЦИОННОГО ФОРМИРОВАНИЯ И УПРАВЛЕНИЯ МОДЕЛЯМИ СИСТЕМНОЙ ДИНАМИКИ
- АНАЛИЗ И КОЛИЧЕСТВЕННАЯ ОЦЕНКА РЕЗУЛЬТАТОВ РЕАЛИЗАЦИИ ОБРАЗОВАТЕЛЬНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ДИАГНОСТИЧЕСКИХ ТЕСТОВ
- ИССЛЕДОВАНИЕ ВРЕМЕНИ ПОИСКА В ТЕМПОРАЛЬНЫХ БАЗАХ ЗНАНИЙ С ДИНАМИЧНЫМ КОНТЕНТОМ