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 "stated" assertion, but it is not, it is a logical assertion (ie it depends on the truth that supported it). In that example the "truth" 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> <<a href="mailto:jpkutner@gmail.com">jpkutner@gmail.com</a>> 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. Why does the "Hope is Dead" rule get fired? 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). But shouldn't that activation be removed once the "We have an honest Politician" 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'm an evil corporation and I have corrupted schroder<br>I'm an evil corporation and I have corrupted chirac<br>I'm an evil corporation and I have corrupted bush
<br>I'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. Should all rule-engines have the same output when given the exact same rule-set? 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>