Corso di Laboratorio di Sistemi Intelligenti

Laurea Magistrale in Realtà virtuale e multimedialità

Laurea Magistrale in Sistemi per il trattamento dell'informazione

Anno accademico: 2005-2006

Docente: Alberto MARTELLI, Pietro TORASSO

Numero di ore:
Numero di CFU (Crediti Formativi Universitari): 6
Moduli: LabSI

INDICE

1. Obiettivi del corso
2. Competenze attese e propedeuticità
3. Come si svolgono le lezioni (supporti alla didattica in uso alla docenza)
4. Programma/contenuti
5. Materiale didattico di supporto (a cura del docente)
6. Bibliografia (libri, articoli, documenti on-line,...)
7. Controllo dell'appprendimento (durante il corso)
8. Verifica (modalità d'esame)

1. Obiettivi del corso

L'obiettivo del corso è di sperimentare come linguaggi logici e ambienti per intelligenza artificiale permettano la soluzione di particolari classi di problemi e lo sviluppo di sistemi intelligenti. La prima parte del corso illustra come la programmazione logica possa essere utilizzata per formulare e risolvere problemi di intelligenza artificiale, basandosi su tecniche classiche di risoluzione di problemi e sull'uso della programmazione logica con vincoli. La seconda parte presenta ambienti per lo sviluppo di sistemi intelligenti. In particolare sono presi in considerazione ambienti che attraverso l'uso di regole di produzione permettono di realizzare agenti intelligenti che combinano aspetti deliberativi e reattivi.

2. Competenze attese e propedeuticità

• Competenze attese in ingresso (richieste all'inizio del corso).

  - Strategie di ricerca per la risoluzione automatica dei problemi - Architettura di un agente intelligente - Utilizzo di formalismi logici per la rappresentazione della conoscenza - Esperienze di programmazione

• Eventuali corsi propedeutici (forniscono le "competenze attese in ingresso").

  Si assume la conoscenza dei contenuti del corso di "Sistemi Intelligenti".

• Competenze attese in uscita (acquisite durante il corso).

  Capacità di progettare e sviluppare un agente intelligente. Competenze nell'uso di linguaggi a regole e di linguaggi a vincoli.

3. Come si svolgono le lezioni (supporti alla didattica in uso alla docenza)

Le lezioni si svolgeranno in prevalenza in laboratorio.

4. Programma/contenuti

Il programma dettagliato sarà definito durante il corso.

5. Materiale didattico di supporto (a cura del docente)

Il materiale del corso e' disponibile sul supporto on-line al corso I-learn.

6. Bibliografia (libri, articoli, documenti on-line,...)

L. Console, E. Lamma, P. Mello, M. Milano: "Programmazione logica e Prolog" (nuova edizione), UTET 1997

S. J. Russell e P. Norvig, Artificial Intelligence, Second edition, Prentice Hall

7. Controllo dell'apprendimento (durante il corso)

Si consiglia di eseguire durante il corso gli esercizi di complessità crescente proposti dai docenti.

8. Verifica (modalità d'esame)

L'esame consisterà in una discussione individuale degli argomenti trattati nel corso e dei progetti (sviluppati anche in gruppo) proposti durante lo svolgimento del corso. L'esame prevede anche la dimostrazione su macchine del laboratorio dei sistemi sviluppati. Data la natura del laboratorio è prevista una certa flessibilità nel concordare con i docenti la data dell'esame.