A method for verifying a plurality of rules stored in a knowledge base for consistency. The method identifies rules in the knowledge base that are covered or made useless by at least one rule, two rules, or at three rules. Each rule in the database has at least one option and a corresponding range for...http://www.google.de/patents/US5592590?utm_source=gb-gplus-sharePatent US5592590 - Method for efficiently detecting covered rules in a knowledge base
