Drools决策表条件检查算法

Question

我对如何评估Drools决策表的条件有疑问。 我以为条件是从左到右评估的，如果检查给定规则的最左边一栏是假的，则不会检查其余条件。

对我来说重要的一个原因是将缩小范围的条件放在最左边的概念。 这意味着对象将被踢出更快，而不是大多数对象首先满足广泛条件并继续检查其他条件。

但是，这不是我在单元测试中看到的行为，下面将对此进行概述。

这个例子很简单，并不旨在证明范围的早期缩小。

|------------------|-------------------|
|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和isValueEq是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）

这听起来正确吗？ 我只是误认为我的假设吗？ 因为它没有为（B，4），（B，5）调用isValueEq，所以这是rete算法和缓存评估的一部分吗？

感谢任何可以为我阐明这一点的人！

Answer 1

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

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

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

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