<br> Hey Wolfgang,<br><br> Timely mention! :) I was talking to Jason Morris here at ORF last saturday and he pointed me to your paper. I read it and it is very good indeed. :)<br><br> Now, I have a question for you. Without trying this in any engine (neither Drools, not Jess, nor Clips), tell me what do you expect would happen in the next scenario (I will use Drools syntax, but after trying to answer, you can convert that to jess, clips, etc to run it).<br>
<br>rule "Testing For All"<br>when<br> forall( Alarm( sev == "critical" ) )<br>then<br> System.out.println("test forall fired");<br>end<br><br> Where alarm is:<br><br>Alarm { <br>int sequential;<br>
String sev;<br>}<br><br> Scenario is:<br><br>1. Add the rule to a kbase, and create a session<br>2. fire all rules<br>3. insert alarm( 1, "critical");<br>4. fire all rules<br>5. insert alarm( 2, "critical");<br>
6. fire all rules<br><br> Question is: in which steps do you expect the rule to fire? :)<br><br> Cheers, <br> Edson<br><br><br><div class="gmail_quote">2009/10/26 Wolfgang Laun <span dir="ltr"><<a href="mailto:wolfgang.laun@gmail.com">wolfgang.laun@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Yes, that's what Drools and other forward chaining inference engines do.<br><br>People have found <a href="http://www.jessrules.com/jess/docs/PropPred.pdf" target="_blank">http://www.jessrules.com/jess/docs/PropPred.pdf</a> helpful. Even though the syntax isn't Drools, you shouldn't have any problems following this monograph.<br>
<font color="#888888">
<br>-W</font><div><div></div><div class="h5"><br><br><br><div class="gmail_quote">On Mon, Oct 26, 2009 at 1:01 PM, dbrownell83 <span dir="ltr"><<a href="mailto:dbrownell83@hotmail.com" target="_blank">dbrownell83@hotmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Hi,<br>
<br>
I am new to Drools, so this might be an obvious 'yes' answer...<br>
<br>
I see that DRL uses "first order predicate logic" for its syntax.<br>
That is, it models things like "For all X, such that Y, do Z"<br>
<br>
Am I correct that as long as some data in the knowledge session matches the<br>
'when' conditions, it will run the 'then' consequence?<br>
<br>
Is that how it works? Is this basically what the Rete algorithm does?<br>
<br>
Thanks<br>
<font color="#888888"><br>
<br>
<br>
--<br>
View this message in context: <a href="http://www.nabble.com/Predicate-Logic-rule-binding-clarification-tp26058455p26058455.html" target="_blank">http://www.nabble.com/Predicate-Logic-rule-binding-clarification-tp26058455p26058455.html</a><br>
Sent from the drools - user mailing list archive at Nabble.com.<br>
<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org" target="_blank">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</font></blockquote></div><br>
</div></div><br>_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a 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><br clear="all"><br>-- <br> Edson Tirelli<br> JBoss Drools Core Development<br> JBoss by Red Hat @ <a href="http://www.jboss.com">www.jboss.com</a><br>