匹配指用当前全局数据库中的事实与规则中的条件进行比较，如果相同，就称为相匹配，这一规则就称为匹配规则。

推理机是个软件概念，不是硬件概念。它是一个或一组程序，用来控制和协调规则库和全局数据库的运行，包括推理方式和控制策略。

规则库就是描述某领域内知识的产生式规则的集合。它是产生式系统赖以实现问题求解的基础。

全局数据库又称事实库，是产生式系统的数据结构中心，用以存放初始事实，中间事实和最后结果。

以产生式规则作为过程性知识的系统称为产生式系统。

就是把知识表示成便于计算机储存和利用的某种数据结构。