Sistemi esperti (2007/2008)

Corso a esaurimento

Codice insegnamento
4S00055
Docente
Matteo Cristani
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
1° Q dal 3-ott-2007 al 4-dic-2007.

Orario lezioni

Obiettivi formativi

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.

Programma

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. La famiglia AL
1. Concetti
2. Ruoli e attributi
3. Restrizioni
4. Sintassi e semantica di ALC
5. Sintassi e semantica di ALCQIreg
6. SHF
7. SHIQ
5. Il sistema FaCT
1. L'implementazione di SHF
2. L'implementazione di SHIQ
6. Ontologie formali
1. Top-Level Ontologies
2. Ontologie di Dominio
3. Ontologie Dedicate ad un Compito

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

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider The Description Logic Handbook Theory, Implementation and Applications (Edizione 1) Cambridge University Press 2003 0521781760

Modalità d'esame

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.


Registrazione: a ogni sessione d'esame ci saranno due date: una per lo scritto ed una per registrare il voto. Per chi sostiene l'esame e lo registra nella stessa sessione, è sufficiente iscriversi alla prima. Iscriversi alla seconda data è necessario per chi ha sostenuto l'esame in una sessione precedente, ma non lo ha registrato.

Esame regolare:
Si basa su una prova scritta che determina il voto d'esame.

Condividi