<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Javadocs sounds like a cut and paste error.<div><br></div><div>The pluggable belief system is a new feature in development, to extend the traditional TMS system.</div><div><br></div><div>The first implementation for this now implements a full JTMS system, instead of the more simple approach Jess, Clips and Drools. JTMS allows for logical insertions to have positive and negative labels. A logical insertion cannot exist n the network, while there is a negative version of it.</div><div><a href="https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/java/org/drools/beliefsystem/jtms/JTMSTest.java">https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/java/org/drools/beliefsystem/jtms/JTMSTest.java</a></div><div><br></div><div>I mentioned this back last november. </div><div><a href="http://lists.jboss.org/pipermail/rules-dev/2012-November/004283.html">http://lists.jboss.org/pipermail/rules-dev/2012-November/004283.html</a></div><div>"Just added a Justification based Truth Maintenance System to Drools, so now you can do contradictions.</div><pre><a href="http://www.cis.temple.edu/~giorgio/cis587/readings/tms.html">http://www.cis.temple.edu/~giorgio/cis587/readings/tms.html</a>
<a href="https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/java/org/drools/beliefsystem/jtms/JTMSTest.java">https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/java/org/drools/beliefsystem/jtms/JTMSTest.java</a>
<a href="https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/resources/org/drools/beliefsystem/jtms/posNegTms.drl">https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/resources/org/drools/beliefsystem/jtms/posNegTms.drl</a>
<a href="https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/resources/org/drools/beliefsystem/jtms/posNegConflict.drl">https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/resources/org/drools/beliefsystem/jtms/posNegConflict.drl</a>
It works just like normal logical inserts, but now there is an optional second argument. That argument can be "neg" or "pos", the default is "pos" if the argument is omitted. If you have both positive and negatives then no fact is available to the WM - because it's in conflict. If you have all positives then the fact is propagated as normal, if you have all negatives then the fact is propagated in the "neg" partition"</pre><div><br></div><div><div style="margin: 0px; ">Davide also has a defeasible logic implementation written that plugs into this belief system, but I still need to merge in his code, for people to try it. Once all of this is ready, it'll be available in a beta release and information placed in the new & noteworthy.</div><div style="margin: 0px; "><br></div><div style="margin: 0px; ">Mark</div><div><div>On 19 Feb 2013, at 12:55, Wolfgang Laun <<a href="mailto:wolfgang.laun@gmail.com">wolfgang.laun@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">In org.drools.runtime.conf, there's a class with the unlikely name:<br><br> BeliefSystemTypeOption<br><br>Well, you gotta have faith, and I'm sure that one day there'll be a<br>revelation and tell us all about this option.<br><br>Meanwhile, we can amuse ourselves by reading the source code, where<br>the "belief" is frequently replaced by "belie". Since method<br>getBelieSystemType() is documented as "Returns the configured clock<br>type", it's probably not too far off.<br><br>-W<br>_______________________________________________<br>rules-dev mailing list<br><a href="mailto:rules-dev@lists.jboss.org">rules-dev@lists.jboss.org</a><br>https://lists.jboss.org/mailman/listinfo/rules-dev<br></blockquote></div><br></div></body></html>