Data processing: generic control systems or specific application – Specific application – apparatus or process – Product assembly or manufacturing
Reexamination Certificate
2006-02-21
2006-02-21
Picard, Leo (Department: 2125)
Data processing: generic control systems or specific application
Specific application, apparatus or process
Product assembly or manufacturing
C700S103000, C700S049000, C706S046000
Reexamination Certificate
active
07003360
ABSTRACT:
A system and method for product configuration represents a product using a configuration model having numerical clauses. Features of the product are associated with literals in the numerical clauses. The numerical clauses may specify a number of literals to determine whether the numerical clause is satisfied, satisfiable, or unsatisfiable. Numerical clauses represent constraints that govern the configuration of the product. Resolving numerical clauses and user choices involves one or more inference procedures. In one embodiment, unit clauses represent user choices, and a configuration engine asserts the unit clause and performs numerical unit resolution between the unit clause and all numerical clauses containing the complement (generally a negation) of the unit clause. Complementary literals are eliminated from the current state of the configuration model. In one embodiment, if the uneliminated literals in a numerical clause causes the clause to be satisfied, the uneliminated literals are recursively asserted. The configuration engine then performs numerical unit resolution between the recursively asserted, uneliminated literals and numerical clauses containing the complements of the uneliminated literals. Numerical clauses may also function as literals. Numerical clauses may include negations of consumer literals and positive provider literals. If a user chooses a consumer feature, by knowing the consumer and provider weights, the configuration engine can determine which provider literals should be included, excluded, or remain selectable. Embodiments of the invention can implement a logic-based truth maintenance system and numerical unit resolution.
REFERENCES:
patent: 5515524 (1996-05-01), Lynch et al.
patent: 5596682 (1997-01-01), Yamazaki
patent: 5636328 (1997-06-01), Kautz et al.
patent: 5708798 (1998-01-01), Lynch et al.
patent: 5825651 (1998-10-01), Gupta et al.
patent: 6002854 (1999-12-01), Lynch et al.
patent: 6078946 (2000-06-01), Johnson
patent: 6405308 (2002-06-01), Gupta et al.
patent: 6556978 (2003-04-01), Ginsberg et al.
Cadoli, Marco, Donini, Francesco M.; A Survey on Knowledge Compilation, Al Communications, pp. 1-14.
Uribe, Tomás E., Stickel, Mark E.; Ordered Binary Decision Diagrams and the Davis-Putnam Procedure, pp. 1-21.
Zhang, Hantao, Stickel, Mark E.; Implementing the Davis-Putnam Algorithm by Tries, pp. 1-16.
Bryant, Randal E., Binary Decision Diagrams and Beyond: Enabling Techniques for Formal Verification, Carnegie Mellon University, Pittsburg, PA 15213.
del Val, Alvaro; Tractable Databases: How to Make Propositional Unit Resolution Complete through Compilation, Stanford University, Stanford CA 94035.
McAllester, David; “Truth Maintenance,” Massachusetts Institute of Technology.
Murray, Neil V., et al.; “The Semi-Resolution Inference Rule and Prime Implicate Computations”.
Ibaraki, Toshihide, et al.; “Functional Dependencies in Horn Theories,” pp. 1-40.
Chambers Kent B.
Hamilton & Terrile LLP
Picard Leo
Shechtman Sean
Trilogy Development Group, Inc.
LandOfFree
System and method for product configuration using numerical... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for product configuration using numerical..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for product configuration using numerical... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3666214