OBIETTIVI FORMATIVI

Il corso si propone di introdurre alla rappresentazione della conoscenza ed alle tecniche di sviluppo di Sistemi Intelligenti,

in particolare di Sistemi Intelligenti sul Web.

MODALITA' FORMATIVE

32 ore di corso teorico e 12 ore di laboratorio di progettazione di Sistemi Esperti.

PROGRAMMA DEL CORSO

Modulo 1: Conoscenze su oggetti e loro rappresentazione

Teoria generale della conoscenza;

Reti semantiche;

Logiche descrittive;

Logiche modali per la rappresentazione della conoscenza.

Modulo 2: Conoscenze relazionali

Algebre di relazioni;

Reti di vincoli;

Rappresentazione della conoscenza temporale;

Rappresentazione della conoscenza spaziale.

Modulo 3: Linguaggi dell'Intelligenza Artificiale: il LISP

Generalità sul LISP;

Laboratorio di LISP.

Modulo 4: Ontologie formali

Introduzione alle Ontologie Formali;

Ontologie formali e rappresentazione della conoscenza.

Modulo 5: Web Semantico

Rappresentazione della conoscenza sul web;

DAML+OIL e XML.

Modulo 6: Sistemi esperti nella pratica

Sistemi esperti in ambiente bancario;

Sistemi esperti e Web;

Sistemi esperti in automazione industriale;

Sistemi esperti e medicina.

Modulo 7: Rappresentazione dell'incertezza

Logiche nonclassiche per la rappresentazione della conoscenza;

Revisione dei beliefs.