Система продукций — совокупность множества продукций, выполнение которых задается с помощью стратегии управления выводом. Стратегия определяется абстрактной машиной М = <M1, M2, M3 >, где М1 формирует фронт продукций, для которых выполнены условия их применимости; М2 производит выбор из фронта готовых продукций той, которая будет выполняться на данном шаге процесса, М3 вносит необходимые изменения в продукции, входящие в С.П., на основании той информации, которая содержалась в постусловии продукции, выполненной на данном шаге процесса.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]