Lucidi
I lucidi del corso sono disponibili in formato pdf. Per leggerli è necessario utilizzare Acrobat Reader
NOTA: Tutti i link vanno salvati come file non aperti direttamente
Lucidi del Corso
- Introduzione al corso
- Introduzione all'Intelligenza Artificiale - Esempio sulle basi di conoscenza
- Rappresentazione di un problema nello spazio degli stati
- Strategie di Ricerca non informate
- Strategie di Ricerca informate
- Vincoli - Map coloring
- Giochi
- Introduzione alla Logica
- Inferenza e Logica Proposizionale
- Inferenza e Logica dei Predicati
- Esempi sulla Logica
- Rappresentazione della conoscenza
- Il concetto di oggetto in Intelligenza Artificiale
- Conclusioni
Per chi fosse interessato, è disponibile anche del materiale sui Sistemi Esperti, in particolare:
- Alcuni lucidi della prof. Mello
- Il software KappaPC, scaricabile alla pagina del software del corso
- Materiale vario disponibile nel sito del corso relativo all'anno accademico 2002-2003.
Sono disponibili, sempre per chi fosse interessato, anche dei lucidi sulle ontologie:
Lucidi su Prolog
Prolog ed AI
Lucidi Esercitazioni
- Esercitazione di laboratiorio sulle strategie di ricerca
- Esercitazione sulle strategie di ricerca e sui giochi
- Esercitazione su logica, SLD, e su SLDNF
- Esercizi su Prolog
- Esercitazione sui vincoli
Lucidi Seminari
- Seminario "Sistemi intelligenti basati su metafora naturale"
- Introduction 1 slide per page, 4 slides per page
- Evolutionary Computation 1 slide per page, 4 slides per page
- Swarm Intelligence 1 slide per page, 4 slides per page
- Appendix 1 slide per page, 4 slides per page
- Metaheuristics 1 slide per page, 4 slides per page
Alcuni articoli di interesse:
- A Genetic Programming Tutorial, by Koza and Poli
- Genetic Algorithms, by Holland
- Ant Colony Optimization, by Roli
- Swarm Smarts, by Bonabeau and Theraulaz