Применение правила вывода. Сопоставление, выбор, срабатывание и действие. Понятие конфликтного множества. Схема работы интерпретатора. Движение в пространстве состояний, виртуальные процедуры. Диалог с экспертной системой. Стратегии управления выводом.