Il corso introduce alle principali tematiche dell'Intelligenza Artificiale di tipo deduttivo.
L'obiettivo del corso è fornire le basi degli agenti autonomi intelligenti basati sulla conoscenza.
Alcune conoscenze preliminari di matematica discreta, algebra e informatica teorica sono utili per una migliore comprensione del materiale del corso.
Ricevimento: Su appuntamento a richiesta degli studenti tramite una email al docente.
MATTEO CARDELLINI (Presidente)
ALESSANDRO CARFI'
ENRICO GIUNCHIGLIA (Presidente Supplente)
ARMANDO TACCHELLA (Presidente Supplente)
Il corso è suddiviso in due moduli, con modalità di esame specifica per ogni modulo.
Il risultato delle prove sostenuto in ogni modulo verrà considerato per l'attribuzione del voto finale