Docente: Mario Ornaghi , DI, Università di Milano ornaghi@di.unimi.it
LinkRicevimento studenti:
Libri di testo:
Software
Scarica l'interprete SWI Prolog SWI
L'esame consisterà in due prove in itinere e un piccolo progetto finale concordato
con il docente, da svolgere alla fine del corso.
Il carico di lavoro complessivo sarà programmato in modo che lo
svolgimento del progetto rientri nelle 102 ore di preparazione individuale
(si ricorda che 1 CFU equivale a 25 ore di lavoro, di cui 8 di lezione
frontale e 17 di studio individuale).
NB: Le ultime lezioni di dicembre sarnno dedicate alla presentazione delle
tracce di progetto. L'esame orale consisterà nella presentazione del progetto e la
data dell'orale sarà concordata con il docente. Fornire le basi dell'approccio logico all'intelligenza artificiale.
Le applicazioni studiate sono principalmente rivolte alla progettazione di agenti autonomi.
Esame
Calendario e prove in itinere
Lezioni e altre presentazioni
Avvisi in ordine cronologico inverso
Pubblicate (guida_progetti.zip) linee guida più dettagliate per i progetti e bozze di progetti tipo che possono essere usate come base per il progetto da consegnare.
Coloro che devono recuperare la parte di esercizi della prima prova possono farlo il 17 gennaio in coda alla seconda prova o in sede di esame orale. L'orale si tiene su appuntamento e consiste nella discussione del progetto e, solo per coloro che non hanno superato le prove in itinere o devono recuperare parti di esse, in un orale + eventuali esercizi.
Sono state pubblicate le soluzioni degli esercizi Prolog della prima prova. Alla fine della lezione del 10 gennaio verranno discusse in aula e sarà possibile prendere visione dei compitini.
La lezione di martedì 10 gennaio avrà inizio alle 13 in aula delta.
In tempi brevi verrà pubblicata una guida allo svolgimento dell'esercizio iniziato nella lezione del 21/12, relativamente alla scelta della strategia e dell'euristica (procedendo con forza bruta non si ottiene la soluzione del problema delle due scimmie, due sedie e due banane).
Le lezioni del 21/12/2016, 10/1/2017 e 11/1/2017 saranno dedicate ai tre progetti-tipo e alle librerie da utilizzare in essi.
Come concordato la prima prova sarà il 14 dicembre con inizio alle ore 14.30, in aula delta.
In prima_prova.zip trovate il programma dettagliato relativo alla prima prova in itinere (data prevista: il 13 dicembre). Si consiglia vivamente di leggerlo prima della lezione di martedì 22/11; parte della lezione verrà dedicata a chiarimenti e spiegazioni.
Pubblicata una integrazione al laboratorio del 26/10, comprendente le soluzioni viste a lezione e spiegazioni e suggerimenti per gli esercizi dati per la prossima lezione di laboratorio. Le lezioni del 2 e 8 novembre e il laboratorio del 9 novembre concluderanno la parte sulla programmazione in Prolog e si discuteranno alcuni esercizi di preparazione per la prima prova in itinere.
Breve programma del corso
Obiettivi