Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2005-03-29
2008-08-05
Vincent, David (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S019000, C706S023000, C700S246000, C700S250000
Reexamination Certificate
active
07409377
ABSTRACT:
Methods, systems and apparatus for modeling a target system includes defining a constraint satisfaction problem (CSP) that characterizes the target system in terms of a set of variables, each having a respective input domain, and initial constraints applicable to the variables. The variables are partitioned into at least first and second sets. An abstract solution is found to the CSP, including a given assignment of the variables in the first set. A reduced domain of at least one of the variables in the second set is computed, so as to be compatible with the abstract solution. A redundant constraint on the abstract solution is determined responsively to the reduced domain. A concrete solution to the CSP is then found, using the abstract solution and the redundant constraint.
REFERENCES:
patent: 5195172 (1993-03-01), Elad et al.
patent: 5267346 (1993-11-01), Maruyama et al.
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: 5640491 (1997-06-01), Bhat et al.
patent: 5855009 (1998-12-01), Garcia et al.
patent: 5893083 (1999-04-01), Eshghi et al.
patent: 5963939 (1999-10-01), McCann et al.
patent: 6031984 (2000-02-01), Walser
patent: 6063126 (2000-05-01), Borduin
patent: 6272483 (2001-08-01), Joslin et al.
patent: 6336110 (2002-01-01), Tamura et al.
patent: 6456996 (2002-09-01), Crawford et al.
patent: 6526420 (2003-02-01), Borowsky et al.
patent: 6539345 (2003-03-01), Jones et al.
patent: 6556978 (2003-04-01), Ginsberg et al.
patent: 6816825 (2004-11-01), Ashar et al.
patent: 6856980 (2005-02-01), Feldman et al.
patent: 6865562 (2005-03-01), Fromherz et al.
patent: 6912515 (2005-06-01), Jackson et al.
patent: 7003360 (2006-02-01), Dillon
patent: 7016934 (2006-03-01), Kawamura et al.
patent: 7062729 (2006-06-01), Gray et al.
patent: 7085748 (2006-08-01), Emek et al.
patent: 7089220 (2006-08-01), Fromherz et al.
patent: 2002/0062297 (2002-05-01), Mizokawa
patent: 2002/0156751 (2002-10-01), Takagi et al.
patent: 2002/0198697 (2002-12-01), Datig
patent: 2003/0144975 (2003-07-01), Kawamura et al.
patent: 2005/0004710 (2005-01-01), Shimomura et al.
patent: 2005/0021486 (2005-01-01), Naveh
Merchez et al., “AbsCon: A Prototype to Solve CSPs with Abstraction”, 2001, Springer-Verlag Berlin Heidelberg, CP 2001, LNCS 2239, pp. 730-744.
Lecoutre et al., “A CSP Abstraction Framework”, 2000, Springer-Verlag Berlin Heidelberg, SARA 2000, LNAI 1864, pp. 164-184.
Choueiry et al., “Using Abstractions for Resource Allocation”, 1995, IEEE International Conference on Robotics and Automation.
Emek Roy
Jaeger Itai
Berman Melissa J
Herzberg Louis P.
International Business Machines - Corporation
Vincent David
LandOfFree
Accelerated solution of constraint satisfaction problems by... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Accelerated solution of constraint satisfaction problems by..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Accelerated solution of constraint satisfaction problems by... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3999224