[jboss-jira] [JBoss JIRA] (DROOLS-5198) Infinite loop induced by backward chaining

[Ivan Zilotti (Jira)]

Ivan Zilotti created DROOLS-5198:
------------------------------------

             Summary: Infinite loop induced by backward chaining
                 Key: DROOLS-5198
                 URL: https://issues.redhat.com/browse/DROOLS-5198
             Project: Drools
          Issue Type: Bug
          Components: core engine
    Affects Versions: 7.34.0.Final
            Reporter: Ivan Zilotti
            Assignee: Mario Fusco


I could not find an out-of-the-box mechanism in Drools for stopping loops induced by backward chaining. I've found some research e.g., [Avoiding Infinite Loops in Rule-Based Systems with Backward Chaining|http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.38.8356&rep=rep1&type=pdf], indicating this is a recurring problem.

When undeterred, these loops cause an OutOfMemoryError. 

I've already tried to:
* Find configuration options in Drools to limit the behavior, but apparently there are't any;
* Step through the code, trying to find ways to break the recursive behavior;
* Change my rules to check for possible loops but that resulted either in partial facts being added to working memory (WM) or computationally expensive logic.



--
This message was sent by Atlassian Jira
(v7.13.8#713008)