Apprentissage de problemes de contraintes

Matthieu Lopez

Description

Niveau: Supérieur, Doctorat, Bac+8
Apprentissage de problemes de contraintes Matthieu Lopez sous la direction de Arnaud LALLOUET realisee au LIFO, Universite d'Orleans, 8 decembre 2011 Matthieu Lopez 8 decembre 2011 1/ 50

• differents au meme moment


• probleme de satisfaction de contraintes


• programmation par contraintes


• apprentissage de problemes de contraintes


• probleme en specifiant


• programmation par contraintes reponse de la communaute

Sujets

• DuPont
• Problème de satisfaction de contraintes
• Programmation par contraintes

Informations

• Publié par: profil-zyak-2012
• Publié le: 01 décembre 2011
• Nombre de lectures: 72
• Langue: Français

Extrait

Apprentissagedeprobl`emesdecontraintes

aMttihueLopez

Matthieu Lopez

sous la direction deArnaud LALLOUET realise´eauLIFO,Universite´d’Orle´ans, ´

8de´cembre2011

8ed´cembre20111/05

e´d8zepo02erbmecMuLiethat50

Programmation par contraintes (CP) : probl`emeens´ifiantsescontraintes pec

112/

exprimer/d´ecrire

un

Intelligence Artificielle

xeetoCtnseth`edela

rantteinnpiocoarargotammrPs 2011mbre

Exemple de l’emploi du temps scolaire. descours,desprofesseurs,dessallesetdescre´neauxhoraires pasdeuxcoursdanslamˆemesalleaumeˆmemoment impossibilit´epourunprofd’enseignerdansdeuxcours diff´erentsaumeˆmemoment

Probl`emedesatisfactiondecontraintes(CSP) X: Ensemble de variables (ex. la salle pour le cours de math de M. Dupont) D: Ensemble de domaines (ex.{C205,C34,C109}) C: Ensemble de contraintes

3/50poLueihtece´d8zeatM

Programmation par contraintes

e

Limitations [Puget04] :troptionlisaod´empmocexel Comment rendre la CP plus accessible ?

ttxdele 0 t 1 a 1 ` 4 h / s 5 e 0 eCon ecembre2Lopez8d´aMttihue

Cnoetesh`eedxtatel 0211bmer

Programmation par contraintes R´eponsedelacommunaut´e:

aidea`lamod´elisation

langagesdemode´lisationhaut-niveau

/505

reformulationdumode`le

taMiethopuL8dezce´e

05/61102erbmece´8dezopuLiethatM

un

concept

Classification

supervise´e

des

donn´ ees

pour

extraire

But

:

ge´n´lir era se

oCedetxetnse`ethla

supervise´e

concept

Classification

extraire

un

donnees ´

pour

ecemz8d´Lopehieu

:

But

des

g´ene´raliser

5/01061rb2eMatt eseCnoettxdeleta`h

oCtnxeetd

CONACQ

Matthieu

elath`se

[Bessie`re

Lopez

e

et

al

2005

(et

les

suivants)]

8

de´cembre

2011

7/

50