A generalized time quantifier approach to approximate reasoning

In this paper, a rather expressive fuzzy temporal logic for linear time is introduced. First, this logic is a multivalued generalization (Lukasiewicz style) of a two-valued linear-time temporal logic based on, e.g., the "until" operator. Second, it is obtained by introducing a generalized time quantifier (a generalization of the partition operator investigated by Shen) applied to fuzzy time sets. In this fuzzy temporal logic, generalized compositional rules of inference, suitable for approximate reasoning in a temporal setting, are presented as valid formulas. Some medical examples illustrate our approach.