« 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== »)
 
(12 versions intermédiaires par le même utilisateur non affichées)
Ligne 1 : Ligne 1 :
[[Catégorie:Termium]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Mathématiques]]
<!-- Scotty2 -->
[[Category:GRAND LEXIQUE FRANÇAIS]]
==Définition==
==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.   
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.   
Ligne 11 : Ligne 5 :


==Français==
==Français==
'''satisfaction de contraintes  '''n.f.
'''satisfaction de contraintes  '''  
   
   
==Anglais==
==Anglais==
'''constraint satisfaction'''
'''constraint satisfaction'''


==Sources==


<small>
[https://www.gerad.ca/~alainh/memoireCD.psd  Source: Desrosiers, Christian. ''Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables''. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05. ]
 
[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]


[https://fr.wikipedia.org/wiki/Probl%C3%A8me_de_satisfaction_de_contraintes  Source: Wikipedia]


Source: 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 Source: TERMIUM Plus]


[[Catégorie:Intelligence artificielle]]


[https://fr.wikipedia.org/wiki/Probl%C3%A8me_de_satisfaction_de_contraintes  Source: Wikipedia]
[[Category:GRAND LEXIQUE FRANÇAIS]]

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

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.

Français

satisfaction de contraintes

Anglais

constraint satisfaction

Sources

Source: Desrosiers, Christian. Détection d'ensembles irréductibles incohérents dans des problèmes de satisfaction de contraintes irréalisables. École polytechnique de Montréal, avril 2014, p. v. Consulté : 2019-04-05.

Source: TERMIUM Plus

Source: Wikipedia



Contributeurs: Jacques Barolet, wiki