87469 - DECISION MAKING WITH CONSTRAINT PROGRAMMING

Conoscenze e abilità da conseguire

Il corso tratta i metodi fondamentali dell'intelligenza artificiale e della ricerca operativa, per modellare e risolvere problemi che richiedono di prendere decisioni (ottime) in presenza di vincoli numerosi e complessi. Tali problemi si presentano spesso in diverse aree scientifiche, aziendali e industriali. Alcuni esempi sono, l’allineamento di sequenze di DNA e proteine in biologia, l’instradamento di veicoli in un'azienda di logistica, e lo scheduling di una linea di montaggio in ambito industriale. La difficoltà intrinseca di risolvere problemi in pratica così cruciali ha portato allo sviluppo di una tecnologia ampiamente adottata nella costruzione di sistemi intelligenti di supporto alle decisioni, che va sotto il nome di programmazione a vincoli (constraint programming, CP). Ad esempio, la missione Rosetta/Philae lanciata dall’a European Space Agency è stata schedulata e controllata tramite CP (http://www.a4cp.org/node/1058). Molte aziende, tra cui IBM, Oracle e Google, e centri di ricerca nel mondo si avvalgono e contribuiscono al miglioramento di questa tecnologia. Competenze acquisite in questo settore sono quindi molto bene spendibili nel mercato del lavoro. Il corso combina fondamenti teorici con una parte pratica di modellazione e risoluzione di problemi ispirati al mondo reale. Al termine del corso, lo studente conoscerà tecniche avanzate di modellazione e metodi risolutivi efficienti, e sarà in grado di modellare problemi usando un linguaggio a vincoli, e di risolverli tramite un risolutore di vincoli.

Contenuti

Il corso è erogato in lingua inglese. Per informazioni sul corso fare riferimento alla versione inglese di questa pagina web.

Link ad altre eventuali informazioni

https://iol.unibo.it/?lang=en

Orario di ricevimento

Consulta il sito web di Zeynep Kiziltan