RAPPRESENTAZIONE
DELLA CONOSCENZA (crediti 5)
Lo scopo del corso è di approfondire metodi e tecniche di rappresntazione della conoscenza e ragionamento automatico. In particolare verranno presentate le tecniche per la rappresentazione della conoscenza e per la ricerca automatica delle soluzioni, ed i linguaggi di programmazione logica e funzionale. Al termine del corso lo studente sarà in grado di usare le tecniche e gli strumenti acquisiti per la modellazione e soluzione di problemi.
Prerequisiti
E’ utile la conoscenza dei contenuti dei corsi di:
Linguaggi e Sistemi Formali
Algoritmi e Strutture Dati
Intelligenza Artificiale
Programma
Testi di riferimento
[BL] R. J. Brachman, H.J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.
[RN] P. Norvig, S.Russel, Intelligenza Artificiale, un approccio moderno, UTET-Libreria, 1998. (Artificial Intelligence A Modern Approach Second Edition, PrenticeHall Series in Artificial Intelligence, 2003.)
[AP] Luigia Carlucci Aiello, Fiora
Pirri. Linguaggi e sistemi formali,
Pearson Education Italia, 2005.
[DL] F. Baader, D. Calvanese, B. McGuinness, D. Nardi, P. Patel Scheider (Eds.), The Description Logic Handbook, Cambridge Univ. Press, 2003 (cap. 1,cap. 2,cap. 14).
[KA] R. Reiter, Knowledge in Action, Mit Press, 2001.
[LIA] D. Nardi, G. Grisetti, Linguaggi per l'Intelligenza Artificiale, Dispense per il corso di Intelligenza Artificiale 2003/2004.
URL del corso HTTP://www.dis.uniroma1.it/~nardi/Didattica/RC/