- Oggetto:
- Oggetto:
Rappresentazione e algoritmi - INF/01
- Oggetto:
Anno accademico 2009/2010
- Codice dell'attività didattica
- SCF0121
- Docente
- Prof. Vincenzo Lombardo (Titolare del corso)
- Corso di studi
- laurea magistrale in Televisione e nuovi media [LM-65]
- Anno
- 1° anno 2° anno
- Periodo didattico
- Primo semestre
- Tipologia
- Di base
- Crediti/Valenza
- 9
- SSD dell'attività didattica
- INF/01 - informatica
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso illustra la nozione di sistema formale, con i suoi elementi chiave di rappresentazione e algoritmi. Il paradigma di riferimento è quello dellintelligenza artificiale, dove i sistemi formali vengono applicati alla risoluzione di problemi connessi con le capacità umane di ragionamento. Il corso prevede un laboratorio che applica la nozione di sistema formale alla rappresentazione simbolica di un breve filmato.
- Oggetto:
Risultati dell'apprendimento attesi
L'esame consta di una parte teorica e di una parte pratica: la parte teorica è verificata mediante orale, la parte pratica è un progetto di laboratorio. La consegna del progetto deve avvenire almeno una settimana prima dell'orale (date indicate sul sito). Il progetto presentato è valido per due appelli consecutivi.- Oggetto:
Programma
Titolo del corso:
Rappresentazione e algoritmi
Programma d’esame
Definizione di sistema formale per la rappresentazione: alfabeto, assiomi, regole di inferenza, teoremi, derivazione. Introduzione all’intelligenza artificiale. Definizione di agente intelligente. La risoluzione di problemi. Algoritmi di ricerca (informata e non informata). Funzioni euristiche. Ricerca con avversari e programmi di gioco. La rappresentazione della conoscenza mediante la logica. Il calcolo proposizionale: sintassi, semantica, inferenze. La logica del prim’ordine e meccanismi di inferenza. La rappresentazione della conoscenza in concreto: ingegneria ontologica. Esercitazioni di laboratorio sulla struttura di un breve filmato sul software Cinematic (fornito al corso).
Indirizzo Nuovi Media della RAM – Programma da 10 CFU
- S. Russel, P. Norvig: Intelligenza artificiale - Un approccio moderno Vol. 1, Pearson Education Italia, 2005 (887192228X 2005). Capitoli: 1-2-3-4 (solo 4.1 e 4.2)-6 (fino a 6.3 incluso)-7 (fino a 7.5 incluso)-8-9 (solo 9.1 e 9.2)-10 (fino a 10.6)-26.
- Prova di laboratorio assegnato durante il corso.
Indirizzo Cinema/Televisione della RAM – Programmi per non frequentanti
- Programma da 5 CFU: Robert McKee, Story, Regan Books, 1997. Svolgimento di un progetto di laboratorio concordato con il docente.
- Programma da 10 CFU: Robert McKee, Story, Regan Books, 1997 + dispense di logica da scaricare dal sito. Prova di laboratorio assegnata durante il corso (vedi sito).
Testi consigliati e bibliografia
- Oggetto:
Note
Prerequisito: Fondamenti di informatica del triennio. Informazioni aggiuntive sul corso sono sul sito.- Oggetto: