RT Journal Article
T1 Fuzzy Halpern and Shoham's interval temporal logics
A1 Conradie, Willem
A1 Della Monica, Dario
A1 Muñoz-Velasco, Emilio José
A1 Sciavicco, Guido
A1 Stan, Ionel Eduard
K1 Modalidad (Lógica)
AB 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.
PB Elsevier
YR 2023
FD 2023
LK https://hdl.handle.net/10630/36375
UL https://hdl.handle.net/10630/36375
LA eng
NO 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
NO PGC2018-095869-B-I00.UMA2018-FEDERJA-001 (JA/UMA/FEDER).INDAM GNCS project Strategic Reasoning and Automated Synthesis of Multi-Agent Systems.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 28 feb 2026