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

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) (updated May 7th, 2010)
16. Introduzione a Semantic Web (nuovo)
17. Introduzione alle Logiche Descrittive (nuovo) (updated May 11th, 2010)
18. Introduzione agli Agenti (nuovo)
19. SCIFF e Applicazioni (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) (updated April 20th, 2010!)

Prolog ed AI:

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

Esercizi:

1. Prolog e SLD
2. Esercitazione sui vincoli ed esercizi vari
3. Esercizi su giochi e strategie di ricerca
4. Alcuni esercizi sui Meta-interpreti in Prolog
5. Esempio Compito
6. Logica e SLD

1. Esercitazione su Prolog e Sistemi Esperti
2. Compilatori in Prolog
3. Grammatiche in Prolog