Fondamenti - INTELLIGENZA ARTIFICIALE (2016/2017)

Codice insegnamento
4S02789
Docente
Alessandro Farinelli
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
II sem. dal 1-mar-2017 al 9-giu-2017.

Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare * organizzazione dell'insegnamento

Orario lezioni

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.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Stuart Russell, Peter Norvig Artificial Intelligence: A Modern Approach (Edizione 2) Prentice Hall 2003 0137903952

Modalità d'esame

Il voto finale del modulo di IA può essere conseguito con un'unica prova scritta o con le prove parziali. La prova scritta verrà svolta nelle prove di Appello.
Le prove parziali sono costituite da due compiti (svolti durante la durata del corso ed al termine del corso) oppure da un compito (svolto durante la durata del corso) ed un progetto (tipicamente con una parte di programmazione).

Opinione studenti frequentanti - 2016/2017