DeepAI AI Chat
Log In Sign Up

Tractable Fragments of Temporal Sequences of Topological Information

07/15/2020
by   Quentin Cohen-Solal, et al.
cril.fr
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/02/2019

Complete Intuitionistic Temporal Logics in Topological Dynamics

The language of linear temporal logic can be interpreted over the class ...
04/28/2021

Interactive Visualization for Exploring Information Fragments in Software Repositories

Software developers explore and inspect software repository data to obta...
09/17/2021

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 ...
06/29/2018

The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL

We investigate the satisfiability and finite satisfiability problem for ...
03/03/2014

On Redundant Topological Constraints

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

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...
09/01/2009

On the Internal Topological Structure of Plane Regions

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