Introduzione all'Intelligenza Artificiale
Maria Simi, Alessio Micheli - a.a. 2014/2015
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
I parte. Risoluzione dei problemi come ricerca (Maria Simi)
- Mar 24/02/2015 16:00-18:00 - Introduzione all'Intelligenza Artificiale (PDF)
- Gio 26/02/2015 16:00-18:00 - Agenti intelligenti (PPT, PDF)
- Ven 27/02/2015 11:00-13:00 - Agenti per il problem solving (PPT, PDF)
- Mar 03/03/2015 16:00-18:00 - Ricerca informata - parte I (PPT, PDF)
- Gio 05/03/2015 14:00-16:00 - Ricerca informata - parte II
- Ven 06/03/2015 11:00-13:00 - Oltre la ricerca classica: ambienti non deterministici (PPT, PDF)
- Mar 10/03/2015 16:00-18:00 - Oltre la ricerca classica: ambienti parzialmente osservabili e ricerca online
- Gio 12/03/2015 14:00-16:00 - Problemi con avversario (PPT, PDF)
- Ven 13/03/2015 11:00-13:00 - Problemi di soddisfacimento di vincoli (PPT, PDF)
- Mar 17/03/2015 16:00-18:00 - Esercitazione (Esercizi1)
- Mar 24/03/2015 16:00-18:00 - Esercitazione (Esercizi2)
II parte. Rappresentazione della conoscenza e ragionamento automatico
- Gio 26/03/2015 14:00-16:00 - Introduzione alla rappresentazione della conoscenza (PPT, PDF)
- Ven 27/03/2015 11:00-13:00 - Algoritmi per la soddisfacibilità e inferenza in PROP
- Mar 31/03/2015 16:00-18:00 - Logica dei predicati (PPT, PDF)
- Gio 02/04/2015 14:00-16:00 - Metodo di risoluzione e relative strategie (PPT, PDF)
Sospensione della didattica per verifiche intermedie e vacanze pasquali
- Gio 16/04/2015 14:00-16:00 - Programmazione logica e basi di dati deduttive
- Ven 17/04/2015 11:00-13:00 - Sistemi di produzione, reti semantiche e frame (PPT1, PDF1; PPT2, PDF2)
- Mar 21/04/2015 16:00-18:00 - Web semantico e logiche descrittive (PPT, PDF)
- Gio 23/04/2015 14:00-16:00 - Inferenza nelle logiche descrittive (PPT, PDF)
- Ven 24/04/2015 11:00-13:00 - Esercitazione (Esercizi3)
- Mar 28/04/2015 16:00-18:00 - Esercitazione (Esercizi4)
- Mar 19/05/2015 16:00-18:00 - Esercitazione (Esercizi5; Esercizi6)
III parte. Apprendimento automatico (Alessio Micheli)
- Gio 30/04/2015 14:00-16:00
- Mar 05/05/2015 16:00-18:00
- Gio 07/05/2015 14:00-16:00
- Ven 08/05/2015 11:00-13:00
- Mar 12/05/2015 16:00-18:00
- Gio 14/05/2015 14:00-16:00
- Ven 15/05/2015 11:00-13:00
- Gio 21/05/2015 14:00-16:00
- Ven 22/05/2015 11:00-13:00
- Mar 26/05/2015 16:00-18:00
Materiale integrativo per il primo modulo
- Handbook on Description Logic (cap. 2)