UE PLC

Programmation, Logique, Contraintes

Savoir et savoir-faire associés

Ce module présente la modélisation de problèmes par contraintes et préférences et deux paradigmes qui permettent de les résoudre : la programmation par contraintes et les algorithmes génétiques. Ces deux paradigmes sont plongés dans celui de la programmation logique qui permet une lecture logique des contraintes et préférences.
A l'issue de ce module, l'étudiant saura reconnaître des problèmes pour lesquels une solution algorithmique explicite est hors d'atteinte, et il saura alors appliquer des méthodes basées sur les contraintes et les préférences, les programmer et critiquer les résultats obtenus.

Responsable

Olivier Ridoux (Olivier [dot] Ridouxatirisa [dot] fr)