domaine 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 contraintesune contrainte exprime des restrictions que l’on souhaite imposer sur des éléments d’un problème. Par exemple, il est possible d’imposer pour un logement que la surface d’une chambre soit d’au moins 12 m2 (qui se traduira ici par une inégalité mathématique largeur x longueur ≥... More* qu’il souhaite imposer. Un algorithme (appelé solveur), basé sur des principes de résolution génériques, lui fournit alors une solution. Dans un tel système, l’utilisateur n’a pas à connaître les techniques algorithmiques ou mathématiques qui permettent de résoudre son problème (par exemple, calculer les solutions d’un ensemble d’équations mathématiques).
De quoi s'agit-il vraiment ?