Предварительные результаты исследований по проекту "разработка модели, методов интеграции и системного использования междисциплинарных знаний и данных для поддержки управления комплексным развитием АЗРФ"

Прямой и обратный вывод в продукционных системах с недоопределенными параметрами

Применение методов локального поиска при решении задач удовлетворения ограничений

Ускорение алгоритмов логического вывода на ограничениях

Автоматический контроль корректности процесса моделирования в рамках алгебраического подхода

Совместное применение методов распространения ограничений и структурной декомпозиции для априорного анализа запросов к онтологиям

Программная реализация алгоритмов логиковероятностного анализа на основе матричных и метрических свойств АК-объектов

Интеллектуальные базы данных (результаты выполнения проекта 4. 3 программы № 15 пран)

Семантическая обработка информации в современных фактографических системах

Методы ускорения комбинаторного поиска на основе матричного представления качественных зависимостей в задачах удовлетворения ограничений