Una breve introduzione alle logiche temporali ad intervalli

Relatore:  Davide Bresolin - Dipartimento di Matematica e Informatica, Università di Udine
  martedì 24 ottobre 2006 alle ore 17.30 caffè, tè & C. ore 17.00
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.

Luogo
Ca' Vignal 2, Piano 1°, Aula L

Referente
Tiziano Villa

Referente esterno
Data pubblicazione
19 ottobre 2006

Offerta formativa

Condividi