Data processing: artificial intelligence – Knowledge processing system
Reexamination Certificate
2007-09-04
2007-09-04
Starks, Jr., Wilbert L. (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
C706S047000, C706S014000
Reexamination Certificate
active
11205969
ABSTRACT:
A computer-implemented method for modeling a target system includes defining a cloned constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables and constraints applicable to the variables. The cloned CSP includes a non-predetermined number of duplicate sub-problems corresponding to instances of a repeating feature of the target system. The variables are partitioned so as to define an abstract CSP containing a subset of the variables relating to the duplicate sub-problems. The abstract CSP is solved to generate an abstract solution indicating the number of duplicate sub-problems to use in the cloned CSP. A concrete solution to the cloned CSP is found using the abstract solution.
REFERENCES:
patent: 5088048 (1992-02-01), Dixon et al.
patent: 5146540 (1992-09-01), Natarajan
patent: 5410496 (1995-04-01), Bolon et al.
patent: 5617510 (1997-04-01), Keyrouz et al.
patent: 5636328 (1997-06-01), Kautz et al.
patent: 7085748 (2006-08-01), Emek et al.
patent: 2002/0169587 (2002-11-01), Emek et al.
U.S. Appl. No. 11/040,241, filed Jan. 21, 2005.
Kumar, “Algorithms for Constraint Satisfaction Problems: A Survey,”Artificial Intelligence Magazine13:1 (1992), pp. 32-44.
Bin et al., “Using a Constraint Satisfaction Formulation and Solution Techniques for Random Test Program Generation,”IBM Systems Journal41:3 (2002), pp. 386-402.
Adir et al., “Piparazzi: A Test Program Generator for Micro-architecture Flow Verification,”Eighth IEEE International High-Level Design Validation and Test Workshop(Nov. 12-14, 2003), pp. 23-28.
Mittal et al., “Dynamic Constraint Satisfaction Problems,”Proceedings of the Eighth National Conference on Artificial Intelligence(AAA1-90) (Boston, Massachusetts, Jul. 1990), pp. 25-32.
Emek Roy
Jaeger Itai
Katz Yoav
International Business Machines - Corporation
Kaufman Stephen C.
Starks, Jr. Wilbert L.
LandOfFree
System and method and product of manufacture for automated... 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 and product of manufacture for automated..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method and product of manufacture for automated... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3745838