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


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte — « <small> féminin </small> » par «  »)
(5 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
[[Catégorie:Termium]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Programmation]]
[[Catégorie:Mathématiques]]
[[Catégorie:scotty]]
== Définition ==
== Définition ==
 
Voir '''[[Satisfaction de contraintes]]'''
(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 ==
'''règle de satisfaction de contraintes'''
'''Règle de satisfaction de contraintes'''


== Anglais ==
== Anglais ==
'''constraint satisfaction rule'''
'''Constraint satisfaction rule'''
 
 


<small>
<small>
Ligne 24 : Ligne 12 :
[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 ]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]

Version du 1 février 2021 à 21:33

Définition

Voir Satisfaction de contraintes

Français

Règle de satisfaction de contraintes

Anglais

Constraint satisfaction rule

Source : TERMIUM Plus

Récupérée de « https://datafranca.org/wiki/index.php?title=Règle_de_satisfaction_de_contraintes&oldid=38087 »


Contributeurs: Imane Meziani, wiki