- Oggetto:
- Oggetto:
Intelligenza artificiale / Artificial intelligence
- Oggetto:
Artificial intelligence
- Oggetto:
Anno accademico 2022/2023
- Codice attività didattica
- PSI0027
- Docente
- Vincenzo Lombardo (Titolare)
- Corso di studio
- Scienze del corpo e della mente
- Anno
- 1° anno
- Periodo
- Secondo semestre
- Tipologia
- Opzionale
- Crediti/Valenza
- 6
- SSD attività didattica
- INF/01 - informatica
- Erogazione
- Tradizionale
- Lingua
- Italiano
- Frequenza
- Facoltativa
- Mutuato da
- Rappresentazione e algoritmi A (STU0438)Corso di laurea magistrale in CAM
Cinema, Arti della scena, Musica e Media
- Rappresentazione e algoritmi A (STU0438)
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
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.
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.
- 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. In particolare: a) Conoscenza e capacità di comprensione: i linguaggi formali di rappresentazione e scrittura algoritmica; b) Capacità di applicare conoscenza e comprensione: modellazione concettuale della conoscenza; c) Autonomia di giudizio: valutazione del potere espressivo dei linguaggi formali e la loro applicabilità; d) Abilità comunicative: espressione della conoscenza in termini formali come organicità di una presentazione; e) Capacità di apprendimento: confronto con la componente formale della rappresentazione.
Basic notion of problem modeling and solving in informatics, with reference to the methods of artificial intelligence and knowledge representation. In particular: a) Knowledge and learning capacity: formal languages of representation and algorithmic writing; b) Capacity of applying knowledge and learning: conceptual modeling of knowledge; c) Autonomy of judgement: evaluation of the expressive power of formal languages and their applicability; d) Communication skills: express knowldge in formal terms for organicity in some presentation; e) Learning ability: facing the formal components of representation.
- 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 risoluzione di problemi. Algoritmi di ricerca (informata e non informata). Esercitazioni di laboratorio sull'annotazione del contenuto di un breve frammento narrativo.
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 fragment.
- Oggetto:
Modalità di insegnamento
Lezioni frontali
Class lecturing
- Oggetto:
Modalità di verifica dell'apprendimento
La parte teorica è verificata mediante orale, a partire da un progetto di annotazione formale da consegnare una settimana prima dell'esame; il progetto deve essere accompagnato da una breve relazione che ne illustra le scelte principali. Per approfondimenti, consultare http://www.di.unito.it/~vincenzo/didattica.html.
The theoretical part is tested through an oral colloquium that moves from a project of formal annotation to be delivered before the test; the project 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:
Attività di supporto
Martedì, ore 11-13, Ufficio Dipartimento Studium, via Sant'Ottavio 50, Torino
Tuesday, 11a.m.-1p.m., Office Dipartimento Studium, via Sant'Ottavio 50, Torino
Testi consigliati e bibliografia
- Oggetto:
Dispense scaricabili dal sito del corso (http://www.di.unito.it/~vincenzo/didattica.html).
Testi consigliati per eventuali approfondimenti:
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.
Siti:
http://www.logicinaction.org/
http://people.hofstra.edu/stefan_waner/realworld/logic/logicintro.html
For Erasmus students
Notes downloadable from the website of the course (http://www.di.unito.it/~vincenzo/didattica.html).
Other useful texts for possible in-depth analysis:
Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach (3rd Edition), Prentice Hall, 2009.
David Harel, Yishai Feldman, Algorithmics: The Spirit of Computing (3rd Edition), Springer, 2012.
Douglas Hofstadter , Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, 1979.
Web sites:
http://www.logicinaction.org/
- Registrazione
- Chiusa
- Apertura registrazione
- 01/03/2020 alle ore 00:00
- Chiusura registrazione
- 31/12/2022 alle ore 23:55
- Oggetto:
