séminaire du pôle SDD – orateur : Nadjib Lazaar (LIRMM)

Le pôle Sciences de Données et Décision est heureux d’accueillir :
Nadjib Lazaar, professeur associé à l’Université de Montpellier et membre de l’équipe COCONUT du Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM).

Il donnera un séminaire sur « l’Acquisition de contraintes »

mercredi 24 mai à 14h15

en salle ABC du bâtiment 34, sur le site de la FST.

Résumé :
Constraint programming is used to model and solve complex combinatorial problems. The modeling task requires some expertise in constraint programming. This requirement is a bottleneck to the broader uptake of constraint technology. Several approaches have been proposed to assist the non-expert user in the modeling task.  In this talk, I will present the recent results on constraint acquisition obtained by the Coconut team and their collaborators.
In a first part I will show how to learn constraint networks by asking the user partial queries. That is, we ask the user to classify assignments to subsets of the variables as positive or negative.We provide an algorithm, called QUACQ, that, given a negative example, finds a constraint of the target network in a number of queries logarithmic in the size of the example.
In a second part, I will show how to make constraint acquisition more efficient in practice (new kind of queries, the use of some background knowledge, more elicitation…).