Corso di laurea magistrale in CAM
Cinema, Arti della scena, Musica e Media

Non ci sono prerequisiti formali per l’insegnamento. La conoscenza dei sistemi digitali e delle logiche formali può essere utile, ma tutti i concetti verranno introdotti a lezione.

Obiettivo dell'insegnamento è di acquisire le nozioni fondamentali della formalizzazione dei modelli nei sistemi digitali, con riferimento ai sistemi di calcolo basati sulla conoscenza e ai metodi dell’intelligenza artificiale. In particolare, gli/le studenti/esse apprenderanno
- la struttura dei dati e degli algoritmi
- la formalizzazione dei problemi e gli algoritmi di ricerca
- la conoscenza formale e il linguaggio della logica proposizionale con le procedure di inferenza
- la logica dei predicati e le procedure di inferenza
- la pratica della rappresentazione concreta di un dominio di conoscenza
L’insegnamento si inserisce in più corsi di studio di carattere umanistico fornendo gli elementi di base per l’acquisizione della modellazione digitale e la codifica formale della conoscenza.

Al termine dell'insegnamento, gli/le studenti dovranno conoscere le basi della modellazione e soluzione di problemi in informatica e i principali linguaggi logici dei sistemi di intelligenza artificiale. In particolare, gli/le studenti/esse dovranno
(Conoscenza e comprensione)
- avere conoscenze di base nell'ambito della modellazione informatica
- avere conoscenze dei principali linguaggi logici e delle procedure di inferenza
(Capacità di applicare conoscenza e comprensione)
- conoscere pratiche di modellazione formale
- conoscere i linguaggi logici e le loro caratteristiche
- conoscere le principali strutture dati
- conoscere gli schemi di controllo degli algoritmi
(Autonomia di giudizio)
- saper valutare un modello formale
- saper valutare un progetto di un programma intelligente
(Abilità comunicative)
- saper comunicare attraverso gli elementi di base di un modello informatico
(Capacità di apprendimento)
- essere capaci di proseguire in modo autonomo lo studio della modellazione formale.

- Nozioni fondamentali di linguaggi formali e algoritmica, incluse le strutture dati e gli schemi di controllo della computazione
- Rappresentazione di un problema attraverso la caratterizzazione degli stati possibili e algoritmi di ricerca di una soluzione
- La rappresentazione della conoscenza mediante la logica
- La logica proposizionale: sintassi, semantica, inferenze
- La logica dei predicati e i relativi meccanismi di inferenza
- Laboratorio pratico di modellazione logica di un segmento narrativo e calcolo della dinamica del racconto.

L'insegnamento prevede 36 ore di lezioni frontali in presenza. La presenza al corso non è obbligatoria seppur fortemente consigliata. La piattaforma Moodle verrà utilizzata come ambiente integrato di apprendimento, tramite il caricamento di contributi fruibili in modalità asincrona.

L’esame si svolgerà in forma orale in presenza, dopo la consegna di un laboratorio pratico di formalizzazione logica assegnato o concordato con il docente.
- Il laboratorio dovrà essere accompagnato da una relazione scritta che ne illustri gli aspetti principali, secondo uno schema distribuito online dal docente.
- Il laboratorio deve essere consegnato una settimana prima dell'esame orale.
- La valutazione, che tiene conto sia del laboratorio sia del colloquio, sarà espressa in trentesimi.
- All'orale si chiederà di relazionare sui temi trattati durante le lezioni e sui contenuti dei testi in bibliografia.
Gli/Le studenti/esse DSA sono pregati di prendere contatto con il docente nell'orario di ricevimento per definire strumenti compensativi e trattamenti individualizzati.

Sarà fornito materiale didattico di supporto online, con discussione in aula di attività condotte dagli/dalle studenti in maniera autonoma.

Per gli/le studenti/esse con DSA o disabilità, si prega di prendere visione delle modalità di supporto (https://www.unito.it/servizi/lo-studio/studenti-con- disabilita) e di accoglienza (https://www.unito.it/accoglienza-studenti-con-disabilita-e-dsa) di Ateneo, ed in particolare delle procedure necessarie per il supporto in sede d’esame (https://www.unito.it/servizi/lo-studio/studenti-e- studentesse-con-disabilita/supporto-studenti-e-studentesse-con).

- Stuart Russell, Peter Norvig, Intelligenza artificiale 3/Ed. - Vol. 1, Un approccio moderno, Pearson Education Italia, 2010.
- David Harel, Yishai Feldman, Algoritmi. Lo spirito dell'informatica, Springer Verlag, 2008.
- Douglas R. Hofstadter, Gödel, Escher, Bach: un’Eterna Ghirlanda Brillante, Adelphi, 1984-1990.
- Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars, Logic in action, http://www.logicinaction.org/.

E’ consigliabile avere superato un corso di informatica di base al triennio. Corso rivolto anche agli studenti che hanno inserito nel loro piano carriera il Corso di Rappresentazione e algoritmi (6 CFU), in anni accademici precedenti. Mutuato da Intelligenza artificiale del Dipartimento di Psicologia (anche da 10 CFU).

SI RACCOMANDA DI REGISTRARSI AL CORSO (al fondo di questa pagina: "Registrati al corso"), IN MODO CHE IL DOCENTE POSSA COMUNICARE DIRETTAMENTE E TEMPESTIVAMENTE AGLI STUDENTI LE QUESTIONI RELATIVE ALL'ORGANIZZAZIONE DELLE LEZIONI.