Presentazione

Organizzazione della Didattica

DM270
INFORMATICA ORD. 2014


6

Corsi comuni

 

Frontali Esercizi Laboratorio Studio Individuale
ORE: 38 6 0 98

Periodo

AnnoPeriodo
I anno2 semestre

Frequenza

Facoltativa

Erogazione

Convenzionale

Lingua

Italiano

Calendario Attività Didattiche

InizioFine
27/02/201709/06/2017

Tipologia

TipologiaAmbitoSSDCFU
caratterizzanteDiscipline informaticheINF/016


Responsabile Insegnamento

ResponsabileSSDStruttura
Dott. LOMBARDI MICHELEING-INF/05

Altri Docenti

Non previsti.

Attività di Supporto alla Didattica

Non previste.

Bollettino

Nessuno.

Argomento principale di questo corso e' la programmazione con vincoli, sia dal punto di vista teorico che pratico. La programmazione con vincoli e' un'area di ricerca molto attiva a cavallo tra l'Intelligenza Artificiale, la Ricerca Operativa, i Linguaggi di Programmazione, e le Basi di Dati, e fornisce strumenti per la modellazione e la soluzione di problemi reali visti come un insieme di vincoli su un certo insieme di variabili. Questi strumenti hanno molte applicazioni pratiche, dai turni del personale all'allocazione dei gate agli aerei, dalla schedulazione delle attivita' di un'azienda alla soluzione ottimizzata di problemi di logistica.

Lezioni ed esercitazioni in aula.

* Introduzione al corso, esempi di problemi di vincoli. * Nozioni di base della programmazione con vincoli. * Alcuni risolutori completi. * Nozioni di consistenza locale. * Alcuni risolutori incompleti. * Algoritmi di propagazione di vincoli. * Metodi di ricerca nello spazio delle soluzioni. * Argomenti avanzati di programmazione con vincoli: o vincoli soft o vincoli bipolari o vincoli con incertezza

Esame scritto piu' presentazione di un progetto svolto a gruppi.

Lo scritto contiene alcune domande che consentono di valutare il livello di apprendimento delle nozioni impartite durante il corso. Il progetto permette agli studenti di approfondire alcune nozioni e di verificare il loro uso pratico in problemi simulati.

Apt, Krzysztof R., Principles of constraint programming. Cambridge [etc.]: Cambridge University Press, 2003 Dechter, Rina; Cohen, David, Constraint processing. San Francisco [etc.]: Morgan Kaufmann, 2003 Rossi, Francesca; Beek, Peter : van der; Walsh, Peter, Handbook of constraint programming. Amsterdam: Elsevier, 2006

Verranno rese disponibili le trasparenze usate nelle lezioni.