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)

  1. Lun 20/02/2012 14:00-16:00 lezione: Introduzione all'intelligenza artificiale (PDF)
  2. Mer 22/02/2012 09:00-11:00 lezione: Agenti intelligenti (PDF)
  3. Gio 23/02/2012 16:00-18:00 lezione: Risoluzione dei problemi mediante ricerca (PDF)
  4. Lun 27/02/2012 14:00-16:00 lezione: Ricerca informata (PDF)
  5. Mer 29/02/2012 9:00-11:00 lezione: Ricerca locale (PDF)
  6. Gio 01/03/2012 16:00-18:00 esercitazione
  7. Lun 05/03/2012 14:00-16:00 lezione: Ricerca online (PDF)
  8. Mer 07/03/2012 9:00-11:00 lezione: Problemi con avversario (PDF)
  9. Gio 08/03/2012 16:00-18:00 lezione:Problemi di soddisfacimento di vincoli (PDF)
  10. Lun 12/03/2012 14:00-16:00 esercitazione
  11. Mer 14/03/2012 9:00-11:00 lezione: Introduzione alla rappresentazione della conoscenza (PDF)
  12. Gio 15/03/2012 16:00-18:00 lezione: Agenti logici: il calcolo proposizionale (PDF)
  13. Lun 19/03/2012 14:00-16:00 lezione: Agenti logici: la logica del prim'ordine (PDF)
  14. Mer 21/03/2012 9:00-11:00 lezione: Sistemi a regole: programmazione logica (PDF)
  15. Gio 22/03/2012 16:00-18:00 esercitazione
  16. Lun 26/03/2012 14:00-16:00 lezione: Sistemi a regole di produzione (PDF)
  17. Gio 12/04/2012 16:00-18:00 lezione: Rappresentazioni strutturate (PDF)
  18. Lun 16/04/2012 14:00-16:00 lezione: Logiche descrittive: linguaggio (PDF)
  19. Mer 18/04/2012 09:00-11:00 lezione: Logiche descrittive: inferenza (PDF)
  20. Gio 19/04/2012 16:00-18:00 lezione: Pianificazione (PDF)
  21. Lun 23/04/2012 14:00-16:00 esercitazione: Logiche descrittive
  22. Gio 26/04/2012 16:00-18:00 I Prova di verifica intermedia
  23. 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)

  1. Mer 2/05/2012 9:00-11:00 lezione: Apprendimento induttivo di concetti (PDF)
  2. Gio 3/05/2011 16:00-18:00 lezione: Apprendimento di alberi di decisione (PDF)
  3. Lun 07/05/2011 14:00-16:00 lezione: Introduzione all'apprendimento automatico (Bacciu)
  4. Mer 09/05/2012 09:00-11:00 lezione: Analisi Esplorativa I: Feature Extraction (Bacciu)
  5. Gio 10/05/2012 16:00-18:00 lezione: Analisi Esplorativa II: Feature Selection e clustering (Bacciu)
  6. Lun 14/05/2012 14:00-16:00 lezione: Apprendimento Bayesiano (Bacciu)
  7. Mer 16/05/2012 09:00-11:00 lezione: Applicazioni dell'Apprendimento Automatico all'Analisi Documentale (Bacciu)
  8. Gio 17/05/2012 16:00-18:00 esercitazione
  9. Lun 21/05/2011 14:00-16:00 lezione: Apprendimento con rinforzo (Bacciu)
  10. Mer 23/05/2011 09:00-11:00 lezione: Apprendimento in Ecologie Robotiche (Bacciu)
  11. Gio 24/05/2011 16:00-18:00 lezione: Modelli avanzati e cenni alla teoria dell'apprendimento (Micheli)
  12. 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