107–127 СИСТЕМНЫЙ АНАЛИЗ И ИССЛЕДОВАНИЕ ОПЕРАЦИЙ УДК 541.11 РЕАЛИЗАЦИЯ ВЫВОДА В ТЕМПОРАЛЬНЫХ МОДЕЛЯХ ВЕТВЯЩЕГОСЯ ВРЕМЕНИ1 © 2017 г. А. П. Еремеев, И. Е. Куриленко Москва, МЭИ (национальный исследовательский ун-т) e-mail: eremeev@appmat.ru; ivan@appmat.ru Поступила в редакцию 15.10.15 г. После доработки 19.11.15 г. Рассматриваются вопросы реализации временных (темпоральных) рассуждений (вывода) для моделей на основе ветвящегося времени применительно к интеллектуальным системам поддержки принятия решений реального времени. <...> Основной акцент делается на возможности построения как качественной (интервальной), так и количественной (метрической) моделей ветвящегося времени. <...> Вывод сводится к решению задачи согласования темпоральных ограничений, приводятся соответствующие процедуры (алгоритмы). <...> Обзор различных моделей и методов представления темпоральных зависимостей в плане их применения в ИС и, в частности, ИС поддержки принятия решений реального времени (ИСППР РВ), а также возможности их реализации, содержится в работах [7–9]. <...> Но в них, как правило, основное внимание уделяется темпоральным моделям (логикам) с линейной структурой времени, т.е. когда существует полностью определенное отношение предшествования для темпоральных примитивов (моментов или интервалов), или, иначе говоря, единственное будущее и единственное прошлое. <...> Возможность анализа многих вариантов развития событий является весьма полезной для применения в составе современных ИСППР РВ. <...> В настоящее время актуальна проблема разработки перспективных ИСППР РВ и ИС в целом, ориентированных на открытые и динамические предметные области [2, 14–16]. <...> 107 108 Анализатор проблемной ситуации ЕРЕМЕЕВ, КУРИЛЕНКО Блок поиска решений Блок обучения, Блок объяснения найденного решения адаптации и модификациии База данных База моделей База знаний Блок моделирования Блок прогнозирования Блок приобретения и накопления знаний Рис. <...> Базовая архитектура ИСППР РВ Обобщенная структура <...>