Patent US5592590A successfully refreshed from Google Patents.
US5592590A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Method for efficiently detecting covered rules in a knowledge base
Assignee: General Electric Co
•
Filing: 1994-07-01
•
Granted: 1997-01-07
•
Expires: 2014-07-01
Abstract
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.
Inventors
- 👤 Christopher H. Jolly
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-03 03:12
CPC Classifications
G; G06; G06N; G06N5/00; G06N5/02; G06N5/022
Claims Analysis
Total Claims: 18
Claim 1
Independent Claim
149 words
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.
Claim 2
Independent Claim
149 words
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.
Claim 3
Dependent Claim
26 words
The method according to claim 1, wherein the step of compiling includes assigning a value to each variable, the value representing the range of each option.
Claim 4
Dependent Claim
49 words
The method according to claim 2, wherein the step of assigning includes forming a union of the ranges for each term, dividing the union of ranges into non-overlapping intervals, numbering the intervals consecutively with the smallest number beginning with zero, and assigning a bit vector to the numbered intervals.
Claim 5
Dependent Claim
17 words
The method according to claim 1, wherein the step of determining includes applying an interval consensus procedure.
Claim 6
Dependent Claim
25 words
The method according to claim 4, wherein the interval consensus procedure includes using an absorption rule to guarantee detection of rules covered by one rule.
Claim 7
Dependent Claim
38 words
The method according to claim 4, wherein the interval consensus procedure includes using a partial absorption rule, a continuation rule, a simplification rule, and a consensus rule to guarantee detection of rules covered by one and two rules.
Claim 8
Dependent Claim
42 words
The method according to claim 4, wherein the interval consensus procedure includes using an absorption rule, a partial absorption rule, a continuation rule, a simplification rule, and a consensus rule to guarantee detection of rules covered by one, two, and three rules.
Claim 9
Independent Claim
189 words
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.
Claim 10
Independent Claim
189 words
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.
Claim 11
Dependent Claim
26 words
The method according to claim 8, wherein the step of compiling includes assigning a value to each variable, the value representing the range of each option.
Claim 12
Dependent Claim
49 words
The method according to claim 9, wherein the step of assigning includes forming a union of the ranges for each term, dividing the union of ranges into non-overlapping intervals, numbering the intervals consecutively with the smallest number beginning with zero, and assigning a bit vector to the numbered intervals.
Claim 13
Dependent Claim
17 words
The method according to claim 8, wherein the step of determining includes applying an interval consensus procedure.
Claim 14
Dependent Claim
25 words
The method according to claim 11, wherein the interval consensus procedure includes using an absorption rule to guarantee detection of rules covered by one rule.
Claim 15
Dependent Claim
38 words
The method according to claim 11, wherein the interval consensus procedure includes using a partial absorption rule, a continuation rule, a simplification rule, and a consensus rule to guarantee detection of rules covered by one and two rules.
Claim 16
Dependent Claim
42 words
The method according to claim 11, wherein the interval consensus procedure includes using an absorption rule, a partial absorption rule, a continuation rule, a simplification rule, and a consensus rule to guarantee detection of rules covered by one, two, and three rules.
Claim 17
Independent Claim
223 words
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.
Claim 18
Independent Claim
223 words
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.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2000-01-07 | 2000-07-08 | 2001-01-07 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2004-01-07 | 2004-07-08 | 2005-01-07 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2008-01-07 | 2008-07-08 | 2009-01-07 | $7700.00 | Window Closed / Lapsed |