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

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.

2002 ◽  
Vol 12 (6) ◽  
pp. 875-903 ◽  
Author(s):  
BART JACOBS

This paper introduces a temporal logic for coalgebras. Nexttime and lasttime operators are defined for a coalgebra, acting on predicates on the state space. They give rise to what is called a Galois algebra. Galois algebras form models of temporal logics like Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The mapping from coalgebras to Galois algebras turns out to be functorial, yielding indexed categorical structures. This construction gives many examples, for coalgebras of polynomial functors on sets. More generally, it will be shown how ‘fuzzy’ predicates on metric spaces, and predicates on presheaves, yield indexed Galois algebras, in basically the same coalgebraic manner.


2019 ◽  
Author(s):  
Laís Picinini Freitas ◽  
Oswaldo Gonçalves Cruz ◽  
Rachel Lowe ◽  
Marilia Sá Carvalho

AbstractBrazil is a dengue-endemic country where all four dengue virus serotypes circulate and cause seasonal epidemics. Recently, chikungunya and Zika viruses were also introduced. In Rio de Janeiro city, the three diseases co-circulated for the first time in 2015-2016, resulting in what is known as the ‘triple epidemic’. In this study, we identify space-time clusters of dengue, chikungunya, and Zika, to understand the dynamics and interaction between these simultaneously circulating arboviruses in a densely populated and heterogeneous city.We conducted a spatio-temporal analysis of weekly notified cases of the three diseases in Rio de Janeiro city (July 2015 – January 2017), georeferenced by 160 neighbourhoods, using Kulldorff’s scan statistic with discrete Poisson probability models.There were 26549, 13662, and 35905 notified cases of dengue, chikungunya, and Zika, respectively. The 17 dengue clusters and 15 Zika clusters were spread all over the city, while the 14 chikungunya clusters were more concentrated in the North and Downtown areas. Zika clusters persisted over a longer period of time. The multivariate scan statistic – used to analyse the three diseases simultaneously – detected 17 clusters, nine of which included all three diseases.This is the first study exploring space-time clustering of dengue, chikungunya, and Zika in an intraurban area. In general, the clusters did not coincide in time and space. This is probably the result of the competition between viruses for host resources, and of vector-control attitudes promoted by previous arbovirus outbreaks. The main affected area – the North region – is characterised by a combination of high population density and low human development index, highlighting the importance of targeting interventions in this area. Spatio-temporal scan statistics have the potential to direct interventions to high-risk locations in a timely manner and should be considered as part of the municipal surveillance routine as a tool to optimize prevention strategies.Author summaryDengue, an arboviral disease transmitted by Aedes mosquitoes, has been endemic in Brazil for decades, but vector-control strategies have not led to a significant reduction in the disease burden and were not sufficient to prevent chikungunya and Zika entry and establishment in the country. In Rio de Janeiro city, the first Zika and chikungunya epidemics were detected between 2015-2016, coinciding with a dengue epidemic. Understanding the behaviour of these diseases in a triple epidemic scenario is a necessary step for devising better interventions for prevention and outbreak response. We applied scan statistics analysis to detect spatio-temporal clustering for each disease separately and for all three simultaneously. In general, clusters were not detected in the same locations and time periods, possibly due to competition between viruses for host resources, and change in behaviour of the human population (e.g. intensified vector-control activities in response to increasing cases of a particular arbovirus). Neighbourhoods with high population density and social vulnerability should be considered as important targets for interventions. Particularly in the North region, where clusters of the three diseases exist and the first chikungunya cluster occurred. The use of space-time cluster detection can direct intensive interventions to high-risk locations in a timely manner.


Author(s):  
Xu Lu ◽  
Cong Tian ◽  
Zhenhua Duan

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.


2005 ◽  
Vol 23 ◽  
pp. 167-243 ◽  
Author(s):  
D. Gabelaia ◽  
R. Kontchakov ◽  
A. Kurucz ◽  
F. Wolter ◽  
M. Zakharyaschev

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.


2016 ◽  
Vol 47 (3) ◽  
pp. 1109
Author(s):  
E. Karagianni ◽  
P. Paradisopoulou ◽  
V. Karakostas

