From Box Algebra to Interval Temporal Logic

COMPUTING SCIENCE Interval Temporal Logic Semantics of Box Algebra

Prompt Interval Temporal Logic

Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science. Unfortunately, they lack the ability of expressing promptness conditions, as it happens with the commonly-used temporal logics, e.g.,...

Refining Interval Temporal Logic Specifications

Interval Temporal Logic (ITL) was designed as a tool for the specification and verification of systems. The development of an executable subset of ITL, namely Tempura, was an important step in the use of temporal logic as it enables the developer to check, debug and simulate the design. However, a design methodology is missing that transforms an abstract ITL specification to an executable (conc...

Explanation Generation over Temporal Interval Algebra

Temporal interval algebra has generated strong interest for both theoretical and practical reasons. All its maximal tractable subalgebras (MTS) have been identified. Now is the time to make transition toward their practical applications. In this work we have proposed a formalism on how to classify an input temporal network in one of these MTSs, or decide its intractability. We have also propose...

Qualitative Temporal Behavior Description and Temporal Diagnosis Using Interval Algebra

As noticed in some recent work, describing and diagnosing temporal behavior and faults is an important, but complex task. In this paper we discuss a new approach based on a subset of Allen's interval algebra, which extends previous work by allowing both the representation of qualitative temporal behavior (including symptoms over time) and the diagnosis of these systems.