programme résolvant des problèmes d’optimisation combinatoire, en utilisant la programmation par contraintesdomaine de l’intelligence artificielle qui s’intéresse à la résolution de problèmes combinatoires. L’utilisateur modélise sa problématique dans un langage simple en identifiant les inconnues et les contraintes* qu’il souhaite imposer. Un algorithme (appelé solveur), basé sur des principes de résolution génériques, lui fournit alors une... More*, développé par la compagnie ILOG (startup issue de l’INRIA créée en 1987, et rachetée en 2008 par IBM), et permettant de résoudre des problèmes de production, de logistique, etc. Son intérêt est de découpler la représentation du problème (le modèle – voir modélisationmodéliser un problème d’intelligence artificielle consiste à en formuler un énoncé dans un langage (dit langage de modélisation) donné. Ce langage peut s’appuyer sur des formalismes logiques*, algébriques ou même graphiques. Un même problème peut donc être modélisé de diverses manières (selon le langage de... More*) des algorithmes (génériques) de résolution.
De quoi s'agit-il vraiment ?