SYSTEM AND METHOD FOR REPRESENTING AND SOLVING NUMERIC AND SYMBOLIC PROBLEMS

A system (1 and 2a) and method (8 and 15) for representing and solving problems which allows a user to enter objects and attributes, and to form a table of at least two dimensions having object-attribute pairs (6). An object hierarchy (9) is then implemented using the entered objects. The system allows the user to enter constructs to represent relationships among the object-attribute pairs, and also to enter objectives and constraints for the problem (10). The system allows the user to solve the problem manually or automatically by the system. A score is maintained reflecting how closely the constraints of a problem are to being satisfied and the degree of progress in the direction of the stated objectives of the problem (15). The system allows representation of hybrid numerical (19) and symbolic problems (16), and provides solutions to linear or non-linear, discrete or continuous, and feasible or non-feasible constraint satisfaction and optimization problems. Système (1 et 2a) et procédé (8 et 15) de représentation et de résolution de problèmes permettant à un utilisateur d'introduire des objets et des caractéristiques, et de former une table d'au moins deux dimensions comportant des paires d'objets-caractéristiques (6). On met ensuite en application une hiérarchie d'objets (9) à l'aide des objets introduits. Le système permet à l'utilisateur d'introduire des structures afin de représenter des relations parmi les paires d'objets-caractéristiques, et également d'introduire des objectifs et des contraintes pour le problème (10). Le système permet à l'utilisateur de résoudre le problème manuellement ou automatiquement à l'aide du système. Un score reflète dans quelle mesure les contraintes d'un problème sont strictement satisfaites ainsi que le degré de progression dans le sens des objectifs établis du problème (15). Le système permet une représentation de problèmes hybrides numériques (19) et symboliques (16), et il offre des solutions à des problèmes de satisfaction et d'optimisation de contraintes linéaires ou non linéaires, discrètes ou continues, et faisables ou non faisables.