Fondamenti di Intelligenza Artificiale M
A.A. 2011-2012

Lucidi del Corso

1. Introduzione al corso
2. Introduzione all'Intelligenza Artificiale
   • Sistemi basati sulla conoscenza
3. Soluzione di problemi come ricerca nello spazio degli stati
4. Strategie di Ricerca non informate
5. Strategie di Ricerca informate
6. Problemi di soddisfacimento di Vincoli (updated on March 13, 2012)
   • Map coloring
7. Giochi
8. Introduzione alla Logica
9. Inferenza e Logica proposizionale
10. Inferenza e Logica dei Predicati
11. Esempi sulla Logica
12. Rappresentazione della conoscenza - Reti Semantiche, Frames e Oggetti
13. Planning (nuovo)
14. Pianificazione in Prolog (nuovo)
15. Sistemi Esperti (nuovo)
16. Introduzione a Semantic Web (nuovo)
17. Introduzione alle Logiche Descrittive (nuovo)

Lucidi su Prolog

1. Introduzione al Prolog
2. Aritmetica e Ricorsione
3. Liste
4. Cut
5. La Negazione
6. Alcuni metapredicati
7. Meta-interpreti (nuovo)

Prolog ed AI:

1. Vincoli in Prolog
2. Sistemi esperti in Prolog (nuovo)

Esercizi:

1. Esercizi su giochi e strategie di ricerca
2. Esercitazione sui vincoli
3. Logica
4. Prolog e SLD
5. Esempio Compito - Compito del 19 Gennaio 2011
6. Alcuni esercizi (difficili) sui Meta-interpreti in Prolog

Attività integrative di laboratorio (3 crediti), eventuali approfondimenti, e/o tesi:

1. Lucidi di presentazione di possibili attività integrative/approfondimenti/tesi

 

Lucidi extra per eventuali approfondimenti:

1. Esercitazione su Prolog e Sistemi Esperti
2. Compilatori in Prolog
3. Grammatiche in Prolog
4. Pianificazione in Prolog (nuovo)