programmaSBC

Corso di Sistemi basati su conoscenza
a.a. 2007-2008
Prof.ssa M.T. Pazienza
Programma
1. Introduzione. Basi di conoscenza e ragionamento logico.
2. Risoluzione automatica di problemi. Spazio degli stati e operatori. Algoritmi di ricerca:
in ampiezza, a costo uniforme, in profondità. Euristiche. Funzioni di valutazione.
3. Rappresentazione della Conoscenza e Reasoning: Agenti che ragionano logicamente.
La logica proposizionale. Logica dei predicati. Inferenza.
4. Costruzione di basi di conoscenza: Organizzazione della conoscenza. Ontologie.
Ontologie e lessici. Sistemi a frame e reti semantiche. RDF. OWL. Semantic Web.
Esercitazioni su:
a. Linguaggi: Linguaggi dichiarativi. Programmazione logica. Prolog.
b. Sistemi basati su conoscenza. Analisi, rappresentazione, gestione.
c. PROTEGE. Sistema per la gestione di ontologie.
Libro di testo
1. S. J. Russell, P. Norvig: Intelligenza Artificiale: un approccio moderno, vol 1, PrenticeHall, 2005. (Capitoli 1,2,3,4,7,8,10,) ISBN 88-7192-228-X
Libro di consultazione
a. Lee W. Lacy: OWL: Representing Information using the Web Ontology Language,
Trafford Publishing, UK, 2005. ISBN 141203448-5
Documentazione indicata dal docente ed accessibile su rete (dettagli sul syllabus).
Gli appunti del docente non devono essere considerati sostitutivi dei libri di testo.
Prerequisiti
Si ricorda che sono da considerarsi fondamentali (e propedeutiche per le tematiche del corso di
Sistemi basati su conoscenza) almeno le competenze acquisiste nei seguenti corsi:
 Fondamenti di Informatica 1, 2
 Algoritmi e strutture dati
 Elementi di algebra e logica
 Basi di dati