Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso. Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026.Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2014/2015
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Intelligenza artificiale (2014/2015)
Codice insegnamento
4S00075
Docente
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
II sem. dal 2 mar 2015 al 12 giu 2015.
Obiettivi formativi
Il modulo presenta paradigmi e tecniche principali della rappresentazione simbolica e soluzione automatica di problemi. L'obbiettivo è dare allo studente strumenti per ideare, applicare e valutare algoritmi per problemi difficili, nel senso che la loro soluzione meccanica cattura aspetti di intelligenza artificiale o razionalità computazionale.
Programma
Risoluzione di problemi come ricerca in uno spazio di stati: procedure di ricerca non informate; procedure di ricerca euristiche; ricerca con avversario.
Risoluzione di problemi basata sull'elaborazione di vincoli (soddifacibilita' ed ottimizzazione);
Rappresentazione della conoscenza basata sulla logica: forme normali; uguaglianza.
Dimostrazione di teoremi: soddisfacibilità (SAT), risoluzione, riscrittura.
Agenti intelligenti: pianificazione, sistemi multi-agente, coordinamento.
Ragionamento probabilistico, teoria delle decisioni.
Modalità d'esame
Il voto finale è il risultato di 50% compito scritto + 50% prova a scelta. Nel compito scritto lo studente dovrà risolvere esercizi o discutere tecniche discusse a lezione. La prova a scelta può essere un progetto (tipicamente con una sostanziale parte di programmazione) oppure un seminario (di circa 40 minuti) che sarà tenuto dallo studente. Esame con prove intermedie: si può fare solo nelle sessioni immediatamente successive alla fine del corso. Il compito scritto viene amministrato durante il corso (circa a metà del corso) e la prova a scelta può essere fatta in collaborazione con un'altra persona. Esame senza prove parziali: il compito scritto viene amministrato nella data dell'appello e la prova a scelta deve essere individuale.