Ragionamento Temporale Laurea Magistrale in Informatica
2008/2009
Ragionamento Temporale Laurea Magistrale in Informatica
2008/2009
Informazioni Docente:
K. Brent Venable, Studio 429 Torre Archimede (IV Piano)
E-mail: kvenable@math.unipd.it
Sito del corso: www.math.unipd.it/~kvenable
Crediti: 6
Materiale: Slides e articoli (…sul sito)
Modalita’ esame: presentazione scritta e/o orale di un tema di approfondimento a scelta
Orari e date
Martedi’ 1BC/45 :
Ufficiale: 11:30 – 13:30
Ufficioso: 11:30 – 13:00
Mercoledi’ 1BC/45
Ufficiale: 14:30- 16:30
Ufficioso:14:45 -16:15
Venerdi’ in 1BC/50:
Ufficiale: 11:30-13:30
Ufficioso: 11:30-13:00
Non ci sara’ lezione Venerdi’ 17 Aprile
Ragionamento Temporale Rapprsentazione delle informazioni e delle conoscenze che coinvolgono il tempo
Ho un appuntamento alle 13:00
Devo arrivare in stazione almeno 10 minuti prima della partenza
Prima il dovere, dopo il piacere
Risolvere problemi di tipo temporale
Time-tabling, ad esempio decidere gli orari di tutte le lezioni della LT
Scheduling, ad esempio decidere l’ordine e la durata temporale dei compiti di un Mars Rover per un giorno Marziano
Planning, in quale ordine temporale eseguire delle azioni per conseguire determinati risultati
Applicazioni del Ragionamento Temporale(1) Innumerrevoli!
Industria:
Programmazione della produzione: schedulazioni su catene di montaggio, tempi di produzione, sincronizzazione produzione di componenti
Gestione del personale: calendari, turni, appuntamenti, riunioni
Logistica: arrivi e partenze dal magazzino, consegne, tempi di evasione degli ordini
Trasporti:
Gestione Orario dei treni, gestione binari
Gestione Orario dei voli, tempi di assegnamento gates e piste degli aereoporti
Applicazioni Ragionamento Temporale(2) Settore Legale
Brevetti, analisi e verifica di alibi, calcolo dei danni
Sistemi di ragionamento legale automatico capaci di inferire delle conclusioni di tipo legale o determinare l’applicabilita’ di alcune leggi
Settore Medico
Diagnostica: aspetto temporale della causalita’
Terapia: aspetto temporale dei protocolli di cura
Database di cartelle cliniche e informazioni anamnestiche
Il punto di vista dell’Intelligenza Artificiale L’ambito del Ragionamento Temporale e’ molto vasto…restringiamo il campo
Il punto di vista da cui studiamo questo argomento e’ quello dell’Intelligenza Artificiale (AI)
Def AI
Studiare i formalismi che permettono di rappresentare e gestire le informazioni temporali nel contesto di agenti artificiali (robot, algoritmi, softwares)
Studiare gli algoritmi che permettono di manipolare le informazioni cosi’ rappresentate
Ragionamento Temporale basato su vincoli Formalismi Temporali in AI
Logica temporale
Planning
Calcolo delle Situazioni
Calcolo degli Eventi
Ragionamento temporale probabilistico
…
Vincoli temporali Noi studieremo questo
formalismo!
Programma approssimativo del corso Scheduling con Vincoli Temporali:
definizione di vincoli temporali qualitativi e quantitativi,
problemi di vincoli temporali e loro soluzione,
problema della soddisfacibilita' (ISAT) e problema dell'etichettamento minimo (MLP).
Vincoli temporali qualitativi:
Algebra degli intervalli,
Algebra dei Punti,
Algebra dei Punti Finali Continui,
Algebra delle macro relazioni,
Calcolo generalizzato sugli intervalli.
Vincoli temporali quantitativi:
Algebra delle distanze, vincoli temporali metrici,
Algoritmi per ISAT e MLP basati su path-consistency,
Problemi Temporali disgiuntivi,
Vincoli temporali con preferenze,
Vincoli temporali con preferenze e incertezza.
Integrazione vincoli qualitativi e quantitativi
Applicazioni: Autominder
Comments