 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. |
|
|
