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

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
   • 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. Prolog e SLD
2. Esercitazione sui vincoli
3. Esercizi su giochi e strategie di ricerca
4. Alcuni esercizi sui Meta-interpreti in Prolog
5. Esempio Compito - Compito del 19 Gennaio 2011
6. Logica

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