标准的知识表示方式之一。主要是使用”if〈条件〉then〈动作〉”这样的语句来组织和表示语言知识或其他知识。如：⑴if某个短语是由一个动词后接一个名词所组成，then这个短语就是动名短语。⑵if某个动名短语的动词具备某特征，并且其后的名词具备某特征，then这个动名短语就是动宾结构的短语。当问题的现状与if〈条件〉部分相匹配时，系统的自动机就执行规则的then〈动作〉部分。这动作可能影响外部世界(如：在用户终端上输出正文)，可能改变程序的控制(如引起一些特定的规则集的激活)，也可能使系统得到一个新的结论(如在数据库中增加一条新的事实或假设)。规则if部分和问题现状的匹配能产生所谓的推理链。下图表示了由上述规则⑴和规则⑵的连续执行而形成的推理链：
这个推理链表明了系统如何使用规则集来推断出某个短语的句法结构的性质的。