Rappresentazione della conoscenza

Umberto Straccia    Tel. : +39.050.315 2894

Modulo A La Rappresentazione della Conoscenza: Fondamenti

- Introduzione alla Rappresentazione della Conoscenza - Dalla Logica Proposizionale alla Logica del Prim'Ordine. Cenni su Logiche Non-Monotone, Abduzione e Induzione - La Programmazione Logica: teoria, sistemi, applicazioni. - Le Logiche Descrittive: : teoria, sistemi, applicazioni. - La Rappresentazione dell'Incertezza e della Vaghezza. Negli argomenti, si affronteranno la teoria, i sistemi, e le applicazioni con esercitazione.

Testi d'esame

• Lucidi in formato PDF

Modulo B Il Web Semantico: Fondamenti

- Introduzione al Web Semantico - Ontologie: principi - Linguaggi per la Rappresentazione di Ontologie Negli argomenti, si affronteranno la teoria, i sistemi, e le applicazioni con esercitazione.

Testi d'esame

• Lucidi in formato PDF

- Compitini durante il corso, oppure - Esame finale durante gli appelli (puo' essere anche progetto a gruppi di studenti o singolo studente)
Non frequentanti: Il material di esame consiste nel material esposto nei lucidi in formato PDF che saranno accessibile dalla mia Home Page