[rules-dev] Justification based TMS

[Mark Proctor]

Just added a Justification based Truth Maintenance System to Drools, so now you can do contradictions.
http://www.cis.temple.edu/~giorgio/cis587/readings/tms.html
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/resources/org/drools/beliefsystem/jtms/posNegTms.drl
https://github.com/droolsjbpm/drools/blob/master/drools-compiler/src/test/resources/org/drools/beliefsystem/jtms/posNegConflict.drl

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.

Mark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20121107/1be79dda/attachment.html