« 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> » par «  ==Sources== »)
 
(6 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>
==Sources==


[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]]

Dernière version du 28 janvier 2024 à 13:02

Définition

Voir Satisfaction de contraintes

Français

Règle de satisfaction de contraintes

Anglais

Constraint satisfaction rule

Sources

Source : TERMIUM Plus

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


Contributeurs: Imane Meziani, wiki