Продукционная модель знаний, прямой и обратный вывод, RETE, архитектура ЭС. Наследие: Попов, Поспелов, Рыбина, Вагин, Стефанюк, Маслов.
LEX, MEA, новизна, разнообразие — как выбрать правило из конфликтного набора
МЭИ, ДИС, темпоральные модели, планирование
Стратегии вывода: от данных к цели, от цели к данным, поиск в глубину и ширину
Объектно-ориентированная оболочка ЭС для мониторинга и управления в реальном времени
Стратегии подтверждения/опровержения гипотез, сбор свидетельств
Противоречия, циклы, избыточность, неполнота — диагностика продукционных БЗ
Обратный вывод в логике и экспертных системах
Интегрированные ЭС и приобретение знаний
Алгоритмы быстрого сопоставления правил с фактами в цикле вывода
ЭС реального времени, коммерциализация ИИ, общение с ЭВМ на ЕЯ (РосНИИ ИТ и САПР)
Основатель логического ИИ в СССР
PS = <KB, I, WM>: база знаний, машина вывода, рабочая память
Язык рекурсивных функций, паттерн-матчинг на структурах, суперкомпиляция
Alpha/beta network, WME, token, OPS5, CLIPS, Drools, Rete/UL
Продолжатель школы Поспелова/Кузина, АТ-ТЕХНОЛОГИЯ
ИППИ им. Харкевича РАН — мост между экспертными системами и адаптивными агентами
МЭИ, экспертные системы, неточные знания, ДСМ-метод
SHAP, LIME, гибридные подходы и российская школа