Programma

Rappresentazione della conoscenza

• Tecniche di rappresentazione della conoscenza e ragionamento in logica del primo ordine
• Programmazione Logica
• Ragionamento non monotono e Meta Ragionamento

Logiche descrittive e sistemi basati sulla conoscenza

• Reti semantiche, frames e sistemi a regole di produzione
• Logiche descrittive: sintassi e semantica e deduzione
• Costruzione di sistemi basati sulla conoscenza in logiche descrittive

Rappresentazione della conoscenza nei sistemi dinamici

• Il calcolo delle situazioni
• GOLOG e la rappresentazione di piani
• Pianificazione delle azioni in un sistema dinamico

Sistemi multi agente

• Classificazione di sistemi multi agente
• Coordinamento
• Assegnazione di compiti e fusione di informazioni

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.