- Docente: Zeynep Kiziltan
- Crediti formativi: 6
- SSD: INF/01
- Lingua di insegnamento: Inglese
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Bologna
- Corso: Laurea Magistrale in Informatica (cod. 8028)
Conoscenze e abilità da conseguire
Il corso tratta i metodi fondamentali dell'intelligenza artificiale 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. La difficoltà intrinseca nel risolvere problemi così cruciali nella pratica ha portato allo sviluppo di una tecnologia che consente di costruire sistemi intelligenti di supporto alle decisioni, che va sotto il nome di programmazione a vincoli (Constraint Programming, CP). Un numero sempre maggiore di aziende e centri di ricerca nel mondo si avvale e contribuisce 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://virtuale.unibo.it/my/index.php?lang=en
Orario di ricevimento
Consulta il sito web di Zeynep Kiziltan
SDGs
L'insegnamento contribuisce al perseguimento degli Obiettivi di Sviluppo Sostenibile dell'Agenda 2030 dell'ONU.