Drools决策表条件检查算法

Question

我有一个关于如何评估Drools决策表的条件的问题。我原以为条件是从左到右计算的，如果它检查给定规则的最左边的列为false，它将不会检查其余的条件。

这对我来说很重要的一个原因是将范围最窄的条件放在最左边的概念。这意味着对象会更快地启动，而不是大多数满足广泛条件的对象首先并继续检查附加条件。

然而，这不是我在单元测试中看到的行为，我将在下面概述。

这个例子很简单，并不是为了演示范围的早期缩小。

|------------------|-------------------|
|Condition         |Condition          |
|------------------|-------------------|
|myObject          |myObject           |
|------------------|-------------------|
|isNameEq("$param")|isValueEq("$param")|
|------------------|-------------------|
|A                 |1                  |
|A                 |2                  |
|A                 |3                  |
|A                 |4                  |
|A                 |5                  |
|B                 |4                  |
|B                 |5                  |
|B                 |6                  |
|B                 |7                  |
|------------------|-------------------|

在本例中，isNameEq和isvalueq是来自java对象myObject的函数。请忽略任何轻微的Drools错误/缺少声明的导入，因为我知道我的测试工作正常，并且此插图是一个近似的场景。

这两个函数包括一些简单的日志记录，以显示何时调用它们。对于名称为A且值为3的对象，我原本希望isValueEq函数永远不会为名称（最左边）列中包含B的规则调用，因为该对象不满足此条件。

但是，日志记录表明函数调用是按以下顺序进行的：

1. isNameEq（A）
2. isNameEq（B）
3. isValueEq（1）
4. isValueEq（2）
5. isValueEq（3）
6. isValueEq（4）
7. isValueEq（5）
8. isValueEq（6）
9. isValueEq（7）

这听起来正确吗？我只是在我的假设中弄错了吗？这是rete算法和缓存评估（节点？）的一部分吗？因为它没有为（B，4），（B，5）调用isValueEq？

感谢所有能为我阐明这一点的人！

Answer 1

电子表格的每一行都转换为一条规则，例如第1行：

rule "whatever 1"
when
    MyObject( isNameEq("A"), isValueEq("1") )
then

另一个带有“A”和“2”，依此类推。每个插入的事实都根据这些规则逐个进行评估。

当函数隐藏对事实数据的访问时，算法的好处（Rete或其他）可能不会变得有效。您可以尝试简单的约束（name==“A”，value==“1”），并通过修改getter来记录访问；这不会影响评估网络的构建方式。