Method for efficiently detecting covered rules in a knowledge ba

Details Method for efficiently detecting covered rules in a knowledge ba Method for efficiently detecting covered rules in a knowledge ba

1994-07-01

1997-01-07

Hapiz, Tariq R.

395 66, 395 67, G06F 1700

Patent

active

055925901

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.

REFERENCES:
patent: 3700868 (1972-10-01), Silvertson, Jr.
patent: 4336468 (1982-06-01), Spillman
patent: 5416888 (1995-05-01), Shimokawa
patent: 5487134 (1996-01-01), Ballard
"Computers and Intractability, A Guide to the Theory of NP-Completeness", by Garey, et al, pp. 1-4, 109, 259-261, 1979.
"Minimal Disjunctive Normal Forms", Boolean Functions With Engineering Applications And Computer Programs By G. Winfrid, Sringer-Verlay, Berlin, NY 1989, pp. 103-107.
Giarratano, Joseph C. "vol. 1: Rules (CLIPS Version 5.1)". NASA Document JSC-25013.

Affiliated with

Also associated with

Rating

Method for efficiently detecting covered rules in a knowledge ba does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for efficiently detecting covered rules in a knowledge ba, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for efficiently detecting covered rules in a knowledge ba will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1772141