Configuration model consistency checking using flexible rule...

Details Configuration model consistency checking using flexible rule... Configuration model consistency checking using flexible rule...

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.

Affiliated with

Also associated with

Rating

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.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4024311