流口水冲突解决程序与突出问题

Question

我发现 drools 引擎有奇怪的行为。 我有两条具有不同重要性的规则。如 drools 文档中所述

3.3.4.1。冲突解决

以下情况需要解决冲突 有多项规则 议程。 （这的基础是 “快速入门”一章中有介绍。） 触发规则可能会产生副作用 工作记忆，规则引擎 需要知道规则的顺序 应该开火（例如，开火 规则 A 可能会导致规则 B 被删除 从议程）。

默认的冲突解决方案 Drools 采用的策略是： 显着性和 LIFO（后进先出） 出）。

最明显的一个是显着性（或 优先级），在这种情况下用户可以 指定某个规则具有 更高的优先级（通过给予它更高的 数）比其他规则。在那 case，具有较高显着性的规则 将被优先考虑。后进先出的优先事项是 基于分配的工作记忆 动作计数器值，符合所有规则 在同一操作期间创建 接收相同的值。这 一组触发的执行顺序 具有相同优先级值的是 任意。

但是，对每种类型使用 5 个对象执行两条规则会产生奇怪的结果 - 在某些对象上，显着性为 1 的规则比显着性为 10 的规则执行得更早。 如果我从规则中删除更新，则首先执行显着性为 10 的规则，然后才执行显着性 1 的规则。

 package com.sample

import com.sample.DroolsTest.Message;
import com.sample.DroolsTest.Message2;



rule "Hello World2"
    salience 10
    when
        m : Message()
        m2 : Message2(status <0)
    then

        System.out.println( "Second Rule With Salience 10"); 
        System.out.println( "m status = "+m.getStatus()); 
        System.out.println( "m2 status = "+m2.getStatus()); 
        m2.setStatus(m2.getStatus()*(-1));
        update(m2);
end

rule "Hello World3"
    salience 1
    when
        m2 : Message2()
        m : Message()
    then
        System.out.println( "Third Rule With Salience 1"); 
        System.out.println( "m status = "+m.getStatus()); 
        System.out.println( "m2 status = "+m2.getStatus()); 
end

rule "GoodBye"
    salience 0
    when
        eval(true)
    then
        System.out.println( "End" );
end

这里是 java 代码，可以让您更快地测试它

    package com.sample;

    import org.drools.KnowledgeBase;
    import org.drools.KnowledgeBaseFactory;
    import org.drools.builder.KnowledgeBuilder;
    import org.drools.builder.KnowledgeBuilderError;
    import org.drools.builder.KnowledgeBuilderErrors;
    import org.drools.builder.KnowledgeBuilderFactory;
    import org.drools.builder.ResourceType;
    import org.drools.io.ResourceFactory;
    import org.drools.logger.KnowledgeRuntimeLogger;
    import org.drools.logger.KnowledgeRuntimeLoggerFactory;
    import org.drools.runtime.StatefulKnowledgeSession;

    /**
     * This is a sample class to launch a rule.
     */
    public class DroolsTest {

        public static final void main(String[] args) {
            try {
                // load up the knowledge base
                KnowledgeBase kbase = readKnowledgeBase();
                StatefulKnowledgeSession ksession = kbase.newStatefulKnowledgeSession();
                KnowledgeRuntimeLogger logger = KnowledgeRuntimeLoggerFactory.newFileLogger(ksession, "test");
                // go !
                System.out.println("Start");
                for(int i=0; i<5; i++){
                    Message message = new Message(i);
                    ksession.insert(message);
                    Message2 message2 = new Message2(-i);
                    ksession.insert(message2);
                }
                ksession.fireAllRules();
                logger.close();
            } catch (Throwable t) {
                t.printStackTrace();
            }
        }

        private static KnowledgeBase readKnowledgeBase() throws Exception {
            KnowledgeBuilder kbuilder = KnowledgeBuilderFactory.newKnowledgeBuilder();
            kbuilder.add(ResourceFactory.newClassPathResource("Sample.drl"), ResourceType.DRL);
            KnowledgeBuilderErrors errors = kbuilder.getErrors();
            if (errors.size() > 0) {
                for (KnowledgeBuilderError error: errors) {
                    System.err.println(error);
                }
                throw new IllegalArgumentException("Could not parse knowledge.");
            }
            KnowledgeBase kbase = KnowledgeBaseFactory.newKnowledgeBase();
            kbase.addKnowledgePackages(kbuilder.getKnowledgePackages());
            return kbase;
        }

        public static class Message {

            private int status;

            public int getStatus() {
                return this.status;
            }

            public Message(int status) {
                super();
                this.status = status;
            }

            public void setStatus(int status) {
                this.status = status;
            }

        }

    public static class Message2 {

            private int status;

            public Message2(int status) {
                this.status = status;
            }

            public int getStatus() {
                return this.status;
            }

            public void setStatus(int status) {
                this.status = status;
            }

        }

}

谢谢，我非常感谢您的帮助。 PS：我知道，依赖规则触发的顺序并不是一个好主意，但在我运行这个之前，显着性对我来说似乎是值得信赖的。

Answer 1

查看您的 drl 文件，您给出了条件“when”部分 m2 ： Message2(status <0)
，请记住，LHS 仅在断言时或调用给定事实的修改（）/更新（）时进行评估。因此，在断言时，条件将评估为 true 并激活规则。您永远不会对同一个对象.Message2调用modify()/update，因此，您的条件永远不会被重新评估。这就是为什么你会出现奇怪的行为。
这就是为什么您无需更新即可获得所需行为的原因。