Docente/i: Marco Piastra  

Denominazione del corso: Intelligenza artificiale II
Codice del corso: 064140
Corso di laurea: Ingegneria Informatica
Settore scientifico disciplinare: ING-INF/05
L'insegnamento è caratterizzante per: Ingegneria Informatica
Crediti formativi: CFU 5
Sito web del corso: http://vision.unipv.it/IA2/

Obiettivi formativi specifici

Il corso prosegue la linea di studio di Intelligenza Artificiale I e si propone di mettere a confronto le varie tecniche di ragionamento formale automatico. Partendo dal calcolo logico-simbolico, vengono introdotte diverse forme di logica non classica con particolare riferimento alla logica modale. In quest'ottica, le forme di rappresentazione probabilistica vengono viste come un'estensione numerica delle tecniche simboliche. Vengono prese in considerazione forme di ragionamento e di apprendimento automatico in ambito probabilistico. Il corso prevede anche l'introduzione a forme di calcolo non simbolico, come le reti auto-organizzanti e gli automi cellulari. E' previsto lo studio anche di diverse forme di calcolo evolutivo

Programma del corso

Oltre la logica classica: diversi formalismi, diverse forme di ragionamento

Ragionamento deduttivo, abduttivo, e induttivo

Logiche modali proposizionali e del primo ordine

Programmazione logica (introduzione)

Logiche sfumate (fuzzy logics)

Rappresentazione probabilistica e modelli grafici

Inferenza probabilistica, apprendimento automatico

Sistemi auto-organizzanti

Automi cellulari

Algoritmi genetici, programmazione genetica, calcolo evolutivo

Prerequisiti

Intelligenza Artificiale I, buona conoscenza del linguaggio Java.

Tipologia delle attività formative

Lezioni (ore/anno in aula): 30
Esercitazioni (ore/anno in aula): 18
Attività pratiche (ore/anno in aula): 0

Materiale didattico consigliato

Reperibili presso la pagina del corso: lezioni, letture consigliate, software per le esercitazioni

Stuart Russell, Peter Norvig. Intelligenza Artificiale: un approccio moderno (terza edizione). Prentice Hall, 2010.

Ulf Nilsson, Jan Maluszynski. Logic, Programming and Prolog (2ed). John Wiley & Sons Ltd. (Liberamente accessibile in formato PDF: http://www.ida.liu.se/~ulfni/lpp/).

Modalità di verifica dell'apprendimento

L’esame prevede una prova orale che include la discussione delle attività di laboratorio