Fondamenti di Intelligenza Aritificiale L-S
A.A. 2005-2006

Lucidi del Corso

1. Introduzione al corso
2. Introduzione all'Intelligenza Artificiale - Esempio sulle basi di conoscenza
3. Rappresentazione di un problema nello spazio degli stati
4. Strategie di Ricerca non informate
5. Strategie di Ricerca informate
6. 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
13. Il concetto di oggetto in Intelligenza Artificiale
14. 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:

• Ontologie

Lucidi su Prolog

1. Introduzione al Prolog
2. Aritmetica e Ricorsione
3. Liste
4. Cut
5. La Negazione
6. Alcuni metapredicati

Prolog ed AI:

1. Vincoli in Prolog

Lucidi Esercitazioni:

1. Esercitazione di laboratiorio sulle strategie di ricerca
2. Esercitazione su logica, SLD, e su SLDNF
3. Esercitazione sulle strategie di ricerca e sui giochi
4. Esercizi su Prolog
5. Esercitazione sui vincoli ed esercizi vari

Lucidi Seminari: