Temporal logic inference is the process of extracting formal descriptions system behaviors from data in form temporal formulas. The existing methods mostly neglect uncertainties data, which results limited applicability such real-world deployments. In this paper, we first investigate associated with trajectories a and represent interval trajectories. We then propose two uncertainty-aware signal...

Symbolic logic generally supports the reasoning with propositions, i.e., with statements to be evaluated to true or false. Temporal logic is a special branch of symbolic logic focussing on propositions whose truth values depend on time. That contrasts with the classical logic point of view where the truth value of a repeatedly uttered proposition must always be the same and must neither depend ...

In this document we carry out a comparative analysis of the application of Fuzzy Logic Controllers (hereinafter FLCs), Fuzzy Temporal Rules-Based Controllers (hereinafter FTRCs), Temporal Fuzzy Logic Controllers (hereinafter TFLCs) and Faded Temporal fuzzy Logic Controllers (hereinafter FTFLCs), to improve the adaptive distributed routing. To obtain a good knowledge base the controllers were ev...