OBJECTS, REGIONS AND SPATIO-TEMPORAL LOGIC
ALDJIA AIDER *
Département d'Informatique, RIIMA Laboratoire de Recherche en Informatique Intelligente et Mathématiques Appliquées, Faculté d'Electronique et d'Informatique, USTHB, BP 32 El Alia, Bab Ezzouar, Alger, Algérie.
FATIHA MAMACHE
Département d'Informatique, RIIMA Laboratoire de Recherche en Informatique Intelligente et Mathématiques Appliquées, Faculté d'Electronique et d'Informatique, USTHB, BP 32 El Alia, Bab Ezzouar, Alger, Algérie.
*Author to whom correspondence should be addressed.
Abstract
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.
Keywords: Artificial intelligence, spatial knowledge representation, spatio-temporal logic, knowledge representation, temporal logic