Università degli Studi di Milano
Laurea Triennale in Informatica, A.A. 2008-2009
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:
- Martedì, ore 13.30 - 16.30, aula 6
- Giovedì, ore 14.30 - 16.30, aula 6
- Venerdì, ore 14.30 - 16.30, aula 6
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
2008. 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 2008
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: 2 ottobre 2008
-
Fine presunta corso: 19 dicembre 2008
-
Prima prova: 9 dicembre 2008 (a meno di spostamenti
concordati)
Seconda prova 15 gennaio 2009 (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
-
Pubblicati i risultati finali dei compitini. La visione sarà
martedì 20 alle ore 14.30 in aula 6, oppure in orario ricevimento.
I gruppi che avessero steso un primo abbozzo di progetto sono pregati di
portarlo.
-
La lezione di martedì 13 gennaio sarà dedicata
alla discussione dei progetti e alla preparazione del compitino,
che si svolgerà il 15 gennaio in aula delta alle 14 (salvo
variazioni d'orario concordate il 13; non vi sono aule disponibili
al mattino).
-
ATTENZIONE: Le lezioni dell'8 e 13 gennaio saranno dedicate alla
preparazione dell'ultimo compitino e alla discussione delle proposte
di progetto. Data proposta per il compitino: 15 gennaio. Eventuali
spostamenti potranno essere decisi nella lezione dell'8 gennaio.
Chi avesse problemi sulla data del compitino e
non potesse partecipare a tale lezione
è pregato di comunicarmelo vie email.
- Pubblicati risultati primo compitino e ultime lezioni. Giovedì
18/12 ci sarà l'ultima lezione, dedicata a richieste di chiarimenti
su compitini e progetti.
- Il compitino si terrà giovedì 11/12 in aula Delta alle ore
14.30. La lezione di presentazione del secondo tipo di progetto sarà
lunedì 15/12 alle ore 11 in aula Delta. Nella stessa lezione
verrà presentato il programma dettagliato per il secondo compitino
e si concorderà la data dello stesso.
Si ricorda che il secondo compitino sarà di sola teoria, mentre
per gli esercizi verrà valutato quanto fatto nel progetto.
Chi dovesse avere problemi nel primo compitino potrà usare il secondo
per recuperare.
- ATTENZIONE: il compitino si terrà giovedì 11/12,
come concordato a lezione, e non il 12/12.
- Nella lezione del 9/12, la prima parte sarà dedicata
alla presentazione delle proposte di progetto riguardanti la diagnosi
mediante abduzione.
-
ATTENZIONE: il compitino è spostato dal 9/12 al 12/12. La lezione del 9/12 sarà dedicata alla preparazione dello stesso.
- Nelle lezioni del 2, 11, 16 dicembre verranno presentati
i progetti da svolgere in Prolog su algoritmi ricerca,
abduzione, reti semantiche. La lezione del 4 dicembre è spostata
al 5, ore 14.30, e sarà tenuta da Alessandro Provetti.
Si ricorda che il compitino sarà il 9 dicembre alle 14.
- Pubblicato materiale di preparazione al compitino.
- Martedì 18 novembre la lezione sarà dedicata alla preparazione
della prima prova in itinere. Sono stati pubblicati gli esercizi svolti
in aula e alcuni esercizi da svolgere a casa.
-
Il materiale pubblicato oggi, 11 novembre, riguarda l'intera seconda
parte del corso. Oggi iniziamo con le clausole di Horn e
i vincoli di integrità.
Inoltre è stata pubblicata la dispensa complessiva della prima
parte, file appuntiI.pdf.
-
Domani 30 ottobre la lezione si terrà in aula 6, con esercizi e
spiegazioni sulla semantica operazionale.
-
Domani 28 ottobre la lezione sarà in aula delta. Si proseguirà
con l'esercitazione e con la semantica operazionale di Typed Prolog.
-
21 ottobre. Nuovo materiale in rete, compreso un programma di type
checking/reconstruction.
-
La lezione del 16 ottobre sarà nell'aula informatizzata delta.
-
Pubblicata nuova lezione (in Lezioni da scaricare).
-
Pubblicate le prime lezioni (in Lezioni da scaricare)
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