Introduzione all'Intelligenza Artificiale
Maria Simi - a.a. 2011/2012
Edizione dello scorso anno
Orario delle lezioni
Lunedì ore 14:00-16:00, aula B, Polo Fibonacci
Mercoledì ore 9:00-11:00, aula L, Polo Fibonacci
Giovedì ore 16:00-18:00, aula B, Polo Fibonacci
Verifiche intermedie
26/4/12 ore 16.00 aula B.
29/5/12 ore 16.00 aula B1
Appelli
06/06/12 Mercoledì ore 15 aula C1 - Risultati (aggiornamento)
27/06/12 Mercoledì ore 15 aula C1 - Risultati
18/07/12 Mercoledì ore 15 aula C1 - Risultati
10/09/12 Lunedì ore 15 aula ?
21/01/2013 Lunediì ore 15:00 aula C1 - Risultati
Per gli orali venerdì 25 gennaio a partire dalle 10:00 nel mio studio.
Scrivetemi se ci sono problemi.
I modulo. Rappresentazione della conoscenza e ragionamento automatico (Simi)
- Lun 20/02/2012 14:00-16:00 lezione: Introduzione all'intelligenza artificiale (PDF)
- Mer 22/02/2012 09:00-11:00 lezione: Agenti intelligenti (PDF)
- Gio 23/02/2012 16:00-18:00 lezione: Risoluzione dei problemi mediante ricerca (PDF)
- Lun 27/02/2012 14:00-16:00 lezione: Ricerca informata (PDF)
- Mer 29/02/2012 9:00-11:00 lezione: Ricerca locale (PDF)
- Gio 01/03/2012 16:00-18:00 esercitazione
- Lun 05/03/2012 14:00-16:00 lezione: Ricerca online (PDF)
- Mer 07/03/2012 9:00-11:00 lezione: Problemi con avversario (PDF)
- Gio 08/03/2012 16:00-18:00 lezione:Problemi di soddisfacimento di vincoli (PDF)
- Lun 12/03/2012 14:00-16:00 esercitazione
- Mer 14/03/2012 9:00-11:00 lezione: Introduzione alla rappresentazione della conoscenza (PDF)
- Gio 15/03/2012 16:00-18:00 lezione: Agenti logici: il calcolo proposizionale (PDF)
- Lun 19/03/2012 14:00-16:00 lezione: Agenti logici: la logica del prim'ordine (PDF)
- Mer 21/03/2012 9:00-11:00 lezione: Sistemi a regole: programmazione logica (PDF)
- Gio 22/03/2012 16:00-18:00 esercitazione
- Lun 26/03/2012 14:00-16:00 lezione: Sistemi a regole di produzione (PDF)
- Gio 12/04/2012 16:00-18:00 lezione: Rappresentazioni strutturate (PDF)
- Lun 16/04/2012 14:00-16:00 lezione: Logiche descrittive: linguaggio (PDF)
- Mer 18/04/2012 09:00-11:00 lezione: Logiche descrittive: inferenza (PDF)
- Gio 19/04/2012 16:00-18:00 lezione: Pianificazione (PDF)
- Lun 23/04/2012 14:00-16:00 esercitazione: Logiche descrittive
- Gio 26/04/2012 16:00-18:00 I Prova di verifica intermedia
- Lun 30/04/2012 14:00-16:00 Correzione della I prova di verifica intermedia (Risultati I prova intermedia; Soluzione esercizi I prova)
Materiale integrativo per il primo modulo
Esempi di esercizi e compiti
II modulo. Introduzione all'apprendimento automatico (Simi, Bacciu, Micheli)
- Mer 2/05/2012 9:00-11:00 lezione: Apprendimento induttivo di concetti (PDF)
- Gio 3/05/2011 16:00-18:00 lezione: Apprendimento di alberi di decisione (PDF)
- Lun 07/05/2011 14:00-16:00 lezione: Introduzione all'apprendimento automatico (Bacciu)
- Mer 09/05/2012 09:00-11:00 lezione: Analisi Esplorativa I: Feature Extraction (Bacciu)
- Gio 10/05/2012 16:00-18:00 lezione: Analisi Esplorativa II: Feature Selection e clustering (Bacciu)
- Lun 14/05/2012 14:00-16:00 lezione: Apprendimento Bayesiano (Bacciu)
- Mer 16/05/2012 09:00-11:00 lezione: Applicazioni dell'Apprendimento Automatico all'Analisi Documentale (Bacciu)
- Gio 17/05/2012 16:00-18:00 esercitazione
- Lun 21/05/2011 14:00-16:00 lezione: Apprendimento con rinforzo (Bacciu)
- Mer 23/05/2011 09:00-11:00 lezione: Apprendimento in Ecologie Robotiche (Bacciu)
- Gio 24/05/2011 16:00-18:00 lezione: Modelli avanzati e cenni alla teoria dell'apprendimento (Micheli)
- Mar 29/05/2012 16:00-18:00 II prova di verifica intermedia (Risultati II prova intermedia)
Per chi può e vuole anticipare l'orale sono disponibile lunedì pomeriggio (4 giugno) verso le 16:00
Maria Simi: simi@di.unipi.it