An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification

摘要

In 1983, B. Moszkowski introduced a first intervally-interpreted temporal logic system, the so-called Interval Temporal Logic, denoted by ITL. ITL forms the modal-temporal system suitable to represent temporal relations between intervals and their subintervals and it found a broad application area in system specifications. This paper is aimed at proposing a kind of an epistemic extension of a simplified propositional version of ITL in order to express fuzzified justifications in it. This newly introduced system is also semantically interpreted in an interval-based fibred semantics. The theoretic considerations are exemplified in some epistemic situation extracted from the classical Traveling Salesman Problem.