- Docente: Maurizio Gabbrielli
- Crediti formativi: 6
- SSD: INF/01
- Lingua di insegnamento: Italiano
- Moduli: Maurizio Gabbrielli (Modulo 1) Stefano Pio Zingaro (Modulo 2)
- Modalità didattica: Convenzionale - Lezioni in presenza (Modulo 1) Convenzionale - Lezioni in presenza (Modulo 2)
- Campus: Bologna
- Corso: Laurea Magistrale in Informatica (cod. 5898)
-
Orario delle lezioni (Modulo 1)
dal 19/09/2023 al 28/11/2023
-
Orario delle lezioni (Modulo 2)
dal 29/11/2023 al 13/12/2023
Conoscenze e abilità da conseguire
Al termine del corso, lo studente conosce i principali linguaggi, tecniche di modellizzazione e metodi di ragionamento che stanno alla base della risoluzione di problemi di intelligenza artificiale. In particolare, è in grado di realizzare sistemi 'intelligenti' che, nella soluzione di problemi, simulano il comportamento di esperti umani della disciplina in oggetto. Inoltre è in grado di modellizzare e risolvere semplici problemi di ottimizzazione basati su programmazione a vincoli.
Contenuti
Introduzione all' intelligenza artificiale.
Le principali tecnologie e applicazioni dell'intelligenza artificiale.
La nozione di agente.
Strategie di ricerca non informata.
Strategie di ricerca informata.
Ricerca con avversari.
Modellazione di problemi con vincoli e CSP: nozioni di base.
Nozioni di consitenza locale.
Richiami di logica proposizionale e di logica del prim'ordine.
Unificazione. Risoluzione e inferenza.
Programmazione logica.
Programmazione con vincoli, cenni a MiniZinc.
Planning.
Introduzione al machine learning.
Il calcolo sub-simbolico e le reti neurali
Aspetti economici, etici e filosofici.
Testi/Bibliografia
Russell, Norvig. Artificial Intelligence: A Modern Approach, 3rd Edition. Pearson (Intl) 2010 (US edition) and 2016 (Global edition).
Materiale fornito a lezione.
Metodi didattici
Lezioni frontali
Modalità di verifica e valutazione dell'apprendimento
Progetto e discussione orale.
Strumenti a supporto della didattica
Le lezioni saranno tenute usando slides. Durante il corso saranno usati anche alcuni strumenti software specifici per IA.
Orario di ricevimento
Consulta il sito web di Maurizio Gabbrielli
Consulta il sito web di Stefano Pio Zingaro