产生式（规则）：前提和结论之间的关系式。
表示形式：前提?结论
例：1. 如果获得学士学位?就有资格考取硕士研究生
2. 如果获得学士学位?成绩名列前茅?德育优良?就有
资格推免上硕士 研究生
事实：无需前提条件的产生式，可用于表示已知的事实。
表示形式：?事实
三个基本部分：综合数据库、产生式规则、控制系统。
1、综合数据库是产生式使用的主要数据结构，它用来表述问题状态或有关事实，对应于表示问题的说明式知识。
2、一组产生式规则构成了规则库，每一条规则形如:
if 条件 then 行动 或 if 前提 then 结论
例如
1： if 某动物有羽毛 then 该动物是鸟类
2： if 某动物是鸟 and 有长脖子 and 有长腿 and 不会
飞 then 该动物是鸵鸟 （前提…结论）
3： if 老虎在铁笼中 and 鸡在同一铁笼中 and 老虎饿
了 then 老虎吃掉这只鸡 （条件……行动）
