Method for efficiently detecting covered rules in a knowledge base
First Claim
1. A method for verifying a plurality of prioritized rules stored in a knowledge base for consistency, each prioritized rule having at least one option and a corresponding range for satisfying the option, the method comprising the steps of:
- compiling each of the plurality of prioritized rules into a prioritized term, each prioritized term having at least one variable corresponding to each option and range in a rule;
arranging the prioritized terms into a hierarchical listing with high priority terms being placed before low priority terms;
for each prioritized term in the hierarchical listing, removing a highest priority term remaining in the hierarchical listing;
determining if the removed prioritized term is covered by any combination of prioritized terms in a sum of previously removed prioritized terms, the rules corresponding to the covered prioritized terms being covered; and
adding each removed prioritized term to the sum of previously removed prioritized terms.
1 Assignment
0 Petitions
Accused Products
Abstract
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 satisfying the option. Each of the plurality of rules are compiled into a term. The terms are then arranged into a hierarchical listing with high priority terms being placed before low priority terms. Each term is removed from the hierarchical listing with the high priority terms being removed before the low priority terms. Each removed term is then added to a sum of previously removed terms. Then it is determined if the removed term is covered by the terms in the sum of previously removed terms. Coverage is determined by using an interval consensus procedure which uses an absorption rule, a partial absorption rule, a continuation rule, a simplification rule, and consensus rule.
64 Citations
15 Claims
-
1. A method for verifying a plurality of prioritized rules stored in a knowledge base for consistency, each prioritized rule having at least one option and a corresponding range for satisfying the option, the method comprising the steps of:
-
compiling each of the plurality of prioritized rules into a prioritized term, each prioritized term having at least one variable corresponding to each option and range in a rule; arranging the prioritized terms into a hierarchical listing with high priority terms being placed before low priority terms; for each prioritized term in the hierarchical listing, removing a highest priority term remaining in the hierarchical listing; determining if the removed prioritized term is covered by any combination of prioritized terms in a sum of previously removed prioritized terms, the rules corresponding to the covered prioritized terms being covered; and adding each removed prioritized term to the sum of previously removed prioritized terms. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A method for verifying a plurality of prioritized rules stored in a knowledge base for consistency, each prioritized rule having at least one option and a corresponding range for satisfying the option, the knowledge base being used in a collection system including a personal computer for editing the prioritized rules in the knowledge base, a database containing delinquent account information, and a mainframe for processing the account information with the prioritized rules, the method comprising the steps of:
-
compiling each of the plurality of prioritized rules into a prioritized term, each prioritized term having at least one variable corresponding to the options and ranges in the rules; arranging the prioritized terms into a hierarchical listing with high priority terms being placed before low priority terms; for each prioritized term in the hierarchical listing, removing a highest priority term remaining in the hierarchical listing; determining if the removed prioritized term is covered by any combination of prioritized terms in a sum of previously removed prioritized terms, the rules corresponding to the covered prioritized terms being covered; and adding each removed prioritized term to the sum of previously removed prioritized terms. - View Dependent Claims (9, 10, 11, 12, 13, 14)
-
-
15. A method for verifying a plurality of prioritized rules stored in a knowledge base for consistency, each prioritized rule having at least one option and a corresponding range for satisfying the option, the knowledge base being used in a collection system including a personal computer for editing the prioritized rules in the knowledge base, a database containing delinquent account information, and a mainframe for processing the account information with the prioritized rules, the method comprising the steps of:
-
compiling each of the plurality of prioritized rules into a prioritized term in the mainframe, each prioritized term having at least one variable corresponding to the options and ranges in the rules; arranging the prioritized terms into a hierarchical listing in the mainframe with high priority terms being placed before low priority terms; for each prioritized term in the hierarchical listing, removing a highest priority term remaining in the hierarchical listing; determining if the removed prioritized term is covered by any combination of prioritized terms in a sum of previously removed prioritized terms, the rules corresponding to the covered prioritized terms being covered; adding each removed prioritized term to the sum of previously removed prioritized terms; applying uncovered prioritized terms to the accounts in the account database; and initiating collection of delinquent accounts after the uncovered prioritized terms have been applied to the account database.
-
Specification