Università degli Studi di Milano
Laurea Magistrale in Informatica, A.A. 2008-2009

Indice

• Informazioni generali
• Modalità d'esame e calendario
• Lezioni e presentazioni
• Avvisi NUOVO: Scarica DLV Complex
• Programma in breve

Informazioni generali

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

Link

• Pagina Web del corso di Intelligenza Artificiale.
• Pagina Web del gruppo di ricerca: mag.dsi.unimi.it/
• Pagina Web del corso di Laboratorio di Intelligenza Artificiale, a.a. 07-08.
• Pagina generale dei corsi di Intelligenza Artificiale e Laboratorio

Orario:

• Verrà concordato nella prima lezione, 3 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:

• 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.
• articoli dalla bibliografia del Texas Action Group

Software

• Scarica DLV Complex.

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 potrà essere la continuazione di quello di Intelligenza Artificiale I.

Torna alla pagina iniziale

Calendario e prove in itinere

• Inizio: 3 marzo 2009
• Prova in itinere: 16 aprile 2009
• Inizio attività in laboratorio: 21 aprile 2009

Torna alla pagina iniziale

Lezioni e altre presentazioni 

• Il materiale didattico verrà pubblicato QUI

Torna alla pagina iniziale

Avvisi in ordine cronologico inverso

• La prima lezione si terrà il 3 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