DeepAI AI Chat
Log In Sign Up

Tractable Fragments of Temporal Sequences of Topological Information

by   Quentin Cohen-Solal, et al.

In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points. We show that there is no Cartesian subclass containing all the basic relations and the universal relation for which the algebraic closure decides satisfiability. However, we identify some tractable subclasses, by giving up the relations containing the non-tangential proper part relation and not containing the tangential proper part relation. We then formalize an alternative semantics for temporal sequences. We place ourselves in the context of the topological temporal sequences describing the evolution of regions on a partition of time (i.e. an alternation of instants and intervals). In this context, we identify large tractable fragments.


page 1

page 2

page 3

page 4


Complete Intuitionistic Temporal Logics in Topological Dynamics

The language of linear temporal logic can be interpreted over the class ...

Interactive Visualization for Exploring Information Fragments in Software Repositories

Software developers explore and inspect software repository data to obta...

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete

The choice of the right trade-off between expressiveness and complexity ...

The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL

We investigate the satisfiability and finite satisfiability problem for ...

On Redundant Topological Constraints

The Region Connection Calculus (RCC) is a well-known calculus for repres...

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete

A classic result by Stockmeyer gives a non-elementary lower bound to the...

On the Internal Topological Structure of Plane Regions

The study of topological information of spatial objects has for a long t...