Università degli Studi di Milano
Laurea Magistrale in
Informatica, A.A. 2007-2008
Laboratorio di Intelligenza Artificiale
Indice
Informazioni generali
Organizzazione: Il corso
di Laboratorio di Intelligenza Artificiale
si terrà nel secondo semestre e presuppone che lo studente abbia
frequentato Intelligenza
Artificiale I.
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:
- Verrà concordato nella prima lezione, 4 marzo ore 14.30,
auletta 4
Ricevimento studenti:
- M. Ornaghi: Venerdì ore 11.30
Libri di testo: verranno usate sezioni di questi libri di testo
e articoli da questi siti:
Software
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 si veda pagina
del
corso.
- Per il Laboratorio di Intelligenza Artificiale, l'esame
consisterà in una prova in itinere e nella presentazione
del progetto sviluppato come attività di laboratorio. Per coloro
che hanno frequentato Intelligenza Artificiale I nello stesso a.a. il
progetto sarà la continuazione di quello di Intelligenza
Artificiale I.
Torna alla pagina iniziale
Calendario e prove in itinere
- Inizio: 4 marzo 2008
- Prova in itinere: 18 aprile 2008
- Inizio attività in laboratorio: 22 aprile 2008
Torna alla pagina iniziale
Lezioni e altre presentazioni
- Il materiale didattico verrà pubblicato QUI
Torna alla pagina iniziale
Avvisi in ordine cronologico inverso
- Dal 16 aprile le lezioni si svolgeranno presso
il laboratorio in Via Celoria, tutti mercoledì dalle 14.30.
Martedì 22 aprile in auletta 4 ci sarà una lezione
di preparazione alla prima prova in itinere, dedicata ad esercizi
di definizione di dominii di pianificazione nel linguaggio K.
- La prima lezione si terrà il 4 marzo alle 14.30, in
auletta 4,
ed avrà carattere organizzativo. In particolare, si
concorderanno eventuali modifiche
di orario.
Torna alla pagina iniziale
Breve programma del corso
- Obiettivi del corso:
Approfondire le conoscenze acquisite nel corso di Intelligenza
Artificiale, con particolare riguardo
a pianificazione e ragionamento basato su assunzioni, anche attraverso
un progetto di progettazione e
pianificazione di agenti autonomi.
- Programma del corso:
Trattazione approfondita di:
- Answer Set Programming e introduzione all'uso di DLV e
SModels.
- Rappresentazione delle azioni e del cambiamento e
pianificazione.
- Forme di ragionamento basato su assunzioni, ragionamento
per default,
ragionamento non monotono.
Progetto di agenti autonomi che applichi le tecniche di
Intelligenza
Artificiale
presentate a lezione. L'attenzione sarà rivolta alle tecniche
di pianificazione. Il progetto potrà prevedere la progettazione
di
agenti "hardware" (pianificazione dei cagnolini AIBO della SONY
o progetto di robot utilizzando
i nuovi LEGO MINDSTORMS) o di
agenti "software" (ad es. un infobot).
Torna alla pagina iniziale