Продукция
Способ представления процедурных знаний в следующем наиболее общем виде:
(i); Q; Р; С; АèВ; N.
Здесь (i) — собственное имя (метка) продукции;
Q — сфера применения продукции, вычленяющая из предметной области некоторую ее часть, в которой знание, заключенное в продукции, имеет смысл;
P — предусловие, содержащее информацию об истинности данной продукция, ее приоритетности и т.п., используемую в стратегиях управления выводом для выбора данной продукции для исполнения;
С — условие, представляющее собой предикат, истинное значение которого разрешает применять на некотором шаге данную продукцию; АèВ — ядро продукции (интерпретация ядра может быть различной, например: "Если А истинно, то В истинно", "Если А имеется в базе знаний, то В надо внести в базу знаний", "Если А — текущая ситуация, то надо делать B" и т.п.);
N - постусловие продукции, содержащее информацию о том, какие изменения надо внести в данную продукцию или другие продукции, входящие в систему продукций, после выполнения данной продукции.
Примером реализации продукций является язык Пролог.
