Sistemi intelligenti distribuiti LS 2005/2006
 Mon 10 Oct 2005 |
14:00–18:00 | aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena | Introduzione al corso. Modalità d'esame. Introduzione ai sistemi intelligenti distribuiti. | ||
| Tue 11 Oct 2005 |
11:00–13:00 | aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena | Breve storia dell'intelligenza artificiale. | ||
| Tue 11 Oct 2005 |
14:00–16:00 | aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena | Introduzione al concetto di agente e sistema multiagente. | ||
| Thu 13 Oct 2005 |
14:00–16:00 | aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena | Infrastrutture e sistemi multiagente (parte I) | ||
| Mon 17 Oct 2005 |
14:00–16:00 | aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena | Infrastrutture e sistemi multiagente (parte II). | ||
| Tue 18 Oct 2005 |
14:00–16:00 | aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena | Discussione progetti. | ||
| Mon 24 Oct 2005 |
14:00–16:00 | aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena | Prodromi di Prolog: logica proposizionale, logica dei predicati del prim'ordine, risoluzione SLD, regola di calcolo e strategia di ricerca, interpretazione procedurale e interpretazione dichiarativa, programmazione logica e Prolog. | ||
| Tue 25 Oct 2005 |
14:00–16:00 | laboratorio di base, via Venezia 52, Ingegneria II, Cesena | Discussione progetti. | ||
| Thu 27 Oct 2005 |
14:00–16:00 | aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena | Programmare in Prolog. | ||
| Wed 2 Nov 2005 |
11:00–13:00 | laboratorio di base, via Venezia 52, Ingegneria II, Cesena | Strutture dati Prolog, intrpretazione come DB. Controllo del backtracking, cut and fail. Negazione in Prolog. | ||
| Thu 3 Nov 2005 |
14:00–16:00 | aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena | tuProlog: teoria e uso. | ||
| Mon 7 Nov 2005 |
14:00–16:00 | aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena | Agenti intelligenti. | ||
| Tue 8 Nov 2005 |
14:00–16:00 | aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena | Agenti e ragionamento deduttivo. | ||
| Tue 8 Nov 2005 |
16:00–18:00 | laboratorio di base, via Venezia 52, Ingegneria II, Cesena | Discussione progetti. | ||
| Wed 9 Nov 2005 |
11:00–13:00 | aula V, via Venezia 52, Ingegneria II, Cesena | Agenti e ragionamento pratico. Architetture simboliche, reattive e ibride. | ||
| Mon 14 Nov 2005 |
14:00–18:00 | aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena | Framing coordination. | ||
| Thu 17 Nov 2005 |
14:00–16:00 | aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena | Tuple-based coordination. I | ||
| Mon 21 Nov 2005 |
14:00–18:00 | aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena | Seminario: linguaggi a vincoli. | ||
| Tue 22 Nov 2005 |
14:00–16:00 | laboratorio di base, via Venezia 52, Ingegneria II, Cesena | Tuple-based coordination. II | ||
| Thu 24 Nov 2005 |
14:00–16:00 | aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena | Discussione progetti. | ||
| Tue 29 Nov 2005 |
14:00–18:00 | laboratorio di base, via Venezia 52, Ingegneria II, Cesena | Prova preliminare. Preparazione discussione finale. | ||
| Thu 1 Dec 2005 |
14:00–16:00 | studio 7, via Venezia 52, DEIS, Cesena | Discussione individuale progetti. |
lectures / course pages
