双向推理是即自顶向下又自底向上的推理

反向推理是从目标出发，反向使用规则，求证已知的事实，用驱动方式或自顶向下方式。

正向推理是从已知事实出发，通过规则库求得结果。正向推理的方式也被称为数据驱动方式或自底向上方式。

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

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

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

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

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