I lucidi del corso sono disponibili in formato pdf. Per
leggerli è necessario utilizzare Acrobat
Reader
.
Parte delle slides sono ispirate o parzialmente tratte dai testi:
S. Russell e P. Norvig, "Intelligenza artificiale. Un
approccio moderno", volume 1, Pearson Education--Prentice Hall,
Ultime edizioni, Italia.
L.Console, E.Lamma, P.Mello, M. Milano: “Programmazione Logica e
Prolog”, UTET, Seconda Edizione 1997.
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
- Introduzione al Prolog
- Aritmetica e Ricorsione
- Liste
- Cut
- La Negazione
- Alcuni metapredicati
- Meta-interpreti
- Vincoli in Prolog
Attività integrative di laboratorio (4 crediti), eventuali approfondimenti, e/o tesi:
- Temporaneamente si vedano i lucidi e le proposte (non ancora aggiornate) qua.
- Si veda anche la pagina dedicata ai Progetti
NAO Robot
Esercizi
Lucidi extra per eventuali approfondimenti