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

Intelligenza artificiale

Oggetto:

Anno accademico 2009/2010

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
2° anno
Tipologia
Fondamentale
Crediti/Valenza
8
SSD dell'attività didattica
INF/01 - informatica
Oggetto:

Sommario insegnamento

Oggetto:

Programma

Modulo I 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 Modulo II Agenti e apprendimento: Rappresentazione della conoscenza: reti semantiche, cenni su altri formalismi. Introduzione alle ontologie formali e alragionamento 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:

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

Modalità 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: 31/08/2010 15:26