Intelligenza artificiale

Docente

Maurizio Gabbrielli
 

Programma

I numeri fra parentesi si riferiscono ai capitoli del libro di testo
(la mancanza di un numero significa che l'argomento รจ trattato nel materiale aggiuntivo).
Il + indica la presenza di materiale aggiuntivo rispetto al libro di testo

Introduzione alla intelligenza artificale (cap 1+).
Le principali tecnologie e applicazioni dell'intelligenza artificiale (+).
La nozione di agente (cap 2)
Strategie di ricerca non informata (cap 3).
Strategie di ricerca informata (cap 4).
Ricerca con avversari (cap 5+)
Modellazione di problemi con vincoli e CSP: nozioni di base (cap 6+).
Nozioni di consitenza locale
Richiami di logica proposizionale e di logica del prim'ordine (cap 7,8+).

Unificazione. Risoluzione e inferenza (cap 9+).
Programmazione logica.
Programmazione (logica) con vincoli.
Planning (cap 10, 11+).
Approcci probabilistici e teoria delle decisioni (cenni, cap 13,14,16).
Aspetti filosofici e sfide future (cap 26, 27).


Libro di testo

Russell, Norvig. Artificial Intelligence: A Modern Approach, 3rd Edition. Pearson (Intl) 2010 (US edition) and 2016 (Global edition).

Materiale didattico aggiuntivo


Lucidi introduttivi

Lucidi integrativi su CSP
Lucidi introduttivi a Constraint Programming
Lucidi su MiniZinc (Prof. Maniezzo)
Tutorial su MiniZinc
Lucidi introduttivi a programmazione logica
Altri lucidi su programmazione logica e con vincoli (incluse nozioni di FOL)
Appunti su programmazione logica
Lucidi su Prolog
Lucidi su Planning

Temi per progetti d'esame:


Qui si possono trovare temi per i progetti del corso. E' possibile proporre altri temi e anche proporre,
in sostituzione del progetto, l'approfondimento di un tema specifico.
In ogni caso il tema del progetto o l'approfondimento deve essere concordato con il docente

Modalita' d'esame

Progetto e orale. Il progetto deve essere presentato e discusso prima dell'orale.
Le date dell'orale sono fissate su appuntamento.