The algebraic language Time-AgLOTOS was recently proposed to describe the time-dependent behavior of an ambient intelligent agent. The Spatio-Temporal Planning System (STPS) is a contextual model capturing all possible evolutions of an agent plan including context changes. It provides formal description of the possible actions of a plan supporting timing constraints, action duration and spatial requirements. Thereby, it can be derived from Time-AgLOTOS behavior expressions. In this paper, we propose a finite and symbolic representation of the STPS based on a number of spatio-temporal regions, preserving both time progress and location modeling. The resulting structure offers new possibilities and strategies for taking agent real-time decisions in context-awareness manner.
Boukharrou, R., Ilié, J. M., & Saïdouni, D. E. (2015). Spatio-temporal planning for mobile ambient agents. In Procedia Computer Science (Vol. 56, pp. 96–103). Elsevier B.V. https://doi.org/10.1016/j.procs.2015.07.174