2026-06-02T16:10:43Zhttps://riuma.uma.es/rest/oai/request

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

Fuzzy Halpern and Shoham's interval temporal logics Conradie, Willem Della Monica, Dario Muñoz-Velasco, Emilio José Sciavicco, Guido Stan, Ionel Eduard Modalidad (Lógica) 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. 2025-01-15T13:04:08Z 2025-01-15T13:04:08Z 2023 journal article 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 eng open access Elsevier