[jboss-jira] [JBoss JIRA] Commented: (JBRULES-1804) Logical insertion lingers after the rule that inserted it no longer supports it (with testcase patch)

[Edson Tirelli (JIRA)]

    [ https://jira.jboss.org/jira/browse/JBRULES-1804?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12434291#action_12434291 ] 

Edson Tirelli commented on JBRULES-1804:
----------------------------------------

Geoffrey,

I talked to Mark this morning and he said he already discussed this problem with you some time ago. From the current implementation of TMS, since the rule continues to be true after the change, the logical assertion is still justified, event if it is justifying a new logical assertion at the same time.
He said he will add some thoughts here and maybe we can discuss a way to support both approaches. Simply changing behavior is not really an option.

> Logical insertion lingers after the rule that inserted it no longer supports it (with testcase patch)
> -----------------------------------------------------------------------------------------------------
>
>                 Key: JBRULES-1804
>                 URL: https://jira.jboss.org/jira/browse/JBRULES-1804
>             Project: JBoss Drools
>          Issue Type: Bug
>      Security Level: Public(Everyone can see) 
>          Components: drools-core  (expert)
>    Affects Versions:  5.0.0.M2
>            Reporter: Geoffrey De Smet
>            Assignee: Edson Tirelli
>            Priority: Critical
>             Fix For: 5.0.0.M3
>
>
> This one got me headscratching for a while, untill I realized what the problem is.
> Tim reported on the mailing list he ran into it to.
> I've commmited a testcase in subversion, in TruthMaintenanceTest, called
>    disabled_testLogicalInsertionsModifySameRuleGivesDifferentLogicalInsertion
> Remove the "disabled_" to enable it and try it out.
> Here's what happens in the testcase:
> 3 sensors with tempature 100, 200 and 200 are inserted.
> There's a rule which logically inserts all encountered tempatures, so 100 and 200.
> Then the first sensor modifies to a tempature of 150.
> As it turns out, the encoutered tempatures should be 150 and 200 now, but instead it's 100, 150 and 200.
> Even though there is no sensor that has a tempature of 100.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira