Università degli Studi di Milano
Corso di Studi in Informatica, A.A. 2003-2004

Indice

• Informazioni generali
• Calendario
• Lezioni e presentazioni
• Notizie varie
• Gli ultimi avvisi

Informazioni generali

Supporto:

• Alessandra Mileo
• Alessandro Provetti

Link

• Pagina Web del corso, corrente anno accademico: mag.dsi.unimi.it/aiclass/
• 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 corso a cura della didattica webcentrica: (clicca e sperimenta la referenzialità circolare!) http://webcen.usr.dsi.unimi.it/2002-03/complementari/intelligenza_artificialeI/index.html

Orario:

• martedì 13:30-15:30 Aula Delta
• giovedì 12:30-15:30 Aula Beta
• venerdì 14:30-16:30 Sala lauree

Ricevimento studenti:

• M. Ornaghi: Venerdì 11.30 - 12.30
• A. Provetti: su appuntamento.

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.
• Computational Intelligence: apprendimento interattivo argomenti trattati nel testo CIspace
• Computational Intelligence: lucidi (formato .pdf)
• Chitta Baral, Knowledge representation, reasoning and declarative problem solving.
• la documentazione del progetto  Legolog
• L'MIT Programmable Brick, il progenitore dei robot Legolog.
• articoli di  John McCarthy
• articoli dalla bibliografia del Texas Action Group

• Scarica l'interprete DLV.
• Scarica l'interprete smodels.
• Scarica l'interprete Prolog SWI: (linux) (win)

Torna alla pagina iniziale

Calendario e prove in itinere

• Intelligenza Artificiale 1
• Inizio 2 marzo, fine 22 aprile
• Prima prova: 15 aprile
• Prova finale: 4 maggio
• Intelligenza Artificiale 2
• Inizio 23 aprile, fine 12 giugno
• Prima prova (teorica): 1 giugno
• Prova finale (laboratorio): 5 luglio

Torna alla pagina iniziale

Lezioni e altre presentazioni

• Lezione del 2-III
• Lezione del 4-III
• Lezione del 5-III
• Lezione del 9-III
• Lezione del 11-III
• Lezione del 12-III
• Lezione del 16-III
• Lezione del 18-III ed Esempi PL del 18-III
• Lezione del 19-III
• Lezione del 23-III ed Esempi PL del 23-III
• Lezione del 25-III ed Esempi PL del 25-III
• Lezione del 30-III
• Lezione del 1-IV ed Esempi PL del 1-IV
• Lezione del 2-IV ed Esempi PL del 2-IV
• Lezione del 6-IV ed Esempi PL del 6-IV
• Esercizi Preparazione 15-IV ed Esempi PL collegati
• Soluzione Esercizio Compitino
• Lezione del 20 IV
• Lezioni del 22 IV
• Esercitazione del 26 IV
• Lezione del 27 IV
• Lezione del 29 IV
• Lezione del 30 IV
• Lezione del 4 V
• Lezione del 6 V
• Lezione del 7 V
• Un primer su ASP e modelli stabili
• Un pianificatore per il mondo dei blocchi in ASP
• Ragionare sulle azioni
• Lezione di preparazione al compitino e progetti
• Altro materiale: vedi l'anno scorso

Per visualizzare i files scaricabili da qui sulla tua piattaforma puoi effettuare conversioni di formato grazie al servizio del CERN.

Altre presentazioni

• Il nostro Franco Salvetti ha creato una pagina sul Semantic Web dal punto di vista dell'AI logicistica.

Torna alla pagina iniziale

Notizie varie

Piccoli annunci

• Puoi acquistare il libro di testo on-line presso Oxford University Press.

Torna alla pagina iniziale

Avvisi

• La lezione del 5 marzo è anticipata alle ore 12.30, in Sala riunioni
• La lezione del 22 aprile iniziera' alle 12.30 puntuali
• Vedi i voti di AI1 (Intelligenza Artificiale 1) proposti
• L'8 maggio inizia un corso FSE Sistemi Intelligenti per il Controllo Robotico, utile per il laboratorio di Intelligenza Artificiale
• Voti di AI1 per chi ha fatto la prova di recupero
• Voti del compitino di Intelligenza Artificiale 2
• Il compitino di recupero per Intelligenza Artificiale 2 e' fissato per il 21 giugno alle ore 10.30 in aula 5.
• Voti del compitino di recupero Intelligenza Artificiale 2

Torna alla pagina iniziale