Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2007-04-03
2007-04-03
Hirl, Joseph P (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S045000, C706S046000
Reexamination Certificate
active
10404891
ABSTRACT:
Inconsistencies between configuration rules represent a significant concern when modeling a product using configuration rules. The consistency checking system approaches a configuration model from the perspective of a sets of features and families. The configuration space of a model represents the entire set of all combinations of selections within a configuration model. The consistency checking system operates on subsets of the configuration space by consolidating data within the configuration space into minimized subsets that represent a portion of the configuration space where a particular consistency error can occur. Thus, the contents of each subset vary depending upon which consistency error is being checked, and consistency checking is performed on reduced subsets determined on an error by error basis rather than on the configuration space as a whole.
REFERENCES:
Polat, Faruk, et al., UVT: A Unification-Based Tool for knowledge Base Verification, Validation and Verification of Knowledge-Based Systems, Jun. 1993, IEEE Computer Society Press, pp. 69-75.
Chambers Kent B.
Hamilton & Terrile LLP
Hirl Joseph P
Trilogy Development Group, Inc.
LandOfFree
Configuration model consistency checking using flexible rule... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Configuration model consistency checking using flexible rule..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Configuration model consistency checking using flexible rule... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3780152