Logical forms of chronicles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Logical forms of chronicles

Résumé

A chronicle is a temporal model introduced by Dousson et al. for situation recognition. In short, a chronicle consists of a set of events and a set of real-valued temporal constraints on the delays between pairs of events. This work investigates the relationship between chronicles and classical temporal-model formalisms, namely TPTL and MTL. More specifically, we answer the following question: is it possible to find an equivalent formula in such formalisms for any chronicle? This question arises from the observation that a single chronicle captures complex temporal behaviours, without imposing a particular order of the events in time. For our purpose, we introduce the subclass of linear chronicles, which set the order of occurrence of the events to be recognized in a temporal sequence. Our first result is that any chronicle can be expressed as a disjunction of linear chronicles. Our second result is that any linear chronicle has an equivalent TPTL formula. Using existing expressiveness results between TPTL and MTL, we show that some chronicles have no equivalent in MTL. This confirms that the model of chronicle has interesting properties for situation recognition. 2012 ACM Subject Classification Theory of computation → Modal and temporal logics; Theory of computation → Timed and hybrid models Keywords and phrases temporal logics, temporal models Digital Object Identifier 10.4230/LIPIcs.TIME.2022.1
Fichier principal
Vignette du fichier
chronicleMTL_TIME22.pdf (644.08 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03777471 , version 1 (14-09-2022)
hal-03777471 , version 2 (17-10-2022)

Identifiants

  • HAL Id : hal-03777471 , version 2

Citer

Thomas Guyet, Nicolas Markey. Logical forms of chronicles. TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Virtual, Heard & McDonald Islands. pp.1-15. ⟨hal-03777471v2⟩
102 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More