Продукционные модели — это набор правил вида «условия — действие», где условиями являются утверждения о содержимом базы данных, а действия представляют собой процедуры, которые могут изменять содержимое базы данных.
Формально продукция определяется следующим образом:
(0; Q; Р; С; А-> В; N,
где (0 — имя продукции (правила); Q — сфера применения правила; Р — предусловие (например, приоритетность); С—предикат (отношение); А-> В — ящро; N— постусловия (изменения, вносимые в систему правил).
Практически продукции строятся по схеме «ЕСЛИ» (причина или иначе посылка), «ТО» (следствие или иначе цель правила).
