- Oggetto:
- Oggetto:
Rappresentazione e algoritmi
- Oggetto:
Anno accademico 2016/2017
- Codice dell'attività didattica
- SCF0121
- Corso di studi
- laurea magistrale in Cinema e Nuovi Media
- Anno
- 1° anno 2° anno
- Tipologia
- Caratterizzante
- Crediti/Valenza
- 12 o 6
- SSD dell'attività didattica
- INF/01 - informatica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Orale
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Nozioni base of modellazione e soluzione dei problemi in informatica, con riferimento ai metodi dell’intelligenza artificiale e alla rappresentazione della conoscenza. La parte teorica è verificata mediante orale che si sviluppa a partire dall’annotazione formale del contenuto di un breve filmato; il progetto si svolge su un sito web e deve essere accompagnato da una breve relazione che ne illustra le scelte principali. Per approfondimenti, consultare
The course illustrates the fundamental notions of computation, through the introduction of the formal systems, the representation languages and the design of the algorithms. After a general perspective, the course addresses the methods of artificial intelligence, with the definition of an intelligent agent, the problem solving through the search over the state space, the propositional and first order logics, with the application to knowledge representation, ontological engineering, and formal reasoning. The course includesa laboratory where the notion of logic representation is applied to the formal- Oggetto:
Risultati dell'apprendimento attesi
Nozioni base di modellazione e soluzione dei problemi in informatica, con riferimento ai metodi dell’intelligenza artificiale e alla rappresentazione della conoscenza. La parte teorica è verificata mediante orale che si sviluppa a partire dall’annotazione formale del contenuto di un breve filmato; il progetto si svolge su un sito web e deve essere accompagnato da una breve relazione che nei llustra le scelte principali. Per approfondimenti, consultare
http://www.di.unito.it/~vincenzo/didattica.html.
Basic notion of problem modeling and solving in informatics, with reference to the methods ofartificial
intelligence and knowledge representation.
The theoretical part is tested through an oral colloquiumn that moves from the formal notation of the content of a short audiovisual; the project is developed on a web site and must be accompanied by a short paper that addresses the major project choices of representation. For details, visit http://www.di.unito.it/~vincenzo/didattica.html.
- Oggetto:
Programma
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: introduzione all’ingegneria ontologica. La risoluzione di problemi. Algoritmi di ricerca (informata e non informata).
Esercitazioni di laboratorio sull’annotazione del contenuto di un breve filmato.S. Russel, P. Norvig: Intelligenza artificiale - Un approccio moderno Vol. 1, 3a edizione, Pearson Education Italia,2010. Capitoli: 1--2--3--4 (solo 4.1 e 4.2)--7 (fino a 7.5 incluso)--8--9 (solo 9.1 e 9.2)--12 (fino a 12.6)--26--27.
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. Practical knowledge representation:introduction to ontological engineering. Problem solving. Search algorithms (blind and informed). Laboratory on the annotation of the content of a short audiovisual.
S. Russel, P. Norvig: Artificial intelligence – A modern approach. 3rd edition, Pearson Education Italia, 2009. Chapters: 1--2--3--4 (only 4.1 and 4.2) --7 (until 7.5 included)--8--9 (only 9.1 and 9.2)--12 (until 12.6)--26--27.Testi consigliati e bibliografia
- Oggetto:
S. Russel, P. Norvig: Intelligenza artificiale - Un approccio moderno Vol. 1, 3a edizione, Pearson Education Italia,2010.
David Harel, Yishai Feldman, Algoritmi. Lo spirito dell'informatica, Springer Verlag 2008.S. Russel, P. Norvig: Artificial intelligence – A modern approach. 3rd edition, Pearson Education Italia, 2009.
- Oggetto:
Note
E’ obbligatorio avere superato un corso di informatica di base al triennio.
It is compulsory having passed a course of basic informatics at the three--year laurea degree or equivalent.
- Oggetto:
Moduli didattici
- Rappresentazione e algoritmi I (da definire)
- Rappresentazione e algoritmi II (da definire)
- Rappresentazione e algoritmi III (da definire)
- Oggetto: