Docente: Alessandro Provetti
Orario delle Lezioni
Martedì e giovedì 14-16, auletta del blocco di Fisica Teorica, Polo di Scienze di Papardo.
Prima lezione: martedì 14 ottobre 2008.
Ultima lezione: giovedì 29 gennaio 2009.
Modalità d'esame
Per i frequentanti l'esame si svolge a progetto, da concordarsi col docente.
| Lez. | Data | Argomenti | Extra |
|---|---|---|---|
| 16 | 24 Aprile 2008 | ||
| 15 | 23 Aprile 2008 | ||
| 14 | 22 Aprile 2008 | ||
| 13 | 17 Aprile 2008 | Ancora sulla logica proposizionale. Datalog ed algoritmi di deduzione | |
| 12 | 16 Aprile 2008 | La libreria CSPlib; introduzione alla Logica proposizionale | Cap. 5 |
| 11 | 15 Aprile 2008 | Reti di vincoli; esempi di CSP al computer; Intro al Cap. 5 | |
| 10 | 10 Aprile 2008 | TBA | |
| 9 | 9 Aprile 2008 | Il problema CSP; nozioni di soddisfacimento e d'implicazione; esempi di scheduling | |
| 8 | 8 Aprile 2008 | Dal grafo agli stati; stato e feature; mondi possibili; vincoli | Sez. 4.1 e ss. |
| 7 | 19 Marzo 2008 | Ricerca euristica; Algoritmo A star | Sez. 3.5 |
| 6 | 13 Marzo 2008 | Ricerca euristica; Algoritmo A star | Sez. 3.5 |
| 5 | 12 Marzo 2008 | Reattività e memoria; intro. ai problemi di ricerca; frontiera | Sez. 3.4 |
| 4 | 11 Marzo 2008 | Ancora sulle M. a stati finiti; modelli d'interazione | Sez. 1.1, 2.1 e 2.2 di Aho et al. |
| 3 | 6 Marzo 2008 | Archittetture d'agenti; multilayer; stimolo vs.percezione; macchine a stati finiti | Cap. 2, fino a pag.40 |
| 2 | 5 Marzo 2008 | Esempio: gli scacchi; complessità computazionale/euristica e c. epistemolgica; alberi di decisione; funzioni d'utilità | |
| 1 | 14 Ottobre 2008 | Introduzione generale; agenti; mimesi vs replica | Cap. 1 |