Docenti:
Giorgio Delzanno - tel. 6638 - email: giorgio <at> disi.unige.it
Maurizio Martelli - tel. 6727 - email: martelli <at> disi.unige.it
Rappresentazione della Conoscenza, Ragionamento ed Apprendimento Automatico
Lo scopo del corso e' di approfondire ed ampliare gli aspetti di modellazione
della conoscenza e ragionamento
automatico visti nel primo corso di intelligenza artificiale (basato sulla sola
programmazione logica).
Utilizzando ancora linguaggi logici come supporto per la rappresentazione
della conoscenza, andremo ad
esplorare quali ulteriori (e forse piu naturali) linguaggi si possono
utilizzare per modellare svariati aspetti
della realta: dalla modellazione di sistemi informatici alla modellazione
del comportamento umano.
Per tali linguaggi studieremo inoltre le tecniche utilizzate per lo sviluppo di procedure di decisione e ragionatori.
Infine, come integrazione alla parte di modellazione e ragionamento, vedremo
un'altro aspetto
fondamentale dell'intelligenza artificiale: l'apprendimento automatico, cioe'
una serie di tecniche
che consentono ad una macchina di apprendere nuove informazioni.
Il corso verra' concluso da una parte di seminari di argomenti selezionati dagli studenti.
Pagine del corso anno x anno