Home » Archivo » Archvio 2013 » SISTEMI CON VINCOLI - 2013/2014

Laurea Magistrale

Salta il menu di secondo livello

SISTEMI CON VINCOLI - 6 CFU - A.A. 2013/2014

Insegnante

Prof.ssa Francesca Rossi

Periodo

I Anno - 3 Trimestre | 07/04/2014 - 21/06/2014

Ore: 44 (6 esercitazione, 38 lezione)

Torna su ▲

Prerequisiti

Nessuno.

Conoscenze e abilità da acquisire

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.

Modalità di esame

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

Criteri di valutazione

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.

contenuti

* 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

Attività di apprendimento previste e metodologie di insegnamento

Lezioni ed esercitazioni in aula.

Eventuali indicazioni sui materiali di studio

Verranno rese disponibili le trasparenze usate nelle lezioni.

Testi di riferimento

Torna su ▲