Uploaded image for project: 'JBRULES'
  1. JBRULES
  2. JBRULES-233

A logically asserted fact depends only on rule/facts responsible for its inital assertion, and not on rules/facts that would also have logically asserted it

    XMLWordPrintable

Details

    • Feature Request
    • Status: Closed (View Workflow)
    • Major
    • Resolution: Done
    • 3.0-rc2
    • 3.0
    • drools-core (expert)
    • None

    Description

      Refer to forum reference for discussion leading to this JIRA.
      Basically, if A => B becomes true (A is asserted) then B is logically asserted. If C => B becomes true (C is asserted) then B is logically asserted (but nothing happens as has already been asserted before. Still, logical dependencies of B change.) If A => B becomes false (A is retracted) then B should not be retracted (WHICH IT IS), because its still true due to C => B being still true. Only when C is also retracted, so neither A => B nor C => B is true, then B becomes false and should be retracted. JESS behaves that way.
      Probably a special case is if B => B is also true (Jess also supports that), where B should still remain even if A and C would be retracted in the above example.

      Don't know about LEAPS.

      Attachments

        1. CheeseEqual.java
          2 kB
        2. IntegrationCases.java
          55 kB
        3. test_LogicalAssertionsBacking.drl
          0.2 kB
        4. test_LogicalAssertionsBehaviour.drl
          7 kB
        5. test_LogicalAssertionsDynamicRule.drl
          5 kB
        6. test_LogicalAssertionsDynamicRule2.drl
          0.2 kB
        7. test_LogicalAssertionsLoop.drl
          0.3 kB
        8. test_LogicalAssertionsModifyEqual.drl
          2 kB
        9. test_LogicalAssertionsNoLoop.drl
          0.3 kB
        10. test_LogicalAssertionsNot.drl
          2 kB
        11. test_LogicalAssertionsNotPingPong.drl
          2 kB
        12. test_LogicalAssertionsObjectEquality.drl
          2 kB
        13. test_LogicalAssertionsSelfreferencing.drl
          0.2 kB

        Activity

          People

            etirelli Edson Tirelli
            work_registries John Doe (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: