« Règle de satisfaction de contraintes » : différence entre les versions
m (Remplacement de texte — « <!-- Termium --> » par « Catégorie:Termium ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 6 : | Ligne 6 : | ||
== Définition == | == 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 == | == Français == | ||
| Ligne 17 : | Ligne 21 : | ||
<small> | <small> | ||
[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 ] | [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 ] | |||
Version du 26 août 2019 à 11:33
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
règle de satisfaction de contraintes
Anglais
constraint satisfaction rule
Contributeurs: Imane Meziani, wiki
