Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2008-11-13
2011-11-22
Holmes, Michael B (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
Reexamination Certificate
active
08065255
ABSTRACT:
A solver solves a dynamic constraint satisfaction problem that is modeled as a constraint network of variables and constraints. The solver generates a dynamic sub-problem facility that includes one or more sub-problem pools that each comprises a sub-problem type, one or more sub-problems for the sub-problem type, and one or more clients for the sub-problem type. The solver generates a sub-problem set domain that comprises zero or more included sub-problems and zero or more excluded sub-problems. The solver synchronizes the sub-problem set domain with the dynamic sub-problem facility.
REFERENCES:
patent: 7069537 (2006-06-01), Lazarov
patent: 7333968 (2008-02-01), Geller et al.
patent: 7487445 (2009-02-01), Purvis et al.
patent: 7512481 (2009-03-01), Julich et al.
patent: 7558740 (2009-07-01), Matheson et al.
patent: 7680750 (2010-03-01), Daum et al.
patent: 7715977 (2010-05-01), Julich et al.
patent: 7725249 (2010-05-01), Kickbusch et al.
patent: 7734383 (2010-06-01), Philp et al.
patent: 7797087 (2010-09-01), Philp et al.
patent: 7797088 (2010-09-01), Philp et al.
patent: 7813846 (2010-10-01), Wills et al.
patent: 7844919 (2010-11-01), Gupta et al.
patent: 7908047 (2011-03-01), Smith et al.
patent: 7937193 (2011-05-01), Philp et al.
patent: 2002/0107749 (2002-08-01), Leslie et al.
patent: 2002/0143653 (2002-10-01), DiLena et al.
patent: 2002/0166089 (2002-11-01), Noy
patent: 2004/0019852 (2004-01-01), Purvis
patent: 2005/0198621 (2005-09-01), Tillmann et al.
patent: 2005/0278271 (2005-12-01), Anthony et al.
patent: 2007/0094184 (2007-04-01), Emek et al.
Using a Gene-Splicing Based Search Technique for Complex Multi-level Resource Assignment Problems, Kaslow, D.; Shupp, J.; Aerospace Conference, 2008 IEEE Digital Object Identifier: 10.1109/AERO.2008.4526652 Publication Year: 2008 , pp. 1-10.
Study on the Application of Dynamic Balanced Scorecard in the Service Industry, Tiezhu Zhang; Le Gao; Intelligent Computation Technology and Automation (ICICTA), 2008 International Conference on vol. 1 Digital Object Identifier: 10.1109/ICICTA.2008.359 Publication Year: 2008 , pp. 1158-1162.
Frühwirth, Thom et al., “Principles of Constraint Systems and Constraint Solvers” Archives of Control Sciences: Special Issue on Constraint Programming, 16(2) http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/acs-systems3.pdf, 2006.
Lhomme, Olivier, “Consistency Techniques for Numeric CSPs”, Proceedings in IJCAI-93 pp. 232-238, 1993 Chambery, France.
Selectica, “Selectica Configuration” Solution Overview, 2005, Selectica, Inc., San Jose, CA.
ILOG, “ILOG Configurator, Powering online product and service configuration applications”, Product Datasheet, Mar. 2005, ILOG.S.A.
Oracle, “Oracle Configurator”, Oracle Data Sheet, 2008, Oracle.
Tacton, “Tacton's Sales Configurator—Bridging the gap between engineering and sales for selling customized products.”, http://www.tacton.com/templates/page—68.aspx?epslanguage=EN, 2007, Tacton Systems AB, Sweden.
Benhamou, Frédérick et al., “Applying Interval Arithmetic to Real, Integer and Boolean Constraints”, Journal of Logic Programming, 32(1), 1997.
Sabin, Daniel et al., “Configuration as Composite Constraint Satisfaction”, Proceedings of the (1st) Artificial Intelligence and Manufacturing Research Planning Workshop, 1996.
Fleischanderl, Gerhard et al., “Configuring Large Systems Using Generative Constraint Satisfaction”, IEEE, pp. 59-68, No. 1094-7167/98, Jul./Aug. 2008, IEEE.
Application Number to Be Assigned.Mittal, Sanjay et al., “Dynamic Constraint Satisfaction Problems”, Proceedings of the Eighth National Conference on Artificial Intelligence, 1996.
Stumptner, Markus et al., “Generative Constraint-Based Configuration or Large Technical Systems”, Artificial Intelligence for Engineering Design, analysis and Manufacturing, pp. 307-320, No. 12, 1998, Cambridge University Press, USA.
Gelle, Esther et al., “Solving Methods for Conditional Constraint Satisfaction”, IJCAL, 2003.
Chen Gao
Colena Michael
Holmes Michael B
Oracle International Corporation
Squire Sanders & Dempsey (US) LLP
LandOfFree
Management of sub-problems in a dynamic constraint... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Management of sub-problems in a dynamic constraint..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Management of sub-problems in a dynamic constraint... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4287769