Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Fuzzy Time in LTL   In the last years, the adoption of active systems has increased in many
fields of computer science, such as databases, sensor networks, and software
engineering. These systems are able to automatically react to events, by
collecting information from outside and internally generating new events.
However, the collection of data is often hampered by uncertainty and vagueness
that can arise from the imprecision of the monitoring infrastructure,
unreliable data sources, and networks. The decision making mechanism used to
produce a reaction is also imprecise, and cannot be evaluated in a crisp way.
It depends on the evaluation of vague temporal constraints, which are expressed
on the collected data by humans. Despite fuzzy logic has been mainly conceived
as a mathematical abstraction to express vagueness, no attempt has been made to
fuzzify the temporal modalities. Existing fuzzy languages do not allow us to
represent temporal properties, such as "almost always" and "soon". Indeed, the
semantics of existing fuzzy temporal operators is based on the idea of
replacing classical connectives or propositions with their fuzzy counterparts.
To overcome these limitations, we propose a temporal framework, FTL (Fuzzy-time
Temporal Logic), to express vagueness on time. This framework formally defines
a set of fuzzy temporal modalities, which can be customized by choosing a
specific semantics for the connectives. The semantics of the language is sound,
and the introduced modalities respect a set of expected mutual relations. We
also prove that under the assumption that all events are crisp, FTL reduces to
LTL. Finally, for some of the possible fuzzy interpretations of the
connectives, we identify adequate sets of temporal operators, from which it is
possible to derive all the others.

22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc