UniversitÓ degli Studi di Milano
Laurea Triennale in Informatica, A.A. 2012-2013

Intelligenza Artificiale

Indice

Informazioni generali

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

Link

Orario:

Ricevimento studenti:

Libri di testo: verranno usate sezioni di questi libri di testo e articoli da questi siti:

Software

Scarica l'interprete SWI Prolog SWI

Torna alla pagina iniziale

Esame

L'esame consisterÓ in due prove in itinere e un piccolo progetto finale concordato con il docente, da svolgere nel gennaio 2012. 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).

Calendario e prove in itinere

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. Le lezioni di gennaio 2012 saranno dedicate alla preparazione del progetto.

Torna alla pagina iniziale

Lezioni e altre presentazioni 

Torna alla pagina iniziale

Avvisi in ordine cronologico inverso

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