2. 冲突分类基础：语法冲突、语义冲突、优先级冲突、循环依赖冲突

在在线推理系统中，规则冲突并非单一形态。不同性质的冲突需要不同的检测与消解策略。本章将冲突划分为四种基础类型：语法冲突、语义冲突、优先级冲突和循环依赖冲突。掌握这四种分类，是构建冲突处理引擎的第一步。

2.1 四种冲突类型总览

2.2 语法冲突

语法冲突是最低层级的冲突，指规则表达式不符合推理引擎定义的语法规范。这类冲突通常由规则编写工具或编译器在加载阶段直接报错，不会进入推理循环。

常见语法冲突模式：

• 结构不完整：缺少条件部分或结论部分，例如 IF temperature > 30 THEN 缺少动作。
• 操作符误用：使用了引擎不支持的比较符或逻辑符，如 IF x =/= y THEN ...。
• 括号/引号不匹配：嵌套条件中括号未闭合，或字符串常量缺少引号。
• 保留字冲突：将引擎关键字用作变量名，如 IF THEN = 1 THEN ...。

// 语法冲突示例（Drools 风格）
rule "InvalidSyntax"
  when
    $order: Order(amount > 100)  // 缺少右括号
  then
    System.out.println("High value order");
end

2.3 语义冲突

语义冲突指规则在语法上正确，但逻辑含义相互矛盾。这类冲突更难检测，因为引擎需要理解规则的实际语义，而不仅仅是结构。

典型语义冲突模式：

• 矛盾断言：规则 A 断言 status = "active"，规则 B 断言 status = "inactive"，且两条规则的条件同时满足。
• 互斥前提：规则 A 的条件是 x > 10，规则 B 的条件是 x < 5，但两者结论对同一变量赋值。
• 隐含矛盾：通过推理链推导出与显式事实冲突的结论。

2.4 优先级冲突

优先级冲突是运行期最常见的冲突类型。当多条规则的条件同时满足，且它们的结论对同一事实或变量产生不同赋值时，即发生优先级冲突。这类冲突的消解通常依赖显式优先级声明或冲突解决策略。

优先级冲突的消解策略：

// 显式优先级示例（Drools 风格）
rule "HighPriorityRule" salience 100
  when
    $o: Order(total > 1000)
  then
    $o.setDiscount(0.15);
end

rule "LowPriorityRule" salience 10
  when
    $o: Order(total > 500)
  then
    $o.setDiscount(0.10);
end

2.5 循环依赖冲突

循环依赖冲突指规则之间形成闭环依赖，导致推理无法终止或陷入无限循环。在基于前向链的推理引擎中，循环依赖可能导致引擎反复激活同一组规则，造成性能退化或栈溢出。

循环依赖的三种形态：

• 直接自循环：规则 A 的结论触发规则 A 自身的条件。
• 间接循环：规则 A 触发规则 B，规则 B 触发规则 C，规则 C 又触发规则 A。
• 隐式循环：通过事实更新或副作用间接形成循环，例如规则 A 修改对象属性，该属性又被规则 A 的条件引用。

2.6 循环依赖的检测与消解

循环依赖是四种冲突中最隐蔽、破坏性最大的一类。下面给出一个典型的循环依赖检测流程。

循环依赖检测步骤：

1. 构建依赖图：遍历规则集，对每条规则 R_i，若其结论可能触发规则 R_j 的条件，则添加有向边 R_i → R_j。
2. 检测强连通分量：使用 Tarjan 或 Kosaraju 算法找出所有强连通分量（SCC）。
3. 判定循环：若某个 SCC 包含的规则数大于 1，或存在自环（R_i → R_i），则报告循环依赖。
4. 消解策略：根据业务语义选择打断循环（如移除某条规则）、引入终止条件（如最大推理深度）、或使用惰性求值避免无限触发。

// 循环依赖检测伪代码
function detectCycle(rules):
    graph = buildDependencyGraph(rules)
    sccs = tarjan(graph)
    for scc in sccs:
        if len(scc) > 1 or hasSelfLoop(scc):
            reportCycle(scc)
            return true
    return false

2.7 四种冲突的工程应对策略