Sillabo dell'insegnamento

• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Soluzione di problemi basata sulla ricerca nello spazio degli stati. Ricerca in ampiezza e ricerca in profondità. Metodi di ricerca informata: algoritmo A*. Cenni ai metodi di ricerca locale.
* LPD - Logica e Programmazione Dichiarativa
Logica proposizionale, clausole e risoluzione. Logica del primo ordine e cenni alla risoluzione e alla programmazione logica.
* SBC - Sistemi Basati su Conoscenza
Logica descrittiva e reti a ereditarietà strutturata. Ontologie e cenni alle applicazioni al Web semantico.
AI - Agenti Intelligenti
Introduzione all'Intelligenza Artificiale moderna e alla metafora di agente razionale. Descrizione delle quattro principali tipologie di agente.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento induttivo: alberi di decisione. Apprendimento per rinforzo.
AIA - Applicazioni della Intelligenza Artificiale
Agenti comunicanti e i sistemi multi-agente cooperanti e concorrenti. Comunicazione fra agenti e atti linguistici. FIPA e il modello BDI (con cenni alla logica modale).