产生式表示法，又称为产生式规则表示法，是一种知识表示方法，通常用于表示事实、规则以及它们的不确定性度量。它适合于表示事实性知识和规则性知识。产生式表示法的基本形式为P→Q或者IF P THEN Q，其中P是产生式的前提，用于指出该产生式是否可用的条件；Q是一组结论或操作，用于指出当前提P所指示的条件满足时，应该得出的结论或应该执行的操作。整个产生式的含义是：如果前提P被满足，则结论Q成立或执行Q所规定的操作。例如，产生式r4：IF动物会飞AND会下蛋THEN该动物是鸟。其中，r4是该产生式的编号；“动物会飞AND会下蛋”是前提P；“该动物是鸟”是结论Q。产生式表示法已经成了人工智能中应用最多的一种知识表示模式，尤其是在专家系统方面，许多成功的专家系统都是采用产生式知识表示方法。
