Explications k-relevantes pour la programmation par contraintes

Samir Ouis (1) , Narendra Jussien (2) , Patrice Boizumault (3)

1 LINA - Laboratoire d'Informatique de Nantes Atlantique
2 TASC - Theory, Algorithms and Systems for Constraints
3 Equipe CODAG - Laboratoire GREYC - UMR6072

Cet article présente des outils permettant à un utilisateur de la programmation par contraintes de développer interactivement une application. L'implantation de ces outils repose sur l'utilisation des explications dite $k$-pertinentes. Un exemple est donné pour illustrer les concepts et mettre en avant différentes situations concrètes d'utilisation de nos outils.

Domaines: Intelligence artificielle [cs.AI]; Machine Learning [stat.ML]

Samir Ouis, Narendra Jussien, Patrice Boizumault. Explications k-relevantes pour la programmation par contraintes. 9ème Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'03), 2003, Amiens, France, France. pp.111--124. ⟨hal-00446385⟩