Home » Archivo » Archvio 2011 » Ragionamento temporale - 2011/2012

Laurea Magistrale

Salta il menu di secondo livello

Ragionamento temporale - 6 CFU - A.A. 2011/2012

Insegnante

Dott.ssa Kristen Brent Venable

Periodo

I anno - 3 trimestre | 12/04/2012 - 16/06/2012

Curriculum:

Ore: 40 Frontali, 0 Laboratorio, 8 Esercizi

Torna su ▲

Programma del Corso

Definizione di vincoli temporali qualitativi e quantitativi, problemi di vincoli temporali e loro soluzioni.
Approccio qualitativo: Algebra degli Intervalli, Algebra dei Punti, Algebra dei Punti Finali Continui, relazioni Ord-Horn.
Approccio quantitativo: problemi di vincoli temporali metrici, problemi temporali disgiuntivi, problemi con incertezza problemi temporali condizionali.
Job-shop scheduling: problemi con attivita' non-interrompibili e interrompibili.
Campi di applicazione.

Prerequisiti: - -

Propedeuticità:

Ausili Didattici: - -

Testi di Riferimento: - Capitoli di Libri

M. Fisher, D. Gabbay, and L. Vila, editors,
Handbook of Temporal Reasoning in Artificial Intelligence,
pages 279--314, Elsevier 2005. Capitoli 6,8.

Rina Dechter.
Constraint Processing,
Morgan Kauffmann. Cap.12

Torna su ▲