RAPPRESENTAZIONE DELLA CONOSCENZA (crediti 5)

Docente Daniele Nardi

Obiettivi del corso e capacità acquisite dallo studente

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:

Programma di Intelligenza Artificiale

Programma

Rappresentazione della conoscenza

Logiche descrittive e sistemi basati sulla conoscenza

Rappresentazione della conoscenza nei sistemi dinamici

Sistemi multi agente

Testi di riferimento

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/