产生式

产生式是表征程序性知识的最小单位，是指人脑中贮存的一系列如果—那么形式表示的规则。一个产生式是一个由条件和动作组成的指令，即所谓的条件—活动规则，（condition—action 简称C-A规则）。

“产生式”这一术语是在1943年由美国数学家E.L.Post首先提出的，它根据串替代规则提出了一种称为Post机的计算模型，模型中的每一条规则称为产生式。

产生式通常用于表示具有因果关系的知识，其基本形式为：P→Q 或者 IF P THEN Q