Università degli Studi di Milano
Laurea Triennale in Informatica, A.A. 2015-2016
Intelligenza Artificiale
NOTA per gli studenti della laurea magistrale iscritti in a.a. precedenti il 14/15. Il corso di Intelligenza Artificiale e Laboratorio (che
negli a.a. precedenti il 14/15 era in cascata a Intelligenza Artificiale 1 e ne condivideva la pagina) è
disattivato. A partire dall'a.a. 14/15 per la magistrale è attivo il corso di Intelligenza Artificiale per i Videogiochi, che si tiene nel secondo semestre (sito su ARIEL).
NOTA per gli studenti della laurea triennale dello scorso a.a. Gli avvisi relativi alla sessione di settembre sono pubblicati qui [data ultimo avviso: 18 settembre], assieme agli avvisi per il nuovo a.a.
Docente:
Mario Ornaghi , DI, Università di Milano
ornaghi@di.unimi.it
Link
- Pagina Web del corso, anno accademico 2014/2015
- Pagina Web del corso, anno accademico 2013/2014
- Pagina Web del corso, anno accademico 2012/2013
- Pagina Web del corso, anno accademico 2011/2012
- Pagina Web del corso, anno accademico 2010/2011
- Pagina Web del corso, anno accademico 2009/2010
- Pagina Web del corso, anno accademico 2008/2009
- Pagina Web del corso, anno accademico 2007/2008
- Pagina Web del corso, anno accademico 2006/2007
- Pagina Web del corso, anno accademico 2005/2006: mag.di.unimi.it/aiclass1/
- Pagina Web del corso, anno accademico 2004/2005: mag.di.unimi.it/aiclass/aa0405
- Pagina Web del corso, anno accademico 2003/2004: mag.di.unimi.it/aiclass/aa0304
- Pagina Web del corso, anno accademico 2002/2003: mag.di.unimi.it/aiclass/aa0203
- Pagina Web del gruppo di ricerca: mag.di.unimi.it/
- Pagina generale dei corsi di Intelligenza Artificiale e Laboratorio
Orario (potrà subire modifiche concordate nella prima lezione)
- Martedì, ore 13.30 - 15.30, aula beta
- Mercoledì, ore 13.30 - 15.30, aula alfa; spostata in aula 309 a partire da mercoledì 14/10.
Nei giorni di laboratorio la durata sarà di 3 ore, con termine alle 16.30.
- Venerdì 2 ottobre ore 13.30 - 15.30, aula delta
Ricevimento studenti:
- Su appuntamento oppure il venerdì dalle 10.30 alle 12.30
Libri di testo:
-
Dispense: verranno pubblicate man mano qui.
- Articoli:
- Verranno usate sezioni dei libri di testo:
Software
Scarica l'interprete SWI Prolog SWI
Torna alla pagina iniziale
Esame
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).
Calendario e prove in itinere
- Inizio: 29 settembre 2015
- Fine presunta corso: 15 gennaio 2016 (data provvisoria)
- Prima prova: 11 dicembre 2015 (data provvisoria)
- Seconda prova: 18 gennaio 2015 (data provvisoria)
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.
Torna alla pagina iniziale
Lezioni e altre presentazioni
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
-
Data avviso: 12/2. Pubblicata una nuova versione della libreria didattica lib con alcuni miglioramenti, DA USARE nel progetto. Contiene anche le istruzioni di utilizzo per coloro la cui installazione di SWI non usa in modo corretto le library utente.
-
Data avviso: 26/1. Pubblicati i risultati finali delle prove in itinere. Pubblicata una nuova versione della bozza del progetto di tipo C, meglio documentata e con l'aggiunta di una piccola interfaccia utente.
-
Data avviso: 18/1. Mercoledì 20 ci sarà l'ultima lezione di laboratorio dedicata alla presentazione dei progetti, in particolare quello di tipo C.
-
Data avviso: 16/1. Pubblicata una seconda versione della bozza del progetto di tipo 2. Contiene anche i modelli dell'agente aspirapolvere e della versione parallela delle scimmie e banane e una versione aggiornata del modulo action.pl (con un action_help) e del type-checker.
-
Data avviso: 14/1. La seconda prova in itinere è fissata per martedì 19 gennaio alle ore 14 in aula beta.
Il laboratorio di mercoledì 20 gennaio sarà dedicato alla presentazione del progetto-tipo C.
-
Data avviso: 22/12. Pubblicati i risultati della prima prova in itinere. Pubblicate le slides delle lezioni di questa settimana e di preparazione alla seconda prova per la parte di domande. La lezione di martedì 12 gennaio 2016 sarà dedicata alla preparazione della parte di esercizi della seconda prova. Le lezioni successive saranno dedicate alla preparazione dei progetti.
-
Data avviso: 17/12. La lezione del giorno 16/12, non tenutasi per la non disponibilità dell'aula, sarà recuperata il giorno 21/12 dalle 13.30 alle 15.30 in aula 204 presso il settore didattico di via Celoria.
-
Data avviso: 9/12. Pubblicato il materiale delle ultime lezioni e una bozza relativa al progetto di sistema esperto con diagnosi. Spiegazioni in aula.
-
Data avviso: 27/11. Pubblicato il materiale delle ultime lezioni e una cartella strumenti.zip con
codice utile per i progetti. La prima prova in itinere si terrà il giorno 11 dicembre alle ore 15.30 in aula beta.
-
Data avviso: 19/11. Due avvisi.
- Pubblicate nella directory lez_11_17e18ematerialeXcompitino le soluzioni degli esercizi del laboratorio del 18/11, con l'aggiunta
di nuovi esercizi non risolti di preparazione alla prima prova in itinere. Altro materiale di preparazione sarà caricato in questa directory.
- Il giorno 25/11 la lezione si svolgerà in aula alfa (Via Comelico) e non in 309.
-
Data avviso: 16/11. Pubblicato il materiale per la lezione di domani.
Domani e dopo si raccoglieranno in aula le iscrizioni alla prima prova in itinere.
-
Data avviso: 27/10. Pubblicato il materiale per la lezione di oggi.
-
Data avviso: 22/10. Pubblicato il materiale per gli esercizi in LAB_10_21. Scompattare LAB.zip.
Vi è una nuova versione del type checker. In lez_10_20e21 trovate una errata corrige della dispensa.
La parte della dispensa sull'algoritmo top-down sarà trattata nella parte iniziale della prossima lezione.
-
Data avviso: 21/10. Pubblicato il type_checker per datalog nella cartella LAB_10_21. Per usarlo, scompattare e leggere il README.
-
Data avviso: 20/10. Pubblicato un primo materiale per le lezioni di questa settimana.
Si ricorda che il martedì è la lezione è in aula beta e che il mercoledì è in aula 309. Domani si svolgerà un laboratorio, per cui la durata sarà di 3 ore, dalle 13.30 alle 16.30.
-
Data avviso: 15/10. Pubblicate slide e materiale del laboratorio del 14/10,
inclusi alcuni esercizi specificati nei commenti dei progammi prolog che trovate nella directory
LAB_14_10.
-
Data avviso: 14/10. La lezione di oggi si svolgerà in aula 309 (Via Celoria). Per l'accesso è necessario creare un account, semplicemente registrandosi ad uno dei terminali appositi che si trovano nelle aule 309 e 311, usando i dati che avete per l'account email di unimi. Per evitare perdite di tempo a lezione siete pregati di creare il vostro account in mattinata oppure alle 13.15 in aula 309.
-
Data avviso: 9/10. Pubblicato ieri nuovo materiale. La lezione di martedì 13/10 si terrà in aula beta, come previsto, mentre la lezione mercoledì 14 sarà in aula 309, settore didattico di Via Celoria.
-
Data avviso: 1/10. La lezione di domani 2 ottobre si svolgerà in aula delta dalle 13.30 alle 15.30.
Dalla settimana successiva le lezioni saranno martedì e mercoledì dalle 13.30 alle 15.30 (vedi l'orario).
Trovate la prima dispensa qui.
-
Data avviso: 18/9. Appello del 21 settembre. Gli studenti iscritti che non mi hanno ancora contattato si presentino il 21 alle 14.30 nel mio studio o mi contattino via email. Si ricorda che l'esame richiede la presentazione di un progetto preliminarmente concordato e che chi non ha superato i compitini deve sostenere un orale.
-
Data avviso: 14/9. Il corso inizierà martedì 29 settembre alle ore 13.45 in aula delta. Si consiglia la presenza nella prima lezione in quanto verranno concordate eventuali modifiche di orario, in base alle esigenze dei frequentanti.
Torna alla pagina iniziale
Obiettivi
Fornire le basi dell'approccio logico all'intelligenza artificiale.
Le applicazioni studiate sono principalmente rivolte alla progettazione di agenti autonomi.
Programma
-
Agenti autonomi ("intelligenti") e sistemi per la
rappresentazione e il ragionamento (RRS).
-
Rappresentazione della conoscenza a livello proposizionale e predicativo.
Conoscenza definita, negativa, disgiuntiva, vincoli di integrità.
-
Sistemi: DLV e Prolog tipizzato.
- Algoritmi e strategie di ricerca.
- Rappresentazione delle azioni e del cambiamento. Cenni sulla pianificazione.
-
Forme di ragionamento basato su assunzioni - cenni.
-
Apprendimento automatico - cenni.
Torna alla pagina iniziale