INTELLIGENZA ARTIFICIALE

Ingegneria Informatica INTELLIGENZA ARTIFICIALE

0622700020
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE ED ELETTRICA E MATEMATICA APPLICATA
CORSO DI LAUREA MAGISTRALE
INGEGNERIA INFORMATICA
2017/2018

ANNO CORSO 2
ANNO ORDINAMENTO 2016
PRIMO SEMESTRE
CFUOREATTIVITÀ
432LEZIONE
216LABORATORIO
Obiettivi
L’insegnamento presenta gli aspetti fondamentali per la modellazione di agenti artificiali in grado di interagire con ambienti mutevoli. Vengono affrontati gli aspetti relativi alla rappresentazione del mondo, ai metodi generali per la risoluzione dei problemi, all’apprendimento automatico di strategie comportamentali.

Conoscenze e capacità di comprensione
Conoscenza delle metodologie e degli strumenti per la modellazione di agenti intelligenti. Comprensione delle relazioni tra rappresentazioni del mondo, strategie di risoluzione dei problemi e possibilità di apprendimento automatico.

Conoscenza e capacità di comprensione applicate
Saper individuare i modelli e gli strumenti più adatti per la rappresentazione e la soluzione di problemi complessi e stimarne i costi computazionali e le prestazione. Capacità di implementare agenti intelligenti.
Prerequisiti
ELEMENTI DI LOGICA, PROGETTAZIONE DI ALGORITMI E STRUTTURE DATI.
Contenuti
INTRODUZIONE AL CORSO
(LEZIONE: 3H; ESERCITAZIONE: 0H)
CONCETTI FONDAMENTALI: AGENTE, AMBIENTE, PRESTAZIONI – I FONDAMENTI TEORICI: TEORIA DELLA COMPUTABILITA’ – MODELLI DI AGENTI INTELLIGENTI
RISOLUZIONE DI PROBLEMI
(LEZIONE: 15H)
STRATEGIE DI RICERCA NON INFORMATA – STRATEGIE DI RICERCA INFORMATA – RICERCA LOCALE E PROBLEMI DI OTTIMIZZAZIONE - CSP
RICERCA CON AVVERSARI
(LEZIONE: 7H)
TEORIA DEI GIOCHI – DECISIONI OTTIME – POTATURA ALFA-BETA
AGENTI LOGICI
(LEZIONE: 9H)
LOGICA PROPOSIZIONALE – DIMOSTRAZIONE DI TEOREMI – MODEL CHECKING – AGENTI BASATI SULLA LOGICA PROPOSIZIONALE
LOGICA DEL PRIMO ORDINE
(LEZIONE: 6H)
SINTASSI E SEMANTICA – USO DELLA LOGICA DEL PRIMO ORDINE – INGEGNERIA DELLA CONOSCENZA E LOGICA DEL PRIMO ORDINE
INFERENZA NELLA LOGICA DEL PRIMO ORDINE
(LEZIONE: 6H)
INFERENZA PROPOSIZIONALE E INFERENZA DEL PRIMO ORDINE – UNIFICAZIONE E LIFTING – CONCATENAZIONE IN AVANTI E ALL’INDIETRO - RISOLUZIONE
LINGUAGGIO PROLOG
(LEZIONE: 4H; ESERCITAZIONE: 4H; LABORATORIO: 6H)
SINTASSI - CLAUSOLE DI HORN - UNIFICAZIONE - RICORSIONE - BACKTRACKING
Metodi Didattici
L’INSEGNAMENTO CONTEMPLA LEZIONI TEORICHE ED ESERCITAZIONI IN AULA. NELLE ESERCITAZIONI IN AULA VIENE ASSEGNATO AGLI STUDENTI, DIVISI PER GRUPPI DI LAVORO, UN PROGETTO CHE COMPRENDE UNITARIAMENTE TUTTI I CONTENUTI DELL’INSEGNAMENTO ED È STRUMENTALE ALL’ACQUISIZIONE, OLTRE CHE DELLE CAPACITÀ SPECIFICHE, DELLE CAPACITÀ DI LAVORARE IN TEAM.
Verifica dell'apprendimento
LA VALUTAZIONE DEL RAGGIUNGIMENTO DEGLI OBIETTIVI PREFISSATI AVVIENE MEDIANTE UN COLLOQUIO E LA PRESENTAZIONE DEL PROGETTO SVOLTO. IL VOTO SI OTTIENE DALLA SOMMA PESATA DELLE VALUTAZIONE DEI CONTENUTI DEL PROGETTO (70%), DELLA SUA PRESENTAZIONE (10%) E DEL COLLOQUIO (20%).
Testi
S. RUSSELL, P. NORVIG, INTELLIGENZA ARTIFICIALE: UN APPROCCIO MODERNO, VOLUME I, PEARSON, 3A ED., 2010
L. STERLING, E. SHAPIRO, THE ART OF PROLOG, SECOND EDITION: ADVANCED PROGRAMMING TECHNIQUES, THE MIT PRESS, 1986
Altre Informazioni
ULTERIORI MATERIALI DIDATTICI SONO DISPONIBILI SUL SITO DELL'INSEGNAMENTO.

L'insegnamento è erogato in lingua italiana.
  BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2019-05-14]