Introduzione all'Intelligenza Artificiale

Maria Simi, Alessio Micheli - a.a. 2014/2015

Edizione dello scorso anno

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)

  1. Mar 24/02/2015 16:00-18:00 - Introduzione all'Intelligenza Artificiale (PDF)
  2. Gio 26/02/2015 16:00-18:00 - Agenti intelligenti (PPT, PDF)
  3. Ven 27/02/2015 11:00-13:00 - Agenti per il problem solving (PPT, PDF)
  4. Mar 03/03/2015 16:00-18:00 - Ricerca informata - parte I (PPT, PDF)
  5. Gio 05/03/2015 14:00-16:00 - Ricerca informata - parte II
  6. Ven 06/03/2015 11:00-13:00 - Oltre la ricerca classica: ambienti non deterministici (PPT, PDF)
  7. Mar 10/03/2015 16:00-18:00 - Oltre la ricerca classica: ambienti parzialmente osservabili e ricerca online
  8. Gio 12/03/2015 14:00-16:00 - Problemi con avversario (PPT, PDF)
  9. Ven 13/03/2015 11:00-13:00 - Problemi di soddisfacimento di vincoli (PPT, PDF)
  10. Mar 17/03/2015 16:00-18:00 - Esercitazione (Esercizi1)
  11. Mar 24/03/2015 16:00-18:00 - Esercitazione (Esercizi2)

II parte. Rappresentazione della conoscenza e ragionamento automatico

  1. Gio 26/03/2015 14:00-16:00 - Introduzione alla rappresentazione della conoscenza (PPT, PDF)
  2. Ven 27/03/2015 11:00-13:00 - Algoritmi per la soddisfacibilità e inferenza in PROP
  3. Mar 31/03/2015 16:00-18:00 - Logica dei predicati (PPT, PDF)
  4. 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

  1. Gio 16/04/2015 14:00-16:00 - Programmazione logica e basi di dati deduttive
  2. Ven 17/04/2015 11:00-13:00 - Sistemi di produzione, reti semantiche e frame (PPT1, PDF1; PPT2, PDF2)
  3. Mar 21/04/2015 16:00-18:00 - Web semantico e logiche descrittive (PPT, PDF)
  4. Gio 23/04/2015 14:00-16:00 - Inferenza nelle logiche descrittive (PPT, PDF)
  5. Ven 24/04/2015 11:00-13:00 - Esercitazione (Esercizi3)
  6. Mar 28/04/2015 16:00-18:00 - Esercitazione (Esercizi4)
  7. Mar 19/05/2015 16:00-18:00 - Esercitazione (Esercizi5; Esercizi6)

III parte. Apprendimento automatico (Alessio Micheli)

  1. Gio 30/04/2015 14:00-16:00
  2. Mar 05/05/2015 16:00-18:00
  3. Gio 07/05/2015 14:00-16:00
  4. Ven 08/05/2015 11:00-13:00
  5. Mar 12/05/2015 16:00-18:00
  6. Gio 14/05/2015 14:00-16:00
  7. Ven 15/05/2015 11:00-13:00
  8. Gio 21/05/2015 14:00-16:00
  9. Ven 22/05/2015 11:00-13:00
  10. Mar 26/05/2015 16:00-18:00

Materiale integrativo per il primo modulo

  • Handbook on Description Logic (cap. 2)