We investigate a non-classical version of linear temporal logic whose propositional fragment is Gödel–Dummett (which well known both as superintuitionistic and t-norm fuzzy logic). define the using two natural semantics, real-valued semantics bi-relational show that these indeed one same logic. Although this Gödel does not have any form finite model property for we every falsifiable formula on ...

Temporal knowledge graph, serving as an effective way to store and model dynamic relations, shows promising prospects in event forecasting. However, most temporal graph reasoning methods are highly dependent on the recurrence or periodicity of events, which brings challenges inferring future events related entities that lack historical interaction. In fact, current moment is often combined effe...

Qualitative representing and reasoning for road network moving objects are key works to put spatiotemporal reasoning into practices, but those are still open problems. We propose a new spatial algebra for road network moving objects based on Interval Algebra theory. Renz had developed an algebra DIA to represent one dimensional moving objects by giving time interval a spatial interpretation. Ex...

Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simplified formalisms and techniques, such as temporal interval algebras or model checking. In this paper we show that tractable sub-classes of propositional linear temporal logic can be developed, based on the use of XOR ...

Real-Time Future Interval Logic (RTFIL) is a visual logic with formull that resemble timing diagrams. It is a dense real-time temporal logic that is based on two simple temporal primitives: interval modalities for the purely qualitative part and duration predicates for the quantitative part. In this paper we present the logic, and illustrate its use in specifying the railroad crossing example a...