Corso di Intelligenza Artificiale

Alcuni lucidi usati a lezione/esercitazione

Prof.  Alfonso Gerevini
Ing.  Alessandro Saetti (Esercitazioni)

Lucidi di alcune lezioni:

• Introduzione al corso e all'IA (cenni storici, obiettivi, aree, ecc.)

• Agenti intelligenti: introduzione e concetti base

• Introduzione alla risoluzione di problemi con ricerca

• Introduzione a Constraint Satisfaction Problems

• Linguaggi di rappresentazione della conoscenza e logica proposizionale (alcuni lucidi usati a lezione)

• Logica proposizionale ed Otter

• Logica del primo ordine ed Otter

• Ragionamento temporale e CSP con domini continui

• Tabella di composizione per relazioni temporali atomiche tra intervalli

• Ragionamento spaziale topologico e spazio-temporale

• Pianificazione POP (Partial Order Planning)

• Algoritmo di Pianificazione GraphPlan

• Sistema di Pianificazione FF (Fast Forward)

• Sistema di Pianificazione LPG

• Il linguaggio di pianificazione PDDL

• Introduzione all ragionamento probabilistico

• Inferenza e ragionamento nelle reti bayesiane

• Processi Decisionali di Markov

• Reti Neurali (Perceptrone e Feed Forward)