OBJECTS, REGIONS AND SPATIO-TEMPORAL LOGIC

Full Article - PDF

Published: 2015-11-11

Page: 77-91


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


How to Cite

AIDER, A., & MAMACHE, F. (2015). OBJECTS, REGIONS AND SPATIO-TEMPORAL LOGIC. Asian Journal of Mathematics and Computer Research, 9(1), 77–91. Retrieved from https://ikprress.org/index.php/AJOMCOR/article/view/147

Downloads

Download data is not yet available.