Rappresentazione e algoritmi 2014/15, 15/16, 16/17, 17/18, 18/19, 19/20
(Modulo I 6 CFU)

Laurea Magistrale in Cinema e Media
mutuato da
Laurea Magistrale in Scienze del Corpo e della Mente
con il nome "Intelligenza artificiale" (6 CFU)

Vincenzo Lombardo

In evidenza

Programma d'esame del modulo A (Lombardo, 6 CFU) Informazioni sul corso (in italiano e in inglese: il corso è in italiano)

Sommario (ITA): Il corso illustra le nozioni fondamentali dell’informatica, la rappresentazione formale dei dati e della conoscenza e gli algoritmi di manipolazione delle rappresentazioni, applicate alla modellazione, soluzione e interpretazione di situazioni del mondo reale. Dopo aver introdotto le nozioni di sistema formale, linguaggio di rappresentazione e algoritmo, il corso approfondisce i metodi avanzati dell’intelligenza artificiale, con la definizione di agente intelligente, la ricerca nello spazio degli stati, la logica proposizionale e la logica dei predicati. Le esercitazioni del corso applicano la nozione di rappresentazione logica all’annotazione di un video narrativo, come da competenze avanzate della produzione multimediale.
Summary (ENG): The course illustrates the fundamental notions of informatics, the formal representation of data and knowledge and the algorithms of manipulation of the representations, applied to the modeling, solution and intepretation of situations of the real world. After having introduced the notions of formal system, representation language, the course addresses the advanced methods of artificial intelligence, with the definition of intelligent agent, search over the state space, the propositional logic and the predicate logic. The laboratory applies the notion of logic representation to the annotation of a narrative video, as of advanced competences in the multimedia production.

Programma (ITA): 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 risoluzione di problemi. Algoritmi di ricerca (informata e non informata). Esercitazioni di laboratorio sull’annotazione del contenuto di un breve frammento video narrativo.
Programme (ENG): Fundamental notions of algorithmics and formal languages. Data structures and basic constructs of computation. Knowledge representation through logic. Propositional calculus: syntax, semantics, inferences. First-order logic and inferential mechanisms. Problem solving. Search algorithms (blind and informed). Laboratory on the annotation of the content of a short narrative video fragment.

Materiale di approfondimento

Link al Modulo II, per coloro che vogliono approfondire gli aspetti di modellazione per il Web Semantico.

Home Page Didattica