Una breve introduzione alle logiche temporali ad intervalli

Relatore
Davide Bresolin - Dipartimento di Matematica e Informatica, Università di Udine

Data e ora
martedì 24 ottobre 2006 alle ore 17.30 - caffè, tè & C. ore 17.00

Luogo
Ca' Vignal 2, Piano 1, Aula L

Referente
Tiziano Villa

Referente esterno

Data pubblicazione
19 ottobre 2006

Dipartimento
 

Riassunto

La maggior parte delle logiche temporali proposte e studiate in letteratura sono le logiche temporali basate su punti, dove le unità fondamentali che costituiscono il dominio temporale sono i singoli istanti di tempo. Esiste tuttavia una seconda tipologia di logiche, le logiche temporali su intervalli, dove le unità fondamentali che costituiscono il dominio temporale sono gli intervalli di tempo. Questo tipo di logiche si rivela estremamente utile in molte aree dell'informatica e dell'intelligenza artificiale (ad esempio lo studio del linguaggio naturale ed il planning), dove l'utilizzo degli intervalli temporali anziché dei punti si rivela molto più naturale e vicino al senso comune. Il seminario e' un'introduzione alle varie logiche temporali ad intervalli presenti in letteratura. Presenta i principali risultati di assiomatizzazione, decidibilita' ed espressivita' di tali logiche, con particolare riferimento alla Propositional Neighborhood Interval Logic (PNL) recentemente proposta da Goranko, Montanari e Sciavicco.
ornamento
Inizio pagina