<html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div>Hi all,<br></div><div><br></div><div>It is 2 days I am fighting with a strange behaviour of insertLogical in rules having from pattern in conditions : it works the first time, and not after ...<br></div><div><br></div><div>-----------------------------------------<br></div><div>Here is my use-case (simplified) :<br></div><div><br></div><div>I have a class that represent a Flight. A&nbsp;Flight has a start/end datetime and is associated with a Airplane and a list of Crew :<br></div><div>class Flight {<br></div><div>&nbsp;&nbsp;&nbsp; String airplaneId;<br></div><div>&nbsp;&nbsp;&nbsp; List&lt;String&gt; crewIds;</div><div>&nbsp;&nbsp;&nbsp; Date start;<br></div><div>&nbsp;&nbsp;&nbsp; Date end;<br></div><div>}<br></div><div><br></div><div>I want to maintain an alert list that contains all overlaps for each airplane and each crew. So I have rules like:<br></div><div><br></div><div>rule "Overlap Airplane"<br></div><div>&nbsp;&nbsp; when<br></div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $f1 : Flight($airplaneId : airplaneId)<br></div><div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $f2 : Flight(this != $1, airplaneId == $airplaneId, ... and periods intersecting ... )</div>&nbsp;&nbsp; then<br></div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; insertLogical(new Alert(...));<br></div><div>end<br></div><div><br></div><div><div>rule "Overlap Crews"</div><div>&nbsp;&nbsp; when</div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $f1 : Flight()</div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $crew : String from $f1.getCrewIds()<br></div><div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $f2 : Flight(this != $1, eval($f2.getCrewIds().contains($crew)) , ... and periods intersecting ... )</div>&nbsp;&nbsp; then</div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; insertLogical(new Alert(...));</div><div>end</div><div><br></div><div><br></div><div><div>-----------------------------------------</div></div><div>Ok. So what I do to test all that stuff :<br></div><div>&nbsp; - create a new session<br></div><div>&nbsp; - add a first single Flight --&gt; no alerts at all, normal<br></div><div>&nbsp; - add a second Flight insersecting the first one with same airplane and same crews list --&gt; 3 new alerts inserted (one for airplane, one for each crew) : normal<br></div><div><div>&nbsp; - remove this second Flight --&gt; the 3 preivous alerts are retracted : still ok<br></div><div>&nbsp; - re-add this second Flight --&gt; only the 'airplane' rule triggers, I only get one new alert insteads of the previous same 3 .... The alerts not inserted correspond to the rule having 'from' in it<br></div><div><br></div><div><br></div><div><div>-----------------------------------------</div>To test that it is the source of the problem, I add a new explicit association object that I insert in WM :<br></div><div>class CrewAffectation {<br></div><div>&nbsp;&nbsp;&nbsp; String idCrew;<br></div><div>&nbsp;&nbsp;&nbsp; String idFlight;<br></div><div>}<br></div><div><br></div><div>For each inserted Flight, I also insert corresponding new CrewAffectation objects. (in case of retract, I retract them of course).<br></div><div>I change the last rule to something like :<br></div><div><div><br></div><div>rule "Overlap Crews"</div><div>&nbsp;&nbsp; when</div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $f1 : Flight($id1 : id</div><div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $f2 : Flight(this != $1, $id2 : id, ... and periods intersecting ... )</div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $crewAff1 : CrewAffectation($idCrew : idCrew, idFlight== $id1)<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; $crewAff2 : CrewAffectation(idCrew == $idCrew, idFlight== $id2)&nbsp;&nbsp; <br></div><div>&nbsp;&nbsp;&nbsp; then<br></div><div>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; insertLogical(new Alert(...));</div><div>end</div></div><div>And with this 'no-from' approach, everything is working as expected.<br></div><div><br></div><div><div><div>-----------------------------------------</div>In addition, I suspect the truth maintenance system to have leaks, and notably in the source kBase.</div>Why ? Because I was facing problems by reusing the same kBase to generate multiples kSessions : The first session created reacted well, while all the folowing not. </div><div>And it was in fact the same problem as the one described here : usage of from and insertLogical in the same rule. </div><div>The first created session adds and retract my 3 alerts, the second created session only adds the airplane alert. </div><div><br></div><div>With using the explicit association object, I can reuse my kBase and everything is working well.</div><div><br></div><div><div>-----------------------------------------</div></div><div>Does someone already faced the problem ?<br></div><div>Does it looks like a real bug to dev team or am I doing something wrong (but as it work once, I guess it is a bug) ?<br></div><div><br></div><div><br></div>Vincent<br></div><div><br></div></div></div></body></html>