产生式是POST提出的根据一种规则，计算模型POST机的串替代规则就是产生式。
写作
产生式与蕴含的区别
除逻辑蕴含外，产生式还包括各种操作，规则、变换、算子、函数等。例如，“如果炉温超过上限，则立即关闭风门”是一个产生式，但不是蕴含式。
蕴含式只能表示精确的知识，而产生式不仅可以表示精确的知识，还可以表示不精确知识。蕴含式的匹配总要求是精确的。产生式匹配可以是精确的，也可以是不精确的，只要按某种算法求出的相似度落在预先指定的范围内就认为是可匹配的。
产生式的形式描述及语义–巴斯克范式BNF
符号::=表示“定义为”
符号|表示“或者是”
符号[]表示可缺省
<产生式>::= <前提><结论>
<前提>::=<简单条件>|<复合条件>
<结论>::=<事实>|<操作>
<复合条件>::=<简单条件>AND<简单条件>[AND<简单条件>...|<简单条件>OR<简单条件>]
<操作>::=<操作名>[(<变元>,...)]