Стратегия управления выводом — совокупность правил, с помощью которых организуется выбор правил вывода в формальных системах или выбор продукций в системе продукций при поиске решения. Наиболее известные С.У.В. в формальных логических системах — это прямой вывод и обратный вывод. В системах продукций известно много С.У.В. (принцип «классной доски», учет наиболее длинного условия продукции, принцип «повестки дня» и т. п.).
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]