Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community
Oggetto:
Oggetto:

Intelligenza artificiale/Artificial intelligence

Oggetto:

Anno accademico 2011/2012

Codice dell'attività didattica
PSI0027
Docenti
Leonardo Lesmo (Titolare del corso)
Rossana Damiano (Titolare del corso)
Corso di studi
Laurea magistrale in Scienze della mente (D.M. 270/2004)
Anno
1° anno
Tipologia
Fondamentale
Crediti/Valenza
8
Oggetto:

Sommario insegnamento

Oggetto:

Programma

PROGRAMMA DEL CORSO Prima parte, Rappresentazione e ragionamento: Introduzione all’Intelligenza Artificiale: obiettivi e metodi. L’uso del calcolatore per la simulazione del ragionamento. Metodi di ricerca per la risoluzione automatica di problemi. Ricerche cieche e con euristiche. Ragionamento e formalismi logici. La logica come metodo per rappresentare le conoscenze. Ragionamento deduttivo come dimostrazione di teoremi. Logica preposizionale e logica dei predicati. Metodi e modelli per la pianificazione automatica. Esempi di sistemi reali e descrizione del loro funzionamento Seconda parte, Agenti e apprendimento: Rappresentazione della conoscenza: reti semantiche, cenni su altri formalismi. Introduzione alle ontologie formali e al ragionamento ontologico. Apprendimento automatico. Problemi di classificazione e nozioni di base. Sistemi simbolici e sub-simbolici. Reti neurali: nozioni di base e addestramento di reti neurali. Modelli di agenti e architetture cognitive

Testi consigliati e bibliografia

Oggetto:

BIBLIOGRAFIA DI BASE D. Fum, Intelligenza artificiale, Il Mulino, Bari, 1994. S. Russell & P. Norvig, Intelligenza artificiale, Pearson Education Italia, 2005. Indicazioni specifiche sulle parti da studiare saranno date durante il corso.



Oggetto:

Note

MODALITA' D'ESAME Orale NOTE Gli studenti che abbiano frequentato il corso negli anni precedenti dovranno portare questo programma. ABSTRACT The course introduces the basic notions about formal logics, reasoning and knowledge representation and a survey of the main techniques for artificial intelligence planning and machine learning.

Oggetto:
Ultimo aggiornamento: 26/07/2012 12:39