[rules-users] Rule ambiguity & Rule completeness

[Mark Proctor]

On 13/04/2011 16:51, Michael Anstis wrote:
> Verifier offers some of what you seek.
>
> In essence it decomposes "your" rules into Facts that are inserted 
> into a KnowledgeSession constructed with a set of analytical rules.
>
> The analytical rules check for certain validation and verification 
> errors in your rules. I can't remember all that are provided by 
> default but IIRC redundancy and subsumption are offered.
>
> You can also extend the set of analytical rules that are used to cover 
> additional use cases not provided by default.
http://community.jboss.org/wiki/DroolsVerifier

Mark
>
> With kind regards,
>
> Mike
>
> 2011/4/13 Guy Moas <GMoas at fis-software.com 
> <mailto:GMoas at fis-software.com>>
>
>     Could you please help with the following questions?, whether
>     Drools supporting it
>
>     ·Rule ambiguity - Checking if multiple rules are ambiguous
>
>     ·Rule completeness - Checking if the set of rules cover all the
>     population
>
>     Regards,**
>
>     *Guy Moas* /– *Technical Project Manager*/
>     *cid:image001.jpg at 01CB953C.44421930*
>
>     tel: +972 (73) 2608276 *|* mobile: +972 (52) 3624583 *|* X-Lite:
>     8276*|* fax: +972 (73) 2608205
>
>     _GMoas at fis-software.com <mailto:GMoas at fis-software.com>_*|*
>     http://www.fis-software.com <http://www.fis-software.com/>
>
>
>     _______________________________________________
>     rules-users mailing list
>     rules-users at lists.jboss.org <mailto:rules-users at lists.jboss.org>
>     https://lists.jboss.org/mailman/listinfo/rules-users
>
>
>
> _______________________________________________
> rules-users mailing list
> rules-users at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/rules-users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-users/attachments/20110413/9b45ab70/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 1559 bytes
Desc: not available
Url : http://lists.jboss.org/pipermail/rules-users/attachments/20110413/9b45ab70/attachment.jpe