[rules-users] Rule ambiguity & Rule completeness

[Michael Anstis]

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.

With kind regards,

Mike

2011/4/13 Guy Moas <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*                              *[image:
> 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* * |* http://www.fis-software.com
>
>
>
> _______________________________________________
> 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/370ed1f3/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/370ed1f3/attachment.jpe