Corso di Sistemi basati su conoscenza
a.a. 2004-2005
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. Un agente per il mondo del
Wumpus
4. Costruzione di basi di conoscenza: Proprietà. Organizzazione della conoscenza.
Ontologie. Ontologie e lessici. Sistemi a frame e reti semantiche. RDF. OWL.
Introduzione al Semantic Web.
Esercitazioni su:
a. Linguaggi per l'Intelligenza Artificiale. Linguaggi dichiarativi. Programmazione
logica. Prolog.
b. Il linguaggio Prolog. Rappresentazione della conoscenza.
c. Sistemi basati su conoscenza. Analisi, rappresentazione, gestione.
d. 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
Documentazione indicata dal docente ed accessibile su rete (dettagli sul syllabus)
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
Modalità di svolgimento delle prove d’esame
Durante il corso sono previste 3 prove di autovalutazione, ciascuna volta verrà simulata una
prova sugli argomenti del corso svolti fino ad allora; lo studente potrà cimentarsi a risolvere a
casa i quesiti proposti. Nella lezione successiva (quella nel Syllabus indicata come prova di
autovalutazione) tutti i quesiti verranno svolti dal docente in classe e commentati con gli studenti
che potranno eventualmente proporre ed analizzare soluzioni alternative.
Ciascuna prova d’esame comprenderà quesiti/problemi/domande del genere di quelli svolti
durante le sessioni di autovalutazione.
