Una breve introduzione alle logiche temporali ad intervalli

Supervisor
Davide Bresolin - Dipartimento di Matematica e Informatica, Università di Udine
Date and time
Tuesday, October 24, 2006 at 5:30 PM - caffè, tè & C. ore 17.00
Place
Ca' Vignal 2, Floor 1°, Lecture Hall L
Programme Director
Tiziano Villa
External reference
Publication date
October 19, 2006
Department
 

Summary

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.





© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234