Expert Systems (2004/2005)

Course partially running

Course code
4S00055
Name of lecturer
Matteo Cristani
Number of ECTS credits allocated
5
Other available courses
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
Second four-month term dal Jan 10, 2005 al Mar 11, 2005.
Web page
http://www.sci.univr.it/~cristani/

Lesson timetable

Second four-month term
Day Time Type Place Note
Monday 9:30 AM - 11:30 AM lesson Lecture Hall C  
Tuesday 2:30 PM - 4:30 PM lesson Lecture Hall C  
Wednesday 12:30 PM - 1:30 PM lesson Lecture Hall C  

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.

Syllabus

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.

Reference books
Author Title Publisher Year ISBN Note
J. D. Ullman Principles of Database and Knowledge-base Systems Computer Science Press   Testo introduttivo alle problematiche di basi di dati e di conoscenza.
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 Testo sulle logiche descrittive e sulle ontologie

Assessment methods and criteria

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.

Teaching aids

Documents