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 recognize rule errors like subsumed
rules, circular rules, conflicting rules and so one.
I would appreciate if you can me give me an advice where I can find an
implementation or an algorithm for further research?
Thanks for your help.
Phone: +49 341 49287-0 | Fax: +49 341 49287-790
itCampus Software- und Systemhaus GmbH | a Software AG Company
Nonnenstrasse 37 | 04229 Leipzig | Germany |
Amtsgericht Leipzig HRB 15872 | Managing Director: Guido Laures