« Satisfaction de contraintes » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications |
||
| Ligne 4 : | Ligne 4 : | ||
[[Catégorie:scotty]] | [[Catégorie:scotty]] | ||
== Définition == | ==Définition== | ||
La satisfaction de contraintes | La satisfaction de contraintes permet de modéliser et résoudre une variété de problèmes d'optimisation combinatoire réels provenant de multiples disciplines. Les problèmes de satisfaction de contraintes - PSC (''Constraint Satisfaction Problem -'' CSP) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de ''contraintes'' ou de critères. | ||
== Français == | Note | ||
'''satisfaction de contraintes ''' | |||
Les PSC font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux PSC nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable. Ils sont notamment au cœur de la programmation par contraintes, un domaine fournissant des langages de modélisation de problèmes et des outils informatiques les résolvant. | |||
==Français== | |||
'''satisfaction de contraintes '''n.f. | |||
== Anglais == | ==Anglais== | ||
'''constraint satisfaction''' | '''constraint satisfaction''' | ||
| Ligne 19 : | Ligne 23 : | ||
Desrosiers, Christian. Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables [mémoire de maîtrise]. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05. https://www.gerad.ca/~alainh/memoireCD.ps | Desrosiers, Christian. Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables [mémoire de maîtrise]. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05. https://www.gerad.ca/~alainh/memoireCD.ps | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=SATISFACTION+CONTRAINTES&index=frt&codom2nd_wet=1#resultrecs | [https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=SATISFACTION+CONTRAINTES&index=frt&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] | ||
Version du 5 juillet 2019 à 20:33
Définition
La satisfaction de contraintes permet de modéliser et résoudre une variété de problèmes d'optimisation combinatoire réels provenant de multiples disciplines. Les problèmes de satisfaction de contraintes - PSC (Constraint Satisfaction Problem - CSP) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères.
Note
Les PSC font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux PSC nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable. Ils sont notamment au cœur de la programmation par contraintes, un domaine fournissant des langages de modélisation de problèmes et des outils informatiques les résolvant.
Français
satisfaction de contraintes n.f.
Anglais
constraint satisfaction
Desrosiers, Christian. Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables [mémoire de maîtrise]. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05. https://www.gerad.ca/~alainh/memoireCD.ps
Contributeurs: Jacques Barolet, wiki
