我正在写一个drools中的规则集，以下情况会通过重新触发规则导致无限循环：

rule "My Rule"
    when
        a1:ObjectA()
        b1:ObjectB(field1 > 0 || a1.field1 in (1,2,3))
        ObjectB(field2 > 10)
    then
        modify( b1 ) { setField3(5) };
end

以下规则更改不会导致无限循环，即当a1不再在objectb中引用时：

rule "My Rule"
    when
        b1:ObjectB(field1 > 0 || field4 in (1,2,3))
        ObjectB(field2 > 10)
    then
        modify( b1 ) { setField3(5) };
end

另一个不会引起无限循环的场景是当我改变 || 到一个 && 在第二个 when 生产线：

rule "My Rule"
    when
        a1:ObjectA()
        b1:ObjectB(field1 > 0 && a1.field1 in (1,2,3))
        ObjectB(field2 > 10)
    then
        modify( b1 ) { setField3(5) };
end

从drools医生那里我明白 modify(){} 将“触发重新评估知识库中匹配对象类型的所有模式”，但由于我正在修改字段， field3 ，没有在lhs条件下使用，我不认为应该重新评估。然而，我不能肯定这与引用有关 a1.field1 内 ObjectB ，但我找不到具体的原因。提前谢谢！