the literature on rule validation and ruleset validation is pretty deep.
Check on ACMQueue for old papers on the subject dating back to 80's and
90's.
There's too much prior art to attempt any sort of explanation on a mailing
list. I've been studying the topic since 2000 and the bottom line is it'
Hi Jess-users,
I' m a german computer senice student working on my master thesis. The topic
is rule verification in rule based systems. We are using Jess as rule engine.
Currently I'm looking for an implementation of a rule checker for Jess.
Alternative I'm looking for an algorithm to recogniz