2026-06-01T01:18:19Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/363752026-02-03T10:52:30Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Conradie, Willem author Della Monica, Dario author Muñoz-Velasco, Emilio José author Sciavicco, Guido author Stan, Ionel Eduard author 2023 The most representative interval temporal logic, called HS, was introduced by Halpern and Shoham in the nineties. Recently, HS has been proposed as a suitable formalism for modern artificial intelligence applications; however, when dealing with real-life data one is not always able to express temporal relations and propositional labels in a definite, crisp way. In this paper, following the seminal ideas of Fitting and Zadeh, we present a fuzzy generalization of HS, called FHS, that partially solves such problems of expressive power. We study FHS from both a theoretical and an application standpoint: first, we discuss its syntax, semantics, expressive power, and satisfiability problem; then, we define and solve the time series FHS finite model checking problem, to serve as the basis of future applications. Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Fuzzy Halpern and Shoham's interval temporal logics, Fuzzy Sets and Systems, Volume 456, 2023, Pages 107-124, ISSN 0165-0114, https://doi.org/10.1016/j.fss.2022.05.014 https://hdl.handle.net/10630/36375 10.1016/j.fss.2022.05.014 Modalidad (Lógica) Fuzzy Halpern and Shoham's interval temporal logics