- Oggetto:
- Oggetto:
Intelligenza artificiale/Artificial intelligence
- Oggetto:
Anno accademico 2012/2013
- Codice dell'attività didattica
- PSI0027
- Docente
- Leonardo Lesmo (Titolare del corso)
- Corso di studi
- Laurea magistrale in Scienze della mente (D.M. 270/2004)
- Anno
- 1° anno
- Tipologia
- Fondamentale
- Crediti/Valenza
- 8
- SSD dell'attività didattica
- INF/01
- Oggetto:
Sommario insegnamento
- Oggetto:
Programma
PROGRAMMA DEL CORSO - Prima parte. Rappresentazione e ragionamento: Introduzione allIntelligenza
Artificiale: obiettivi e metodi. Luso del calcolatore per la simulazione delragionamento. Metodi di ricerca per la risoluzione automatica di problemi. Ricerchecieche 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 cognitiveTesti consigliati e bibliografia
- Oggetto:
- BIBLIOGRAFIA DI BASE - D. Fum, Intelligenza artificiale, Il Mulino, Bari, 1994. S.
Russell & P. Norvig, Intelligenza artificiale, Pearson Education Italia, 2011. Indicazioni specifiche sulle parti da studiare saranno date durante il corso. - Oggetto:
Note
MODALITA' D'ESAME - Orale 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:
