@mastersthesis{Laf03,
title = { Application de la r\'esolution de conflits <<~logiques~>>, \`a l'aide \`a la d\'ecision pour la r\'esolution de conflits des probl\`emes d'ordonnancement },
author = {Lafourcade, Pascal},
month = {jun},
year = {2003},
note = {66 pages},
type = {Rapport de {DEA}},
school = {{DEA} Repr\'esentation de la Connaissance et Fomalisation du Raisonnement, Toulouse, France},
team = {other},
abstract = {Lorsqu\'il n\'existe pas de solution {\\`a} un probl{\\`e}me d\'ordonnancement, le calcul des conflits, ensembles minimaux de contraintes <<~incoh{\\\'e}rents~>>, donne les explications de cet {\\\'e}chec. Cette notion de conflits existe aussi en logique propositionnelle (ensembles minimaux de formules inconsistantes). Nous allons adapter de nombreux crit{\\\\`e}res de pr{\\\\\\\'e}f{\\\\\\\'e}rences locales issus de la r{\\\\\\\'e}solution de conflits en logique propositionnelle, {\\\\`a} la r{\\\\\\\'e}solution de conflits dans un probl{\\\\`e}me d\\\\\\\'ordonnancement. Nous introduisons {\\\\\\\'e}galement de nouveaux crit{\\`e}res <<~color{\\\\\\\'e}s~>> sp{\\\\\\\'e}cifiques aux probl{\\\\`e}mes d\\\\\\\'ordonnancement. Ce cadre formel d\'aide {\\\\`a} la d{\\\\\\\'e}cision permet de transformer un probl{\\\\`e}me d\\\\\\\'ordonnancement sans solution en un probl{\\\\`e}me d\\\\\\\'ordonnancement avec solution, en respectant les pr{\\\\\\\'e}f{\\\\\\\'e}rences locales. Nous sp{\\\\\\\'e}cifions pour tous nos crit{\\\\`e}res des algorithmes de type <<~\\\\textit{Branch-and-Bound}~>> pour la recherche de solutions optimales. L\\\\\\\'impl{\\\\\\\'e}mentation de certains crit{\\\\`e}res nous montre que l\\\\\\\'ordre de r{\\\\\\\'e}solution des conflits est crucial et confirme que la r{\\\\\\\'e}solution de tels conflits est un probl{\\\\`e}me exponentiel.},
}