Algebraic Properties of Qualitative Spatio-Temporal Calculi

Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but only few facts about the second. In this paper we identify the minimal requirements to binary spatio-temporal calculi and we discuss the relevance of the according axioms for representation and reasoning. We also analyze existing qualitative calculi and provide a classification involving different notions of a relation algebra.Comment: COSIT 2013 paper including supplementary materia

Towards Safer Robot Motion: Using a Qualitative Motion Model to Classify Human-Robot Spatial Interaction

For adoption of Autonomous Mobile Robots (AMR) across a breadth of industries, they must navigate around humans in a way which is safe and which humans perceive as safe, but without greatly compromising efficiency. This work aims to classify the Human-Robot Spatial Interaction (HRSI) situation of an interacting human and robot, to be applied in Human-Aware Navigation (HAN) to account for situational context. We develop qualitative probabilistic models of relative human and robot movements in various HRSI situations to classify situations, and explain our plan to develop per-situation probabilistic models of socially legible HRSI to predict human and robot movement. In future work we aim to use these predictions to generate qualitative constraints in the form of metric cost-maps for local robot motion planners, enforcing more efficient and socially legible trajectories which are both physically safe and perceived as safe

A framework for models of movement in geographic space

This article concerns the theoretical foundations of movement informatics. We discuss general frameworks in which models of spatial movement may be developed. In particular, the article considers the object–field and Lagrangian–Eulerian dichotomies, and the SNAP/SPAN ontologies of the dynamic world, and classifies the variety of informatic structures according to these frameworks. A major challenge is transitioning between paradigms. Usually data is captured with respect to one paradigm but can usefully be represented in another. We discuss this process in formal terms and then describe experiments that we performed to show feasibility. It emerges that observational granularity plays a crucial role in these transitions

Comparing Hidden Markov Models and Long Short Term Memory Neural Networks for Learning Action Representations

Panzner M, Cimiano P. Comparing Hidden Markov Models and Long Short Term Memory Neural Networks for Learning Action Representations. In: Pardalos PM, Conca P, Giuffrida G, Nicosia G, eds. Machine Learning, Optimization, and Big Data : Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016. Revised Selected Papers. Lecture Notes in Computer Science. Vol 10122. Cham: Springer International Publishing; 2016: 94-105

A Fuzzy Spatio-Temporal-based Approach for Activity Recognition

International audienceOver the last decade, there has been a significant deployment of systems dedicated to surveillance. These systems make use of real-time sensors that generate continuous streams of data. Despite their success in many cases, the increased number of sensors leads to a cognitive overload for the operator in charge of their analysis. However, the context and the application requires an ability to react in real-time. The research presented in this paper introduces a spatio-temporal-based approach the objective of which is to provide a qualitative interpretation of the behavior of an entity (e.g., a human or vehicle). The process is formally supported by a fuzzy logic-based approach, and designed in order to be as generic as possible

Day versus night use of forest by red and roe deer as determined by Corine Land Cover and Copernicus Tree Cover Density: assessing use of geographic layers in movement ecology

Diel use of forest and open habitats by large herbivores is linked to species-specific needs of multiple and heterogeneous resources. However, forest cover layers might deviate considerably for a given landscape, potentially affecting evaluations of animals’ habitat use. We assessed inconsistency in the estimates of diel forest use by red and roe deer at GPS location and home range (HR) levels, using two geographic layers: Tree Cover Density (TCD) and Corine Land Cover (CLC). We first measured the classification mismatch of red and roe deer GPS locations between TCD and CLC, also with respect to habitat units’ size. Then, we used generalized Least Squares models to assess the proportional use of forest at day and night at the GPS location and HR levels, both with TCD and CLC. About 20% of the GPS locations were inconsistently classified as forest or open habitat by the two layers, particularly within smaller habitat units. Overall proportion of forest and open habitat, though, was very similar for both layers. In all populations, both deer species used forest more at day than at night and this pattern was more evident with TCD than with CLC. However, at the HR level, forest use estimates were only marginally different between the two layers. When estimating animal habitat use, geographic layer choice requires careful evaluation with respect to ecological questions and target species. Habitat use analyses based on GPS locations are more sensitive to layer choice than those based on home ranges.publishedVersio

International variation in neighborhood walkability, transit, and recreation environments using geographic information systems: The IPEN adult study

Background: The World Health Organization recommends strategies to improve urban design, public transportation, and recreation facilities to facilitate physical activity for non-communicable disease prevention for an increasingly urbanized global population. Most evidence supporting environmental associations with physical activity comes from single countries or regions with limited variation in urban form. This paper documents variation in comparable built environment features across countries from diverse regions. Methods: The International Physical Activity and the Environment Network (IPEN) study of adults aimed to measure the full range of variation in the built environment using geographic information systems (GIS) across 12 countries on 5 continents. Investigators in Australia, Belgium, Brazil, Colombia, the Czech Republic, Denmark, China, Mexico, New Zealand, Spain, the United Kingdom, and the United States followed a common research protocol to develop internationally comparable measures. Using detailed instructions, GIS-based measures included features such as walkability (i.e., residential density, street connectivity, mix of land uses), and access to public transit, parks, and private recreation facilities around each participant's residential address using 1-km and 500-m street network buffers. Results: Eleven of 12 countries and 15 cities had objective GIS data on built environment features. We observed a 38-fold difference in median residential densities, a 5-fold difference in median intersection densities and an 18-fold difference in median park densities. Hong Kong had the highest and North Shore, New Zealand had the lowest median walkability index values, representing a difference of 9 standard deviations in GIS-measured walkability. Conclusions: Results show that comparable measures can be created across a range of cultural settings revealing profound global differences in urban form relevant to physical activity. These measures allow cities to be ranked more precisely than previously possible. The highly variable measures of urban form will be used to explain individuals' physical activity, sedentary behaviors, body mass index, and other health outcomes on an international basis. Present measures provide the ability to estimate dose-response relationships from projected changes to the built environment that would otherwise be impossible

Tractable Fragments of Temporal Sequences of Topological Information

In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points. We show that there is no Cartesian subclass containing all the basic relations and the universal relation for which the algebraic closure decides satisfiability. However, we identify some tractable subclasses, by giving up the relations containing the non-tangential proper part relation and not containing the tangential proper part relation. We then formalize an alternative semantics for temporal sequences. We place ourselves in the context of the topological temporal sequences describing the evolution of regions on a partition of time (i.e. an alternation of instants and intervals). In this context, we identify large tractable fragments