Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Fondamenti: logica proposizionale; logica del primo ordine
• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Principi fondamentali, Strategie di ricerca
* SBC - Sistemi Basati su Conoscenza
Il modello di calcolo; i task; le applicazioni
* LPD - Logica e Programmazione Dichiarativa
Paradigmi computazionali: programmazione eregole, programmazione PROLOG
ARC - Acquisizione e Rappresentazione della Conoscenza
I metodi per acquisire conoscenza, la concettualizzazione, la scelta della rappresentazione
AI - Agenti Intelligenti
Modelli di agente: l'agente risolutore di problemi, l'agente basato su conoscenza, l'agente pianificatore, l'agente che impara
RA - Ragionamento Automatico
Rappresentazione di conoscenza, schemi di rappresentazione, ragionamento, ragionamento sotto incertezza
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Paradigmi di apprendimento induttivo simbolico e sub-simbolico, guidato e non guidato.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendimento multistrategico. Fondamenti di Inductive Logic Programming