Speaker:
Davide Bresolin
- Dipartimento di Matematica e Informatica, Università di Udine
Tuesday, October 24, 2006
at
5:30 PM
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.
