Fondamenti di Intelligenza Artificiale M
A.A. 2015-2016

Lucidi del Corso

• 01. Introduzione al corso
• 02. Introduzione all'Intelligenza Artificiale - Sistemi basati sulla conoscenza
• 03. Soluzione di problemi come ricerca nello spazio degli stati
• 04. Strategie di Ricerca non informate
• 05. Strategie di Ricerca informate
• 06a. Problemi di soddisfacimento di vincoli
• 06b. Map coloring
• 07. Giochi
• 08. Introduzione alla Logica
• 09. Inferenza e Logica Proposizionale
• 10. Inferenza e Logica dei Predicati
• 11. Esempi sulla Logica
• 12. Rappresentazione della conoscenza
• 13. Planning

Lucidi su Prolog

1. Introduzione al Prolog
2. Aritmetica e Ricorsione
3. Liste
4. Cut
5. La Negazione
6. Alcuni metapredicati
7. Meta-interpreti
8. Vincoli in Prolog

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

1. Temporaneamente si vedano i lucidi e le proposte (non ancora aggiornate) qua.
2. Si veda anche la pagina dedicata ai Progetti

 

Esercizi

1. Esercizi su strategie e giochi
2. Esercizi sulla logica
3. Esercizi su Prolog e SLD
4. Esercizi vari
5. Esercizi sui vincoli

Lucidi extra per eventuali approfondimenti

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