« Règle de satisfaction de contraintes » : différence entre les versions

Version du 26 août 2019 à 11:34

règle de satisfaction de contraintes

constraint satisfaction rule

Source : TERMIUM Plus

@@ Ligne 7 : / Ligne 7 : @@
 == Définition ==
-(a examiner /)
-La programmation par contraintes a été motivée à l'origine par des problèmes concrets difficiles avec une forte composante combinatoire. Historiquement, elle hérite de plusieurs domaines, en particulier de l'intelligence artificielle et de la recherche opérationnelle. Son objectif est de permettre une modélisation plus facile des problèmes en utilisant un langage proche de l'utilisateur et en séparant clairement les phases de spécification et de réalisation. L'idée est de réduire l'effort de programmation et de laisser l'ordinateur envisager tous les cas induits par la modélisation pour ne retenir que ceux qui conviennent, c'est-à-dire qui satisfont aux contraintes spécifiées.
-La programmation par contraintes n'a pu se développer qu'à partir du moment où les problèmes pouvaient être traités dans un temps raisonnable, ce qui est du en grande partie à la puissance des machines actuelles. A partir de là, de nombreux domaines d'application se sont intéressés à la notion de contraintes et notamment le domaine des interfaces graphiques interactives.  (/a examiner )
 == Français ==
@@ Ligne 23 : / Ligne 19 : @@
 [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=REGLE+SATISFACTION+CONTRAINTES&index=frt&codom2nd_wet=1#resultrecs   Source : TERMIUM Plus  ]
-[http://www.zerotrois.fr/lc/cnam/Chapitre4.html   source :zerotrois.fr ]