Hi Joe.<br><br>Actually that example is showing off truth maintenance and logical assertions. <br><br>That rule should not be fired if Hope was a normal &quot;stated&quot; assertion, but it is not, it is a logical assertion (ie it depends on the truth that supported it). In that example the &quot;truth&quot; that it is based on is that an HonestPolitician exists (at least one). Once the last honest politician is gone, then Hope will be automatically gone ( no need to retract it by hand).
<br><br>If you want to learn more about truth maintenance - take a look in the manual, its got some flow charts and descriptions of other examples etc that go into much more detail, but the above is it in a nutshell.<br><br>
Michael.<br><br><div><span class="gmail_quote">On 3/18/07, <b class="gmail_sendername">Joe Kutner</b> &lt;<a href="mailto:jpkutner@gmail.com">jpkutner@gmail.com</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello,<br><br>I have a question regarding the execution of the HonestPolitician example.&nbsp; Why does the &quot;Hope is Dead&quot; rule get fired?&nbsp; I understand that an activation for that rule will be included in the agenda during the first pass (
i.e. when no Hope object exists in working memory).&nbsp; But shouldn&#39;t that activation be removed once the &quot;We have an honest Politician&quot; rule is fired (and thus a Hope object is asserted to working memory)?<br>

<br>The output I get when running the example is:<br><br>Hurrah!!! Democracy Lives<br>I&#39;m an evil corporation and I have corrupted schroder<br>I&#39;m an evil corporation and I have corrupted chirac<br>I&#39;m an evil corporation and I have corrupted bush
<br>I&#39;m an evil corporation and I have corrupted blair<br>We are all Doomed!!! Democracy is Dead<br><br>Maybe this question is more directed rule-engines in general.&nbsp; Should all rule-engines have the same output when given the exact same rule-set?&nbsp; Or is there a subjectivity to how a particular rule-engine processes the agenda?
<br><br>Thank you,<br><span class="sg"><br>J<br><br>
</span><br>_______________________________________________<br>rules-users mailing list<br><a onclick="return top.js.OpenExtLink(window,event,this)" href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a>
<br><a onclick="return top.js.OpenExtLink(window,event,this)" href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br><br></blockquote></div>
<br>