Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2007-04-02
2008-12-09
Hirl, Joseph P (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S046000, C706S014000
Reexamination Certificate
active
07464064
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:
Faruk Polat et al., UVT: Unification-Based Tool for Knowledge Base Verification, 1993, IEEE, 69-75.
Musa Jafar et al., Interactive Verification of Knowledge-Based Systems, 1993, IEEE, 25-32.
Derek L. Nazareth, Investigating the Applicability of Petri Nets for Rule-Based System Verification, IEEE, 1993,402-415.
Timothy J. O'Leary et al., Validating Expert Systems, 1990, IEEE, 51-58.
Alun D. Preece et al., Verifying and Testing Expert System Conceptual Models, 1992, IEEE, 922-927.
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
Versata 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-4024311