OBJECTS, REGIONS AND SPATIO-TEMPORAL LOGIC

In this paper, we propose a spatio-temporal formalism to represent the relationship between objects and regions. We present a logical formalism based on a first order language augmented with operators which main aim is to facilitate the representation of spatio-temporal objects positions. This logic is an arborescent temporal logic. It allows studying the evolution of relative positions between entities during time. The trajectory of an object in areas is represented by equivalence classes of objects positions in present, past and future.