ОПРЕДЕЛЕНИЕ. Продукцией называется запись вида p = , где t1,

Продукцией называется запись вида p = , где t₁, . . . , t_n+1 - некоторые образцы.

В продукции p образцы t₁, . . . , t_n образуют посылки, а t_n+1 - заключение.

Продукция p, множество посылок которой является пустым, называется аксиомой.

Содержательно продукция задает общее правило, по которому из всякой согласованной последовательности применений посылок этого правила логически следует и может использоваться в дальнейшем заключение этого правила. В этом случае говорят о применении знания, содержащегося в продукции, или о применении продукции в процессе решения задачи с помощью правил, представленных продукциями.