- 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: oraleNote
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: