产生式（规则）：前提和结论之间的关系式。
表示形式：前提?结论
例：1. 如果获得学士学位?就有资格考取硕士研究生
2. 如果获得学士学位?成绩名列前茅?德育优良?就有
资格推免上硕士 研究生
事实：无需前提条件的产生式，可用于表示已知的事实。
表示形式：?事实
1、综合数据库是产生式使用的主要数据结构，它用来表述问题状态或有关事实，对应于表示问题的说明式知识。
2、一组产生式规则构成了规则库，每一条规则形如:
if 条件 then 行动 或 if 前提 then 结论
例如
1： if 某动物有羽毛 then 该动物是鸟类
2： if 某动物是鸟 and 有长脖子 and 有长腿 and 不会
飞 then 该动物是鸵鸟 （前提…结论）
3： if 老虎在铁笼中 and 鸡在同一铁笼中 and 老虎饿
了 then 老虎吃掉这只鸡 （条件……行动）
3、控制系统是规则的解释程序，它规定了选择一条可用规则的原则和规则使用的方式 (推理方向)，并根据综合数据库的信息，控制求解问题的过程。
4、产生式系统的特点：
相对固定的格式：均由左、右两部分组成
知识的模块化：知识元 、元知识 、高阶元知识；知识的模块化使得知识库（规则）的补充和修改变得非常容易 。
相互影响的间接性：“数据驱动”，是通过修改数据库来间接实现 。
机器可读性 ：机器识别产生式、语法检查和某种程度上的语义检查
