Accelerated solution of constraint satisfaction problems by...

Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFUS-PAI-O-3999224

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.