Introduzione all'Intelligenza Artificiale
Alessio Micheli, Maria Simi - a.a. 2015/2016
Orario delle lezioni
Martedì ore 16:00-18:00, aula A1, Polo Fibonacci
Giovedì ore 14:00-16:00, aula A1, Polo Fibonacci
Venerdì ore 11:00-13:00, aula C1, Polo Fibonacci
Introduzione al corso
- Mar 23/02/2016 16:00-18:00 - Introduzione all'Intelligenza Artificiale. (PDF)
I parte. Risoluzione dei problemi come ricerca (A. Micheli)
II parte. Rappresentazione della conoscenza e ragionamento automatico (M. SIMI)
- Mar 22/03/2016 16:00-18:00 - Introduzione alla rappresentazione della conoscenza (PDF)
- Gio 24/03/2016 14:00-16:00 - Algoritmi per la soddisfacibilità e inferenza in PROP (PDF)
- Gio 07/04/2016 14:00-16:00 - Logica dei predicati (PDF)
- Ven 08/04/2016 11:00-13:00 - Metodo di risoluzione per il FOL
- Mar 12/04/2016 16:00-18:00 - Strategie di risoluzione e programmazione logica (PDF)
- Gio 14/04/2016 14:00-16:00 - Basi di dati deduttive, sistemi di produzione (PDF)
- Ven 15/04/2016 11:00-13:00 - Esercitazione 4 (PDF)
- Mar 19/04/2016 16:00-18:00 - Reti semantiche e frame(PDF)
- Gio 21/04/2016 14:00-16:00 - Web semantico e logiche descrittive (PDF)
- Ven 22/04/2016 11:00-13:00 - Logiche descrittive: inferenza (PDF)
- Mar 27/04/2016 16:00-18:00 - Esercitazione 5 (PDF)
III parte. Apprendimento automatico (A. Micheli)
Materiale integrativo per il secondo modulo
- Handbook on Description Logic (cap. 2, escluse le parti in giallo)