81940 - INTELLIGENZA ARTIFICIALE

Anno Accademico 2023/2024

  • 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)

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