Università degli Studi di Milano
Laurea Triennale in Informatica, A.A. 2017-2018

Indice

• Informazioni generali
• Modalità d'esame e calendario
• Lezioni e presentazioni
• Avvisi
  Pubblicati risultati finali compitini.
• Programma in breve

Informazioni generali

Docente: Mario Ornaghi , DI, Università di Milano ornaghi@di.unimi.it

• Pagina Web del corso, anno accademico 2016/2017
• Pagina Web del corso, anno accademico 2015/2016
• 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

Orario

• Martedì, ore 13.30 - 15.30, aula beta
• Mercoledì, ore 14.30 - 16.30, aula delta;
  nei giorni di laboratorio la lezione sarà di 3 ore

Ricevimento studenti:

• Su appuntamento oppure il venerdì dalle 10.30 alle 12.30

Libri di testo:

• Dispense: verranno pubblicate man mano qui.
• Articoli:
  • Some Philosophical Problems from the Standpoint of Artificial Intelligence, John McCarthy and Patrick J. Hayes, 1969
• Verranno usate sezioni dei libri di testo:
  • Poole, Mackworth and Goebel, Computational Intelligence - a logical approach. Apprendimento interattivo argomenti trattati nel testo Computational Intelligence
  • Stuart J. Russell, Peter Norvig, "Intelligenza artificiale. Un approccio moderno", Pearson Italia S.p.a., 2005. Vedi anche il sito AIMA

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: 3 ottobre 2017
• Fine corso: 17 gennaio 2017
• Prima prova: 12 dicembre 2017
• Seconda prova: 25 gennaio 2018

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 

• Lezioni da scaricare

Torna alla pagina iniziale

Avvisi in ordine cronologico inverso

• Data avviso: 14/2.
  Pubblicati i risultati finali.
• Data avviso: 22/1.
  Pubblicati altri esercizi di preparazione alla prova del 25.
• Data avviso: 16/1.
  La seconda prova in itinere si svolgerà il 25 gennaio in aula beta alle 14.30.
  Pubblicate le slides di preparazione alla seconda prova e una nuova versione di "SnippetProgetti".
• Data avviso: 14/1.
  Come concordato in aula, la seconda prova in itinere si svolgerà il 25 gennaio nel pomeriggio, in aula e ora da stabilire. Martedì 16 la lezione sarà dedicata alla preparzione alla prova in itinere.
• Data avviso: 7/1.
  Pubblicati i risultati della prima prova (file primaprova.pdf). L'orario della lezione del 9/1 potrebbe subire modifiche, controllare il giorno 8 primo pomeriggio.
• Data avviso: 7/12.
  La prova in itinere del 12/12 avrà si terrà in aula beta con inizio alle ore 12.30 e termine alle 15.30.
  La lezione del 13/12 è sospesa.
  Pubblicate la Lezione 15 e la dispensa con una nuova versione della appendice di preparazione al compitino contenete lo svolgimento degli esercizi tipo e altri 2 esercizi.
• Data avviso: 24/11. In Lab22_11_post_lab.zip trovate lo svolgimento degli esercizi fatto nel laboratorio del 22 e nuovi esercizi utili.
• Data avviso: 23/11. Pubblicata una nuova versione della dispensa, con appendice di preparazione alla prima prova in itinere, che si terrà il 12 dicembre in aula beta dalle 13.30 alle 16.30.
• Data avviso: 8/11. Pubblicata nuova versione della dispensa.
• Data avviso: 7/11. La lezione di domani, mercoledì 8/11, avrà inizio alle ore 15.30 precise in aula alfa.
• Data avviso: 30/10. Pubblicata una versione aggiornata degli appunti, con aggiunte riguardanti le ultime lezioni e la lezione del 31/10.
• Data avviso: 19/10. Pubblicata una soluzione completa dell'Esercizio "impianto elettrico" e versioni aggiornate di nat.pl e alb.pl.
• Data avviso: 19/9. Il corso inizierà martedì 3 ottobre alle ore 13.45 in aula beta. 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

Breve programma del corso

Fornire le basi dell'approccio logico all'intelligenza artificiale. Le applicazioni studiate sono principalmente rivolte alla progettazione di agenti autonomi.

• 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: 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