Re: [rules-dev] A remarkable flop

Well, seeing as you're already maintaining two parallel type hierarchies, and it's a mismatch between the two that's causing the problem, you might as well use that in the rules.    rule "Xyz state update"      when        $s: XyzState( $id: id, $type: type ... )        $e: Xyz( id == $id, type == $type )    then      //...update $e, retract $s    end    rule "Xyz state for unknown element"    when       $s: XyzState( $id: id, $type: type )      not Xyz( id == $id, type == $type )  then       //... diagnostic, retract $s   end That oughter do it, and it avoids salience. --- On Sat, 12/11/10, Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; wrote: From: Wolfgang Laun <wolfgang.laun(a)gmail.com&gt; Subject: [rules-dev] A remarkable flop To: "Rules Dev List" <rules-dev(a)lists.jboss.org&gt; Date: Saturday, December 11, 2010, 10:23 AM Given classes Switch and Track, and the "natural" class hierarchy representing state changes for these two elements:    ElementState    TrackState extends ElementState ("free/occupied")    SwitchState extends TrackState (adds "left/right/moving") Now we have rules for updating Switch and Track elements, like this one:    rule "Xyz state update"     when        $s: XyzState( $id: id, ... )        $e: Xyz( id == $id )    then      //...update $e, retract $s    end and, since we want to catch bad ids, also    rule "Xyz state for unknown element"    when       $s: XyzState( $id: id )       not Xyz( id == $id )   then       //... diagnostic, retract $s   end Best practice, wouldn't you say? Testing by inserting a few of SwitchState objects works fine:    updated: Switch 5 RIGHT occupied    updated: Switch 2 RIGHT    updated: Switch 1 RIGHT occupied  so everything is allright, wouldn't you say? Add another SwitchState for Switch "4" to the test, and suddenly:   updated: Switch 4 RIGHT   track state for unknown element 5   updated: Switch 2 RIGHT   updated: Switch 1 RIGHT occupied What's this?! After some headscratching I realized that the negative rule for the SwitchState's superclass TrackState produces another activation, since, for any Switch element with an id x there clearly isn't a Track element with id x! This activation occasionally precedes the activation for the match in the "update" rule. This is annoying. Of course, negative salience for the "not" rules fixes this, but who would have thought that you need it with conditions (seemingly!) describing disjoint situations. And the negative salience is counter-intuitive, since normally you'd perform the check "no such element" before permitting any update action. Remarkable. Wolfgang     -----Inline Attachment Follows----- _______________________________________________ rules-dev mailing list rules-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-dev