Fondamenti di Intelligenza Artificiale L-S

Anno Accademico 2004-2005

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

  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:

Sono disponibili, sempre per chi fosse interessato, anche dei lucidi sulle 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
  2. Mondo a blocchi in Prolog

 

Lucidi Esercitazioni

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

 

Lucidi Seminari

  1. Seminario "Sistemi intelligenti basati su metafora naturale"