Lezioni

1. 15/1 Intro Sistemi basati sulla conoscenza - Sistemi formali 
2. 16/1 Risoluzione
3. 23/1 Rappresentazione della conoscenza tramite regole
4. 25/1 Controllo dell'inferenza e meta interpreti
5. 30/1 Ragionamento non monotono
6. 1/2 Ragionamento per default
7. 6/2  Reti semantiche, sistemi a frame e logiche descrittive
8. 8/2 Logiche descrittive: Basi di conoscenza
9. 13/2 Logiche descrittive: Ragionamento
10. 19/2 Calcolo delle situazioni: Rappresentazione delle azioni
11. 22/2 Calcolo delle situazioni: pianificazione deduttiva 
12. 26/2 Calcolo delle situazioni: GOLOG
13. 29/2 Sistemi multi agente
14. 4/3 Collaborazione nei sistemi multi agenti
15. 7/3 Raggiungimento dell'accordo nei sistemi multi agente

Ringraziamenti

Gli appunti delle lezioni sono stati realizzati utilizzando materiale didattico messo a disposizione dagli autori dei testi e delle dispense utilizzati nel corso.

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.