The basic idea of Drools' verifier is to use an AST of the rules and a set of rules to detect certain situations. With Patterns and Constraints and Restrictions being broken down into their constituents, it is possible to detect blatant and even obscured contradictions and duplications.<br>
<br>A gross error would be to write<br> field == x && == y<br>or<br> field != x || != y<br><br>There is no deep scientific background here - straightforward logic (a<br>programmer's common sense) is sufficient.<br>
<br>There are, however, limits. It's obvious that you can detect that<br> Fact( field < 10 && > 0, field < 100 )<br>contains a redundant constraint, but here<br> Fact( field < 10 && > 0, field < $limit_from_other_fact )<br>
you can't.<br><br>-W<br><br><br><div class="gmail_quote">On 22 April 2011 19:27, Steffen Heublein <span dir="ltr"><<a href="mailto:steffen.heublein@googlemail.com">steffen.heublein@googlemail.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;">Hello,<br>
<br>
I am currently using the Rule Verifier and am quite happy so far. Yet I<br>
am interested in its (scientific) background background, but I am unsure<br>
where to start. Are there any papers on the topic or anything else I<br>
could relate to? There certainly is, but I don't really know what topic<br>
I should look for to find what I want. My special interest so far is the<br>
solving of the rule conditions and how the system finds out how e.g. two<br>
rule conditions are equivalent.<br>
<br>
Cheers, and thanks so far,<br>
<br>
Steffen<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>
</blockquote></div><br>