Programma del corso

Obiettivi

• Riprendere i metodi alla base della progettazione di sistemi di Intelligenza Artificiale e vederne l'applicazione (con particolare riferimento a sistemi basati sulla conoscenza). Discutere l'applicazione di tecniche di Intelligenza Artificiale al "mondo reale" con particolare enfasi al campo applicativo dei Sistemi Esperti. Introdurre alcuni tool per lo sviluppo di sistemi basati sulla conoscenza. Introdurre tecniche induttive (apprendimento automatico) e di programmazione logica a vincoli e relativi sistemi.

Programma

1. La pianificazione automatica (a cura della Prof. E. Lamma)
   • Pianificazione come deduzione
   • Pianificazione come ricerca nello spazio degli stati
   • Pianificazione come ricerca nello spazio dei piani
     
2. Sistemi basati sulla conoscenza (a cura della Prof. E. Lamma)
   • Come si sviluppa un Sistema Basato sulla Conoscenza
   • Ambienti software per lo sviluppo di Sistemi Esperti
   • Applicazioni (diagnosi, validazione, etc.)
3. Ragionamento induttivo e tecniche di apprendimento automatico (a cura dell'Ing. F. Riguzzi)
   • Apprendimento di concetti e ordinamento da generale a specifico
   • Apprendimento di alberi di decisione
   • Apprendimento Bayesiano
   • Apprendimento basato sulle istanze
   • Apprendimento di insiemi di regole proposizionali
   • Apprendimento di regole del primo ordine
4. Programmazione logica a vincoli (a cura dell'Ing. M. Gavanelli)
   • Applicazioni
   • Integrazione con tecniche di Ricerca Operativa