scholarly journals Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

2015 ◽  
pp. 156-172 ◽  
Author(s):  
Ezio Bartocci ◽  
Luca Bortolussi ◽  
Dimitrios Milios ◽  
Laura Nenzi ◽  
Guido Sanguinetti
Keyword(s):  
Temporal Logic ◽  
Spatio Temporal ◽  
Emergent Behaviours

scholarly journals Ruina/basural: Lógicas temporales y espaciales de la ciudad de La Paz en Saenz y Viscarra

2021 ◽  
Vol 26 ◽  
pp. 158-180
Author(s):  
Irina Alexandra Feldman
Keyword(s):  
Temporal Logic ◽  
Linear Temporal Logic ◽  
Space Time ◽  
Victor Hugo ◽  
National Narrative ◽  
Temporal Logics ◽  
La Paz ◽  
Queer Space ◽  
Spatio Temporal ◽  
The City

This article analyzes spatio-temporal logics in the representation of the city of La Paz in Imágenes Paceñas by Jaime Saenz and the urban chronicles of Víctor Hugo Viscarra. Juxtaposing the concepts of chrononormativity and queer time, it explores how linear temporal logic remains insufficient for the understanding of the city and its inhabitants in the two narrative projects. The article postulates that the marginal spaces of architectural ruins and garbage dumps, and the marginalized people who inhabit queer space-time are key to “revealing the hidden city” and understanding its contradictory place in the national narrative and space.

scholarly journals Temporalising Separation Logic for Planning with Search Control Knowledge

2017 ◽  
Author(s):  
Xu Lu ◽  
Cong Tian ◽  
Zhenhua Duan
Keyword(s):  
Temporal Logic ◽  
Expressive Power ◽  
Separation Logic ◽  
Temporal Constraints ◽  
Ai Planning ◽  
Temporal Logics ◽  
Spatial Constraints ◽  
Spatio Temporal ◽  
Control Knowledge ◽  
Search Control

Temporal logics are widely adopted in Artificial Intelligence (AI) planning for specifying Search Control Knowledge (SCK). However, traditional temporal logics are limited in expressive power since they are unable to express spatial constraints which are as important as temporal ones in many planning domains. To this end, we propose a two-dimensional (spatial and temporal) logic namely PPTL^SL by temporalising separation logic with Propositional Projection Temporal Logic (PPTL). The new logic is well-suited for specifying SCK containing both spatial and temporal constraints which are useful in AI planning. We show that PPTL^SL is decidable and present a decision procedure. With this basis, a planner namely S-TSolver for computing plans based on the spatio-temporal SCK expressed in PPTL^SL formulas is developed. Evaluation on some selected benchmark domains shows the effectiveness of S-TSolver.

A spatio-temporal logic for 2D multi-agent problem domains

1997 ◽  
Vol 12 (1) ◽  
pp. 141-145 ◽  
Author(s):  
Denis Gagné ◽  
Wanlin Pang ◽  
André Trudel
Keyword(s):  
Temporal Logic ◽  
Multi Agent ◽  
Spatio Temporal

scholarly journals Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

2005 ◽  
Vol 23 ◽  
pp. 167-243 ◽  
Author(s):  
D. Gabelaia ◽  
R. Kontchakov ◽  
A. Kurucz ◽  
F. Wolter ◽  
M. Zakharyaschev
Keyword(s):  
Temporal Logic ◽  
Clear Picture ◽  
Temporal Logics ◽  
Trade Off ◽  
Spatio Temporal ◽  
Spatial Logics

In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PTL, the spatial logics RCC-8, BRCC-8, S4u and their fragments. The obtained results give a clear picture of the trade-off between expressiveness and `computational realisability' within the hierarchy. We demonstrate how different combining principles as well as spatial and temporal primitives can produce NP-, PSPACE-, EXPSPACE-, 2EXPSPACE-complete, and even undecidable spatio-temporal logics out of components that are at most NP- or PSPACE-complete.

Sign in / Sign up

Export Citation Format

Share Document