4、规则引擎架构：规则库、工作内存、议程、执行引擎四大组件详解

规则引擎的核心架构由四个紧密协作的组件构成：规则库（Rule Base）、工作内存（Working Memory）、议程（Agenda）和执行引擎（Execution Engine）。理解这四个组件的职责与交互方式，是掌握规则引擎运行机制的基础。

4.1 四大组件概述

下表从职责、存储内容、生命周期三个维度对比了四大组件的核心差异：

4.2 规则库（Rule Base）

规则库是规则引擎的“知识仓库”，它存储了所有已注册的业务规则。每条规则通常由两部分组成：

• 条件部分（LHS — Left Hand Side）：定义规则触发的模式或条件，通常使用布尔表达式、逻辑运算符和模式绑定。
• 动作部分（RHS — Right Hand Side）：定义条件满足时执行的操作，如修改事实、调用外部服务、产生新事实等。

以下是一个典型的规则定义示例（Drools 语法）：

rule "高风险交易拦截"
    when
        $t : Transaction( amount > 10000, riskScore > 80 )
        $c : Customer( level == "普通" )
    then
        $t.setStatus("BLOCKED");
        alertService.sendAlert($t.getId(), "高风险交易");
end

4.3 工作内存（Working Memory）

工作内存是规则引擎的“运行时数据区”，它持有当前推理会话中所有的事实对象（Fact）。事实对象是规则条件匹配的基本单元，通常由业务数据对象（POJO）实例化而来。

工作内存支持以下核心操作：

• 插入（Insert）：将新事实加入工作内存，触发模式匹配。
• 更新（Update）：修改已有事实的属性值，重新触发匹配。
• 删除（Retract）：从工作内存中移除事实，撤销相关激活。

4.4 议程（Agenda）

议程是规则引擎的“调度中心”。当规则库中的规则条件与工作内存中的事实匹配成功时，引擎会创建一个激活（Activation），并将其放入议程。议程负责管理这些激活的执行顺序。

议程的排序策略（冲突消解策略）通常包括：

4.5 执行引擎（Execution Engine）

执行引擎是规则引擎的“大脑”，它协调其他三个组件完成完整的推理循环。典型的推理循环包括以下步骤：

1. 模式匹配：执行引擎将工作内存中的事实与规则库中的条件进行匹配，通常使用 Rete 算法或 PHREAK 算法优化匹配效率。
2. 激活生成：匹配成功的规则生成激活对象，并加入议程。
3. 冲突消解：执行引擎根据议程的排序策略，从所有激活中选出一个最高优先级的激活。
4. 规则执行：执行引擎触发选中激活的 RHS 动作，可能修改工作内存中的事实。
5. 循环检测：如果工作内存发生变化，执行引擎重新进入模式匹配阶段，直到议程为空或达到终止条件。

4.6 四大组件的协作关系

为了更清晰地展示组件之间的数据流向和依赖关系，下图以分层架构视角呈现了四大组件的交互：

4.7 组件交互的典型时序

以下是一个完整的规则推理时序，展示了四大组件在单次推理会话中的交互顺序：