Drools激活组循环

Question

在我的场景中，我有两个excel电子表格（sheet1和sheet2），其中包含两个单独的决策表。在表1中，规则如下所示：

PRIORITY 0
NO-LOOP TRUE
ACTIVATION-GROUP Group1
AGENDA-GROUP Agenda1

    a  b | d
    1  2 | 1

因此，如果a==1，b==2，将d设置为1，则设置d的命令是：<代码>修改（输入）{setD（1）}

Sheet2如下所示：

PRIORITY 5
NO-LOOP TRUE
ACTIVATION-GROUP Group1
AGENDA-GROUP Agenda1

    a  c | d
    1  3 | 1

两个文件具有相同的ACTIVATION-GROUP（激活1）和相同的AGENDA-GROUP（议程1）

我使用的输入：

a  b  c  d
1  2  3  -2

我希望为这两条规则中的每一条创建一个激活。优先级较高的规则将触发，然后由于它位于激活组中，第二条规则将被取消。

然而，当我运行时，Sheet1中的规则将被激活并运行，然后Sheet2中的规则将被激活并运行，这将无限循环。

下面是会话生成的日志输出的一部分：

==>[ActivationCreatedEvent: getActivation()=[[ RuleId15010_16 active=false ] 
==>[BeforeActivationFiredEvent:  getActivation()=[[ RuleId15010_16 active=false ]
==>[AfterActivationFiredEvent: getActivation()=[[ RuleId15010_16 active=false ] 
==>[ActivationCreatedEvent: getActivation()=[[ RuleId15011_16 active=false ] 
==>[BeforeActivationFiredEvent:  getActivation()=[[ RuleId15011_16 active=false ] 
==>[AfterActivationFiredEvent: getActivation()=[[ RuleId15011_16 active=false ] 
==>[ActivationCreatedEvent: getActivation()=[[ RuleId15010_16 active=false ] 
==>[BeforeActivationFiredEvent:  getActivation()=[[ RuleId15010_16 active=false ]
==>[AfterActivationFiredEvent: getActivation()=[[ RuleId15010_16 active=false ] 
==>[ActivationCreatedEvent: getActivation()=[[ RuleId15011_16 active=false ] 
==>[BeforeActivationFiredEvent:  getActivation()=[[ RuleId15011_16 active=false ] 
==>[AfterActivationFiredEvent: getActivation()=[[ RuleId15011_16 active=false ] 
==>[ActivationCreatedEvent: getActivation()=[[ RuleId15010_16 active=false ] 
==>[BeforeActivationFiredEvent:  getActivation()=[[ RuleId15010_16 active=false ] 
==>[AfterActivationFiredEvent: getActivation()=[[ RuleId15010_16 active=false ] 
==>[ActivationCreatedEvent: getActivation()=[[ RuleId15011_16 active=false ] 
==>[BeforeActivationFiredEvent:  getActivation()=[[ RuleId15011_16 active=false ] 
==>[AfterActivationFiredEvent: getActivation()=[[ RuleId15011_16 active=false ] 

我已经将规则分成了两个不同的议程组，这是一个解决方案，但我想知道为什么激活组没有做我认为应该做的事情。

有人知道为什么这是无限循环吗？

Answer 1

这两个规则都被激活，因为所有约束的计算结果都为true。a-c-d规则具有更高的显著性，因此会激发。a-b-d规则的激活确实被取消，因为它处于相同的激活中。

现在您使用修改更新d，这指示引擎重新评估修改后的事实，因此您回到了方块1，即两个规则都被激活，具有更高显着性的规则被触发，并且...

为了打破这种恶性循环，编写更准确地描述逻辑的规则。三种方法：

（1） 仅使用一条规则将d设置为1。我提供DRL：

rule abcd
when
  $inp: Input( a == 1, b == 2 || c == 3 )
then
  modify( $inp ){ setD(1) }
end

（2） 将d上的约束添加到两个规则中：

rule abd
when
  $inp: Input( a == 1, b == 2, d != 1 )
then
  modify( $inp ){ setD(1) }
end

即使在我的第一个建议中，在d上添加约束也可能是一个好主意，因为可能有其他规则设置e、f、，。。。的输入。

（3） 如果您不需要输入。d在您的任何规则中，您都可以进行“脏更新”，即。，

rule abd
when
  $inp: Input( a == 1, b == 2 )
then
  $inp.setD(1);
end

很可能#2最适合您的电子表格方法。