Docente/i: Marco Piastra  

Denominazione del corso: Intelligenza artificiale I
Codice del corso: 064058
Corso di laurea: Ingegneria Elettronica, Ingegneria Informatica
Settore scientifico disciplinare: ING-INF/05
Crediti formativi: CFU 5
Sito web del corso: http://vision.unipv.it/IA1/

Obiettivi formativi specifici

Il corso si propone di fornire gli elementi di base dei metodi di rappresentazione cognitiva, simbolica e non, ai fini della descrizione progettuale e la programmazione di sistemi informatici. In particolare, sono trattati gli elementi fondamentali del calcolo logico-simbolico e delle reti neurali

Programma del corso

Che cos’è l’intelligenza artificiale

Rappresentazione cognitiva simbolica e non simbolica

Logica proposizionale e inferenza

Ricerca nello spazio degli stati

Automazione della logica proposizionale

Logica del primo ordine (introduzione)

Sistemi a regole, sistemi esperti

Pianificazione ed azione

Ricerca euristica

Reti neurali (introduzione)

Prerequisiti

Buona conoscenza del linguaggio Java

Tipologia delle attività formative

Lezioni (ore/anno in aula): 30
Esercitazioni (ore/anno in aula): 18
Laboratori (ore/anno in aula): 0
Progetti (ore/anno in aula): 0

Materiale didattico consigliato

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

Stuart Russell, Peter Norvig,. Intelligenza Artificiale: un approccio moderno. UTET, ISBN 88-7750-406-4.. Traduzione di Luigia Carlucci Aiello.

Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997, ISBN 888107097-9.

Modalità di verifica dell'apprendimento

L’esame prevede la realizzazione di un progetto ed una prova orale.