Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Fondamenti: logica proposizionale; logica del primo ordine
• M - Rappresentazione della conoscenza
* RP - Risoluzione di Problemi
Risolvere problemi attraverso la ricerca nello spazio degli stati. Strategie di ricerca informata. Ricerca a due avversari
* SBC - Sistemi Basati su Conoscenza
Principi fondamentali, il modello di calcolo, i task, le applicazioni
* LPD - Logica e Programmazione Dichiarativa
Paradigmi computazionali: programmazione a regole, programmazione PROLOG
ARC - Acquisizione e Rappresentazione della Conoscenza
I metodi per acquisire conoscenza, la concettualizzazione, la scelta della rappresentazione. Ragionare con la conoscenza
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, reti semantiche, frames e scripts
RA - Ragionamento Automatico
Ragionamento sotto incertezza. Uso di logiche modali.
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Apprendere conoscenza in forma dichiarativa. Paradigmi di apprendimento induttivo simbolico e sub-simbolico, guidato e non guidato. Fondamenti di Inductive Logic Programming