Abstract
Model checking is a very well-known problem, with many practical applications. A possible variation of such a problem in the interval logic setting is the so-called finite model checking, that consists of verifying an interval temporal logic formula, typically of Halpern and Shoham’s logic of Allen’s relations HS, on a fully represented finite interval model. Multivariate time series are collections of temporally ordered sets of values, and they allow to describe a variety of situations, such as the medical history of an hospitalized patient or the sensor values during a plane flight. In this paper we argue how the recently introduced fuzzy generalization of interval temporal logic is a suitable language in which interesting properties of a multivariate time series can be expressed and checked, and we define, solve, and discuss the complexity of the multivariate time series fuzzy interval logic checking problem.
Citation
Please, cite this work as:
[Con+20] W. Conradie, D. D. Monica, E. Mu~noz-Velasco, et al. “Time Series Checking with Fuzzy Interval Temporal Logics”. In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020. Ed. by G. Cordasco, L. Gargano and A. A. Rescigno. Vol. 2756. CEUR Workshop Proceedings. CEUR-WS.org, 2020, pp. 250-262. URL: https://ceur-ws.org/Vol-2756/paper_29.pdf.
@InProceedings{Conradie2020a,
author = {Willem Conradie and Dario Della Monica and Emilio Mu~noz-Velasco and Guido Sciavicco and Ionel Eduard Stan},
booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020},
title = {Time Series Checking with Fuzzy Interval Temporal Logics},
year = {2020},
editor = {Gennaro Cordasco and Luisa Gargano and Adele A. Rescigno},
pages = {250–262},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
volume = {2756},
abstract = {Model checking is a very well-known problem, with many practical applications. A possible variation of such a problem in the interval logic setting is the so-called finite model checking, that consists of verifying an interval temporal logic formula, typically of Halpern and Shoham’s logic of Allen’s relations HS, on a fully represented finite interval model. Multivariate time series are collections of temporally ordered sets of values, and they allow to describe a variety of situations, such as the medical history of an hospitalized patient or the sensor values during a plane flight. In this paper we argue how the recently introduced fuzzy generalization of interval temporal logic is a suitable language in which interesting properties of a multivariate time series can be expressed and checked, and we define, solve, and discuss the complexity of the multivariate time series fuzzy interval logic checking problem.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/ictcs/ConradieMMSS20.bib},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
url = {https://ceur-ws.org/Vol-2756/paper_29.pdf},
}