3、冲突检测原理：基于决策表的冲突检测、基于逻辑表达式的冲突检测、基于图论的冲突检测

规则冲突检测是风控规则管理中的核心环节。当多条规则同时满足触发条件时，可能产生结果不一致（如一条规则通过、另一条拒绝）或冗余覆盖（如一条规则完全被另一条规则包含）。本章系统讲解三种主流的冲突检测方法，帮助你在不同场景下选择最合适的检测手段。

3.1 基于决策表的冲突检测

决策表（Decision Table）是一种将规则条件与动作以表格形式呈现的结构化工具。它通过枚举所有条件组合，直观地暴露规则之间的冲突。

3.1.1 决策表结构

上表中，规则1和规则3在条件组合上存在重叠（年龄>60且历史逾期>3次），但规则1要求收入<5000，规则3要求收入≥5000。当收入恰好为5000时，两条规则均不触发，但若收入为4000，则规则1和规则3同时触发，且决策动作一致（均为拒绝），此时为冗余冲突。

3.1.2 冲突检测步骤

1. 构建决策表：将每条规则的条件列作为列头，条件取值（Y/N/—）填入单元格。
2. 合并相同条件组合：找出条件取值完全相同的行。
3. 比较决策动作：若相同条件组合对应不同动作，则标记为直接冲突。
4. 检查子集关系：若一条规则的条件组合是另一条规则的子集，且动作不同，则标记为潜在冲突。

3.2 基于逻辑表达式的冲突检测

将规则条件转化为逻辑表达式（如命题逻辑、一阶逻辑），通过可满足性求解（SAT）或定理证明来检测冲突。这种方法适合条件复杂、规则数量多的场景。

3.2.1 逻辑表达式建模

每条规则可表示为：条件表达式 → 动作。例如：

规则A：(年龄 > 60) ∧ (收入 < 5000) → 拒绝
规则B：(年龄 > 60) ∧ (收入 ≥ 5000) → 通过

冲突检测转化为：是否存在一组变量赋值，使得 条件A ∧ 条件B 为真，但 动作A ≠ 动作B？

3.2.2 检测算法

3.3 基于图论的冲突检测

将规则及其依赖关系建模为有向图，通过图遍历算法（如DFS、拓扑排序）检测环、冲突路径和冗余节点。这种方法特别适合规则之间存在优先级链或条件依赖的场景。

3.3.1 规则图模型

每个节点代表一条规则，有向边表示“规则A的触发条件包含规则B的触发条件”或“规则A的优先级高于规则B”。冲突检测包括：

• 环检测：若存在环，则规则之间形成循环依赖，可能导致无限触发。
• 冲突路径：从同一入口节点出发，到达不同动作节点的路径。
• 冗余节点：若某节点的所有入边均被另一节点覆盖，则该节点可能冗余。

3.3.2 图论检测算法对比

3.4 三种方法对比总结