Expert Systems (2004/2005)

Learning outcomes

Il corso si propone di introdurre alle nozioni di Logica Descrittiva, delle Ontologie Formali e dei Vincoli, con specifica attenzione alle applicazioni di questi temi al Web Semantico ed alle Basi di Dati.

1. Richiami di Logica
1. Logica proposizionale
2. Logica del primo ordine
3. Deduzione nel calcolo proposizionale
4. Deduzione nel calcolo del primo ordine
2. Logiche descrittive
1. Logiche descrittive strutturali (FL-)
2. Logiche descrittive proposizionali
3. Basi di conoscenza
1. Rappresentazione di concetti
2. La relazione ISA
3. Attributi e vincoli
4. Due logiche terminologiche: SHF e SHIQ
1. Concetti
2. Ruoli e attributi
3. Restrizioni
4. Sintassi e semantica di SHF
5. Sintassi e semantica di SHIQ
5. Il sistema FaCT
6. Ontologie formali
1. Top-Level Ontologies
2. Ontologie di Dominio
3. Ontologie Dedicate ad un Compito
7. Vincoli relazionali
1. Vincoli binari numerici
2. Problemi di Elaborazione dei Vincoli
3. Vincoli non numerici


Il corso si sviluppa su 32 ore di lezione frontale e 12 di laboratorio.

Esame mediante prove parziali:
durante il corso si svolgono due prove:
C: compito in classe di due ore;
P: progetto di programmazione individuale da fare a casa o in laboratorio.
Il voto al primo appello d'esame, che segue la fine del corso, sulla base delle due prove, è dato da:
50% C + 50% P.
Queste prove valgono solo per il primo appello dopo la fine delle lezioni. Dopo tale appello le due prove durante il corso non valgono più nulla. Similmente chi sostiene l'esame regolare al primo appello perde il voto maturato con le due prove.
Esame regolare:
Si basa su una prova scritta che determina il voto d'esame.