 lun 10 ott 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. |
|
|
| mar 11 ott 2005 |
11:00–13:00 |
aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena |
Breve storia dell'intelligenza artificiale. |
|
|
| mar 11 ott 2005 |
14:00–16:00 |
aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena |
Introduzione al concetto di agente e sistema multiagente. |
|
|
| gio 13 ott 2005 |
14:00–16:00 |
aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena |
Infrastrutture e sistemi multiagente (parte I) |
|
|
| lun 17 ott 2005 |
14:00–16:00 |
aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena |
Infrastrutture e sistemi multiagente (parte II). |
|
|
| mar 18 ott 2005 |
14:00–16:00 |
aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena |
Discussione progetti. |
|
|
| lun 24 ott 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. |
|
|
| mar 25 ott 2005 |
14:00–16:00 |
laboratorio di base, via Venezia 52, Ingegneria II, Cesena |
Discussione progetti. |
|
|
| gio 27 ott 2005 |
14:00–16:00 |
aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena |
Programmare in Prolog. |
|
|
| mer 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. |
|
|
| gio 3 nov 2005 |
14:00–16:00 |
aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena |
tuProlog: teoria e uso. |
|
|
| lun 7 nov 2005 |
14:00–16:00 |
aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena |
Agenti intelligenti. |
|
|
| mar 8 nov 2005 |
14:00–16:00 |
aula 2, via Rasi Spinelli 176, Ingegneria II, Cesena |
Agenti e ragionamento deduttivo. |
|
|
| mar 8 nov 2005 |
16:00–18:00 |
laboratorio di base, via Venezia 52, Ingegneria II, Cesena |
Discussione progetti. |
|
|
| mer 9 nov 2005 |
11:00–13:00 |
aula V, via Venezia 52, Ingegneria II, Cesena |
Agenti e ragionamento pratico. Architetture simboliche, reattive e ibride. |
|
|
| lun 14 nov 2005 |
14:00–18:00 |
aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena |
Framing coordination. |
|
|
| gio 17 nov 2005 |
14:00–16:00 |
aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena |
Tuple-based coordination. I |
|
|
| lun 21 nov 2005 |
14:00–18:00 |
aula 4, via Rasi Spinelli 176, Ingegneria II, Cesena |
Seminario: linguaggi a vincoli. |
|
|
| mar 22 nov 2005 |
14:00–16:00 |
laboratorio di base, via Venezia 52, Ingegneria II, Cesena |
Tuple-based coordination. II |
|
|
| gio 24 nov 2005 |
14:00–16:00 |
aula 1, via Rasi Spinelli 176, Ingegneria II, Cesena |
Discussione progetti. |
|
|
| mar 29 nov 2005 |
14:00–18:00 |
laboratorio di base, via Venezia 52, Ingegneria II, Cesena |
Prova preliminare. Preparazione discussione finale. |
|
|
| gio 1 dic 2005 |
14:00–16:00 |
studio 7, via Venezia 52, DEIS, Cesena |
Discussione individuale progetti. |
|
|
