Docente
|
LIBERATORE PAOLO
(programma)
Pianificazione automatica: definizione del problema di pianificazione; linguaggi di planning; ricerca euristica; euristiche indipendenti dal dominio; pianificazione non deterministica; pianificazione per traduzione; pianificazione con preferenze; pianificazione con portafoglio.
Ragionamento automatico: metodi incompleti: GSAT e propagazione unitaria; DPLL; tableaux proposizionali, al primo ordine ground e al primo ordine con unificazione. logiche modali, tableaux per logiche modali; LTL, model checking e symbolic model checking; deduzione naturale proposizionale e al primo ordine; metodi di Hilbert.
Programmazione a vincoli.
Lucidi, disponibili sul sito del corso.
Automated Planning: Theory & Practice di Ghallab, Nau e Traverso
Logic in computer science di Huth e Ryan
|