- Oggetto:
- Oggetto:
Rappresentazione e algoritmi - INF/01
- Oggetto:
Anno accademico 2010/2011
- 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:
Programma
Titolo del corso:
Rappresentazione e algoritmi
Argomento del corso
Il corso illustra le nozioni fondamentali della computazione, introducendo i sistemi formali, e gli elementi chiave di rappresentazione e algoritmi. Dopo una parte generale, il corso approfondisce il linguaggio della logica, proposizionale e del prim’ordine, con l’applicazione alla rappresentazione della conoscenza e al ragionamento formale. Inoltre, si completa il paradigma dell’intelligenza artificiale con gli algoritmi di ricerca nello spazio degli stati e le loro applicazioni alla risoluzione dei problemi. Il corso prevede un laboratorio che applica la nozione di sistema formale alla rappresentazione simbolica di un breve filmato.
Programma d’esame
Nozioni fondamentali di algoritmica e linguaggi formali. Strutture dati e costrutti base della computazione. La rappresentazione della conoscenza mediante la logica. Il calcolo proposizionale: sintassi, semantica, inferenze. La logica del prim’ordine e i meccanismi di inferenza. La rappresentazione della conoscenza in concreto: ingegneria ontologica. La risoluzione di problemi. Algoritmi di ricerca (informata e non informata). Funzioni euristiche. Esercitazioni di laboratorio sulla struttura di un breve filmato sul software Cinematic (fornito al corso).
Corso di Laurea Magistrale in TV e Nuovi Media – Programma da 9 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.
Modalità di verifica del profitto
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.
Varie
Prerequisito: Fondamenti di informatica del triennio. Informazioni aggiuntive sul corso sono sul sito.
Sito WWW
http://www.di.unito.it/~vincenzo/didattica.html
Course title:
Representation and algorithmsSummary
The course illustrates the fundamental notions of computation, introducing the formal systems, and the key elements of representation and algorithms. After a general part, the course addresses the language of propositional and first logics, with application to knowledge representation and formal reasoning. Then, we complete the paradigm of artificial intelligence with the algorithms for the search in the state space and their applications to problem solving. The course includes a laboratori that applies the notion of formal system to the symbolic representation of a short film.
Detailed programme: Notions of algorithmics and formal languages. Data structures and base constructs of computation. Knowledge representation thourgh logic. The propositional calculus: syntax, semantics, inferences. First-order logic and inference mechanisms. Practical knowledge representation: ontological engineering. Problem solving. Search algorithms (blind and informed). Heuristic functions. Practice on the structure of a short film using the Cinematic software (provided during the class lectures) that applies the notion of formal system.
Evaluation through oral test and laboratory practice.
Testi consigliati e bibliografia
- Oggetto: