Università degli Studi di Milano
Laurea Triennale in Informatica, A.A. 2009-2010
Intelligenza Artificiale
Indice
Informazioni generali
Organizzazione: Il corso di Intelligenza Artificiale I verrà tenuto nel primo semestre e il corso di
Laboratorio di Intelligenza Artificiale verrà tenuto, in cascata, nel secondo semestre.
Il Laboratorio di Intelligenza Artificiale, specifico della laurea magistrale, può essere sostenuto anche
dagli studenti della triennale che abbiano frequentato Intelligenza Artificiale I.
Gli esami di Intelligenza Artificiale I e di Laboratorio di Intelligenza
Artificiale possono essere sostenuti separatamente o in soluzione unica, alla fine del corso di Laboratorio.
Docente:
Mario Ornaghi , DSI, Università di Milano
ornaghi@dsi.unimi.it
Link
Orario:
- Lunedì, ore 15.30 - 17.30, aula G12
- Giovedì, ore 13.30 - 15.30, auletta 5
- Venerdì, ore 10.30 - 12.30, aula delta
Ricevimento studenti:
Libri di testo:
verranno usate sezioni di questi libri di testo e articoli da questi siti:
Software Scarica l'interprete Prolog SWI:
(Linux)
(Win)
Torna alla pagina iniziale
Esame
Gli esami di Intelligenza Artificiale I e di Laboratorio di Intelligenza Artificiale potranno essere sostenuti
separatamente, in due appelli distinti, o congiuntamente, nello stesso appello. In ogni caso daranno luogo a due voti separati.
Le modalità d'esame saranno le seguenti:
- Per Intelligenza Artificiale I l'esame consisterà in due prove in itinere e un piccolo progetto finale concordato
con il docente, da svolgere nel gennaio 2010. 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); tuttavia, nel mese di gennaio 2010
si concorderanno dei giorni in cui gli studenti potranno avere assistenza per lo svolgimento del progetto.
- Per facilitare gli studenti che proseguiranno con il Laboratorio di
Intelligenza Artificiale nello stesso anno accademico, il progetto finale
costituirà l'inizio del progetto di Laboratorio.
Calendario e prove in itinere
- Inizio corso: 28 settembre 2009
- Fine presunta corso: 18 dicembre 2009
- Prima prova: 10 dicembre 2009 (a meno di spostamenti concordati)
- Seconda prova 14 gennaio 2010 (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.
Torna alla pagina iniziale
Lezioni e altre presentazioni
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
-
I risultati delle prove in itinere sono pubblicati
QUI.
- La seconda prova in itinere sarà il 22 gennaio alle
ore 14.30 in auletta 5.
- Il giorno 14 gennaio, ore 14.30, in aula delta, vi sarà la lezione
di preparazione alla II prova in itinere, che è
provvisoriamente prevista per
il 19 gennaio in sala lauree. La data verrà confermata o modificata nella lezione del 14, tenendo conto di eventuali
sovrapposizioni con altri esami o altre esigenze.
-
Il giorno 12 gennaio alle 15.30 in auletta 6 vi sarà un incontro per
discutere dei progetti in corso. I gruppi che non potessero venire sono
pregati di contattarmi per posta elettronica.
- In rete, nella cartella ricerca/esercitazioneRic2 all'interno delle lezioni II parte, si trovano i tipi di progetto proposti e il materiale per lo svolgimento dei progetti basati su A*.
Usare il type checker in esercitazioneRic2, dal momento che contiene piccole
modifiche.
La lezione di lunedì 21 inizierà alle 14.30 e si svolgerà
in laboratorio, aula delta. Continuerà la pianificazione dei
progetti e si deciderà la data della seconda prova in itinere.
- Pubblicata l'esercitazione del 3 dicembre e materiale per la lezione del
4 (in lezioniIIparte).
- Sono state pubblicate nuove dispense. L'esercitazione del 4 dicembre
inizierà alle 13.45.
Verterà sugli argomenti trattati in tali dispense, in particolare:
a) reti semantiche; b)
applicazione di un metainterprete abduttivo a problemi di diagnosi. Sara'
la base per la scelta di un possibile progetto.
-
La lezione del 5 dicembre sarà dedicata alla preparazione della
prima prova in itinere.
- Nella directory appunti si trovano le
dispense AGGIORNATE
appuntiI1, con
le lezioni introduttive e i relativi esercizi,
datalog, con le lezioni su
datalog e i relativi esercizi, e
tipiEric con Prolog + tipi +
negazione e relativi esercizi. Si consiglia di fare gli esercizi prima che
vengano pubblicate le soluzioni e, nel caso, di non esitare a chiedere
spiegazioni. La lezione di oggi, 16 novembre, conclude la prima parte del
corso, quella relativa alla prima prova in itinere.
-
Nella directory appunti si trovano gli appunti aggiornati al 9 novembre, compresi
gli esercizi di preparazione alla prova in itinere.
-
Guida all'esercitazione di domani pubblicata. Aggiornamento type checker.
-
Dispensa su tipi e ricorsione aggiornata.
L'esercitazione di giovedì 5 verterà sulla ricorsione in
Prolog, per cui si consiglia di leggere la dispensa.
Da venerdì
6 novembre, parte delle lezioni sarà dedicata ad esercizi
di preparazione alla prova intermedia.
-
Dispensa datalog aggiornata; domani 28 ottobre appunti per l'esercitazione del
29 ottobre.
-
Nuovo materiale in linea, con una parte provvisoria. Da pubblicare a
breve materiale di preparazione per il laboratorio del 22 ottobre.
-
Per scadenze impreviste la lezione di lunedì 12/10 non si
terrà .
-
Conformemente alle indicazioni della Presidenza della
Facoltà di Scienze, la lezione di domani, giovedì 8 ottobre, è
sospesa per consentire agli studenti di partecipare
al career day 2009
.
-
La lezione di domani, venerdì 2 ottobre, sarà
in aula delta, alle 10.30. Pubblicate le prime lezioni.
- Nella prima lezione,
spostata a giovedì 1 ottobre 09, ore 14.00, auletta 5,
verranno concordati gli orari al fine di evitare sovrapposizioni
con altri corsi. Gli studenti interessati che non potessero presentarsi
alla prima lezione sono pregati di contattare il docente.
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). 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