Intelligenza Artificiale 2 - a.a. 2000-2001

Programma del Corso

• Semantica Prolog
• Theorem Proving
• Agenti
  • Introduzione
  • Linguaggi
  • Un ambiente per sviluppare agenti (IMPACT)
• Learning
• Inductive Logic Programming
• Logiche modali e temporali
• Applicazione di logiche modali e temporali alla modellazione di agenti
• Reti bayesiane
• Logiche per la rappresentazione della conoscenza
• Planning
• Seminari studenti

Argomenti delle lezioni del Corso

• Luogo ed orario delle lezioni:
  Le lezioni non congiunte con i colleghi di ingegneria si tengono il martedi' dalle 16 alle 19 in aula 218 ed il mercoledi' dalle 17 alle 19 in aula 704.
  Le lezioni congiunte con i colleghi di ingegneria si tengono in aula 218 con il seguente orario: lunedi' 19 marzo, 17-19; venerdi' 23 marzo, 17-19; lunedi' 26 marzo, 17-19; giovedi' 29 marzo, 17-19.
  
  

1. 06/03/01 (Lezioni separate)
   • Maurizio: Introduzione al corso
2. 07/03/01 - Mer. 17-19 (Lezioni separate)
   • Maurizio: Semantica Prolog
3. 13/03/01 - Mar. 16-19 (Lezioni separate)
   • Maurizio: Theorem Proving
4. 14/03/01 - Mer. 17-19 (Lezioni separate)
   • Maurizio: Theorem Proving
5. 19/03/01 - Lun. 17-19 (Lezioni COMUNI: Viviana)
   • Introduzione al concetto di agente.
6. 23/03/01 - Ven. 17-19 (Lezioni COMUNI: Viviana)
   • Sistemi MAS ed applicazioni di MAS.
7. 26/03/01 - Lun. 17-19 (Lezioni COMUNI: Thomas Eiter)
   • Storia dei linguaggi per agenti
8. 29/03/01 - Gio. 17-19 (Lezioni COMUNI: Thomas Eiter)
   • Introduzione a IMPACT
9. 03/04/01 - Mar. 16-19 (Lezioni separate)
   • Maurizio:Strategie della risoluzione. Teoria dell'unificazione.
10. 04/04/01 - Mer. 17-19 (Lezioni separate)
    • Maurizio: Unificazione. Cenni di semantica della P.L.
11. 10/04/01 - Mar. 16-19 ((Lezioni separate)
    • Maurizio: Machine learning.
12. 11/04/01 - Mer. 17-19 (Lezioni separate)
    • Maurizio: Inductive Logic Programming.
13. 24/04/01 - Mar. 16-19 (Lezioni separate)
    • Giorgio: Logiche modali e temporali