- Oggetto:
- Oggetto:
Intelligenza artificiale
- Oggetto:
Artificial intelligence
- Oggetto:
Anno accademico 2014/2015
- Codice dell'attività didattica
- PSI0027
- Docente
- Prof. Vincenzo Lombardo (Titolare del corso)
- Corso di studi
- Scienze del corpo e della mente
- Anno
- 1° anno
- Periodo didattico
- Primo semestre
- Tipologia
- Fondamentale
- 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
- Prerequisiti
- Aver frequentato un corso di base dellInformatica alla laurea triennale.
Attendance of a basic course of Informatics at the undergraduate programme. - 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.
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.
- Oggetto:
Risultati dell'apprendimento attesi
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, a partire dall’annotazione formale del contenuto di un filmato; 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.Basic notion of problem modeling and solving in informatics, with reference to the methods of artificial intelligence and knowledge representation.
The theoretical part is tested through an oral colloquium that moves from the formal annotation of the content of a short audiovisual; 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:
Modalità di verifica dell'apprendimento
Esercizi e colloquio orale
Exercises and oral interview
- 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 sull’annotazione del contenuto di un breve frammento video narrativo.
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). Practical exercises on the annotation of the content of a short narrative video fragment.
Notes downloadable from the website of the course (http://www.di.unito.it/~vincenzo/didattica.html).Testi consigliati e bibliografia
- Oggetto:
Dispense scaricabili dal sito del corso (http://www.di.unito.it/~vincenzo/didattica.html).
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.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.- Oggetto:
Note
Il docente riceve il Martedì in orario 11-13 presso Sede CIRMA, Dipartimento StudiUm, Palazzo Nuovo, VI piano.
Teacher receives Tuesday 11am-1pm, CIRMA room, Dipartimento StudiUm, Palazzo Nuovo, 6th floor.
- Oggetto: