Università degli Studi di Milano
Laurea Triennale in Informatica, A.A. 2011-2012

Indice

• Informazioni generali
• Modalità d'esame e calendario
• Lezioni e presentazioni
• Avvisi
• Programma in breve

Informazioni generali

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

• 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.dsi.unimi.it/aiclass1/
• Pagina Web del corso, anno accademico 2004/2005: mag.dsi.unimi.it/aiclass/aa0405
• Pagina Web del corso, anno accademico 2003/2004: mag.dsi.unimi.it/aiclass/aa0304
• Pagina Web del corso, anno accademico 2002/2003: mag.dsi.unimi.it/aiclass/aa0203
• Pagina Web del gruppo di ricerca: mag.dsi.unimi.it/
• Pagina Web del Laboratorio di Intelligenza Artificiale, a.a. 2010/2011
• Pagina generale dei corsi di Intelligenza Artificiale e Laboratorio

Orario:
Modifiche al seguente orario potranno essere concordate con gli studenti nel corso delle prime lezioni, in base alle esigenze dei frequentanti e compatibilmente con la disponibilità di aule.

• Lunedì, ore 10.30 - 13.30, auletta 5
• Venerdì, ore 13.30 - 17.00, aula delta

Ricevimento studenti:

• Venerdì ore 12.30

Libri di testo: verranno usate sezioni di questi libri di testo e articoli da questi siti:

• Poole, Mackworth and Goebel, Computational Intelligence - a logical approach. Apprendimento interattivo argomenti trattati nel testo Computational Intelligence
• Computational Intelligence: lucidi (formato .pdf)
• Dispense: verranno pubblicate man mano.
• Articoli: verranno consigliati durante lo svolgimento del corso.

Software

Scarica l'interprete Prolog SWI: (Linux) (Win)

Torna alla pagina iniziale

Esame

L'esame consisterà in due prove in itinere e un piccolo progetto finale concordato con il docente, da svolgere nel gennaio 2012. 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 2011
• Fine presunta corso: 16 gennaio 2012
• Prima prova: 12 dicembre 2011 (a meno di spostamenti concordati)
• Seconda prova 9 gennaio 2012 (a meno di spostamenti concordati)

NB: le date delle prove in itinere sono alla fine di periodi di interruzione della didattica, per interferire il meno possibile con lo svolgimento delle lezioni. Le lezioni di gennaio 2012 saranno dedicate alla preparazione del progetto.

Torna alla pagina iniziale

Lezioni e altre presentazioni 

• Lezioni da scaricare

Torna alla pagina iniziale

Avvisi in ordine cronologico inverso

• Pubblicati i risultati della terza prova in itinere e le soluzioni degli esercizi di recupero della II prova.
• Data la limitata disponobilità di aule, la seconda prova in itinere si terrà il 19 dicembre dalle ore 11 alle ore 15.30 in auletta 5.
• Pubblicata la soluzione completa dell'esercizio iniziato a lezione sulla ricerca di prove in datalog proposizionale.
• Pubblicate le soluzioni
• Pubblicato materiale rivisto di preparazione alla II prova in itinere e le soluzioni degli esercizi Prolog.
• La lezione di preparazione alla prima prova in itinere sarà mercoledì 2 novembre alle ore 13 in auletta 5. La prova in itinere sarà il 4 novembre alle 13.30 in sala lauree (Via Comelico).
• La lezione di lunedì 24 ottobre potrebbe iniziare in ritardo (causa possibile prolungarsi tempi attesa visita medica).
• Pubblicata una prima parte di appunti e aggiornato l'orario delle lezioni.
• Nelle lezioni del 3 e del 7 ottobre si concorderanno eventuali modifiche di orario, in base alle esigenze dei frequentanti e alle disponibilità di aule.

Torna alla pagina iniziale

Breve programma del corso

• Obiettivi del corso:

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

• Programma del corso:

Agenti autonomi ("intelligenti") e sistemi per la rappresentazione e il ragionamento (RRS). Algoritmi e strategie di ricerca. Rappresentazione della conoscenza. Conoscenza definita, negativa, disgiuntiva, vincoli di integrità . Rappresentazione delle azioni e del cambiamento e cenni sulla pianificazione. Forme di ragionamento basato su assunzioni - cenni. Apprendimento automatico - cenni.

Torna alla pagina iniziale