Corinth Gulf has been studied, thoroughly using multidisciplinary approaches (geological, seismological, geodetic etc), which revealed its complicated tectonic behaviour. In the last five years or more, an intense continuous microseismic activity is observed in the westernmost part of the gulf covering the area from west of Aigio tothe area west of Rio Antirrio strait, near the city of Patras. Aiming to study in detail the properties of this microseismic manifestation, the recordings of the Hellenic Unified Seismological Network (HUSN) are used to accurately determine the focal coordinates of earthquakes with magnitudes M=1.5 or more. Relocation was performed using the HYPOINVERSE program, for all available data for the period 2010-2011 when earthquakes up to magnitude M=5.5 occurred. The space time plot of the epicentres shows that seismicity is not random in the area but formed distinctive clusters, indicating an E-W striking seismic zone whose patches are successively activated for certain periods. The present work deals with the investigation of spatio-temporal evolution of seismicity with the intention to examine the migration ofseismicity and multi-segment activation. 


2015 ◽  
Vol 23 (4) ◽  
pp. 379-386
Author(s):  
Mariusz Giero

Summary In the article [10] a formal system for Propositional Linear Temporal Logic (in short LTLB) with normal semantics is introduced. The language of this logic consists of “until” operator in a very strict version. The very strict “until” operator enables to express all other temporal operators. In this article we construct a formal system for LTLB with the initial semantics [12]. Initial semantics means that we define the validity of the formula in a model as satisfaction in the initial state of model while normal semantics means that we define the validity as satisfaction in all states of model. We prove the Deduction Theorem, and the soundness and completeness of the introduced formal system. We also prove some theorems to compare both formal systems, i.e., the one introduced in the article [10] and the one introduced in this article. Formal systems for temporal logics are applied in the verification of computer programs. In order to carry out the verification one has to derive an appropriate formula within a selected formal system. The formal systems introduced in [10] and in this article can be used to carry out such verifications in Mizar [4].


2005 ◽  
Vol 70 (4) ◽  
pp. 1137-1149 ◽  
Author(s):  
V. V. Rybakov

AbstractWe investigate logical consequence in temporal logics in terms of logical consecutions, i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be ‘correct’ in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between these two notions. The linear temporal logic LDTL, consisting of all formulas valid in the frame 〈L ≤, ≥〉 of all integer numbers, is the prime object of our investigation. We describe consecutions admissible in LDTL in a semantic way—via consecutions valid in special temporal Kripke/Hintikka models. Then we state that any temporal inference rule has a reduced normal form which is given in terms of uniform formulas of temporal degree 1. Using these facts and enhanced semantic techniques we construct an algorithm, which recognizes consecutions admissible in LDTL. Also, we note that using the same technique it follows that the linear temporal logic L(N) of all natural numbers is also decidable w.r.t. inference rules. So, we prove that both logics LDTL and L(N) are decidable w.r.t. admissible consecutions. In particular, as a consequence, they both are decidable (known fact), and the given deciding algorithms are explicit.


Author(s):  
Joseph Kim ◽  
Christian Muise ◽  
Ankit Shah ◽  
Shubham Agarwal ◽  
Julie Shah

Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning. Prior works on inferring temporal logic specifications have focused on "summarizing" the input dataset - i.e., finding specifications that are satisfied by all plan traces belonging to the given set. In this paper, we examine the problem of inferring specifications that describe temporal differences between two sets of plan traces. We formalize the concept of providing such contrastive explanations, then present BayesLTL - a Bayesian probabilistic model for inferring contrastive explanations as linear temporal logic (LTL) specifications. We demonstrate the robustness and scalability of our model for inferring accurate specifications from noisy data and across various benchmark planning domains.


Author(s):  
Aida Khakimova ◽  
Oleg Zolotarev ◽  
Lyudmila Sharapova ◽  
Daler Mirzoev ◽  
Aleksanra Belaya ◽  
...  

The image of the city is a spatio-temporal continuum in which everything is interconnected, it exists as a single monolith expressing itself in the general atmosphere. The visual image of the city may contain two planes of meanings: culturally ratified and universally valid, expressed by cultural codes, and also significant only to those who are viewing the image. Therefore, the content of the visual image depends on who the subject of perception is, what he pays attention to and in what situation the process of perception of the image occurs.


Sign in / Sign up

Export Citation Format

Share Document