- Oggetto:
- Oggetto:
Rappresentazione e algoritmi A
- Oggetto:
REPRESENTATION AND ALGORITHMS A
- Oggetto:
Anno accademico 2020/2021
- Codice dell'attività didattica
- STU0438
- Docente
- Prof. Vincenzo Lombardo (Titolare del corso)
- Corso di studi
- laurea magistrale in CAM
- Anno
- 1° anno
- Periodo didattico
- Primo semestre
- Tipologia
- Caratterizzante
- Crediti/Valenza
- 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
Il corso illustra le nozioni fondamentali della formalizzazione in termini logici, con riferimento ai sistemi di calcolo basati sulla conoscenza e ai metodi dell’intelligenza artificiale. Dopo aver introdotto le nozioni di rappresentazione digitale dei dati e di algoritmo, il corso approfondisce gli algoritmi di ricerca nello spazio degli stati, la logica proposizionale e la logica dei predicati.The course illustrates the fundamental notions of formalization in logical terms, with reference to knowledge-based computational systems and the methods of artificial intelligence. After the introduction of the digital representation of data and algorithms, the course addresses the search algorithms in the state space, the propositional logic and the predicate logic.- Oggetto:
Risultati dell'apprendimento attesi
Basi di modellazione e soluzione di problemi in informatica, con riferimento ai metodi dell’intelligenza artificiale e alla rappresentazione della conoscenza. Per approfondimenti, consultare http://www.di.unito.it/~vincenzo/didattica.html.Basics of problem modeling and solving in informatics, with reference to the methods of artificial intelligence and knowledge representation.- Oggetto:
Modalità di insegnamento
Lezioni frontali. Connessione con aula virtuale:- https://unito.webex.com/unito/j.php?MTID=m3289f09b416f80346b78615c830d64e5
Class lectures. Link to virtual room:- https://unito.webex.com/unito/j.php?MTID=m3289f09b416f80346b78615c830d64e5
- Oggetto:
Modalità di verifica dell'apprendimento
La parte teorica è verificata mediante orale, a partire da un laboratorio di modellazione formale. Per approfondimenti, consultare http://www.di.unito.it/~vincenzo/didattica.html.The theoretical part is tested through an oral colloquium that moves from the formal modeling lab. For details, visit http://www.di.unito.it/~vincenzo/didattica.html.- Oggetto:
Attività di supporto
- 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 dramma. Dispense scaricabili dal sito del corso (http://www.di.unito.it/~vincenzo/didattica.html).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 drama. Notes downloadable from the website of the course (http://www.di.unito.it/~vincenzo/didattica.html).Testi consigliati e bibliografia
- Oggetto:
- Letture integrative e siti
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/
Integrative readings and web sitesStuart 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/
- Oggetto:
Note
L'esame si può svolgere in lingua inglese.
Test can be in English.
- Oggetto: