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

The Point-Descriptor-Precedence representation for point configurations and movements

In this paper, we represent (moving) point configurations along a curved directed line qualitatively by means of a system of relational symbols based on two distance descriptors: one representing distance along the curved directed line and the other representing signed orthogonal distance to the curved directed line. The curved directed line represents the direction of the movement of interest. For instance, it could be straight as in the case of driving along a highway or could be curved as in the case of an intersection or a roundabout. Inspired by the Point Calculus, the order between the points on the curved directed line is described by means of a small set of binary relations () acting upon the distance descriptors. We call this representation the Point-Descriptor-Precedence-Static (PDPS) representation at a time point and Point-Descriptor-Precedence-Dynamic (PDPD) representation during a time interval. To illustrate how the proposed approach can be used to represent and analyse curved movements, some basic micro-analysis traffic examples are studied. Finally, we discuss some extensions of our work to highlight the practical benefits of PDP in identifying motion patterns that could be useful in GIS, autonomous vehicles, sports analytics, and gait analysis

Motion Categorisation: Representing Velocity Qualitatively

International audienceCategorising is arguably one of the first steps in cognition, because it enables high-level cognitive processing. For a similar reason, categorising is a first step—a preprocessing step—in artificial intelligence, specifically in decision-making, reasoning, and natural language processing. In this paper we categorise the motion of entities. Such categorisations, also known as qualitative representations, represent the preprocessing step for navigation problems with dynamical obstacles. As a central result, we present a general method to generate categorisations of motion based on categorisations of space. We assess its general validity by generating two categorisations of motion from two different spatial categorisations. We show examples of how the categorisations of motion describe and control trajectories. And we establish its soundness in cognitive and mathematical principles

Geospatial images in the acquisition of spatial knowledge for wayfinding

Geospatial images such as maps and aerial photographs are important sources of spatial knowledge that people use for wayfinding. The rapid development of geodata acquisition and digital graphics has recently led to rather complete geographic coverage of both traditional and novel types of geospatial images. Divergent types of geospatial images vary in their support of human acquisition of spatial knowledge. However evaluative studies about the acquisition of spatial knowledge from the diversity of geospatial images have been rare. In this article we review a variety of literature about the acquisition of spatial knowledge while paying particular attention to the role of geospatial images. Based on the literature we present a framework of image parameters that characterize the acquisition of spatial knowledge from geospatial images: vantage point number of visible vertical features and visual realism. With the help of the framework we evaluate commonly used geospatial images. In concordance with the previous experiments our evaluation shows that the different types of geospatial images have large differences in the types of spatial knowledge they support and to what extent. However further experimentation is needed in order to better understand the human cognitive needs for geospatial images and to develop more useful geospatial images for wayfinding

Towards Safe Navigation by Formalizing Navigation Rules

One crucial aspect of safe navigation is to obey all navigation regulations applicable, in particular the collision regulations issued by the International Maritime Organization (IMO Colregs). Therefore, decision support systems for navigation need to respect Colregs and this feature should be verifiably correct. We tackle compliancy of navigation regulations from a perspective of software verification. One common approach is to use formal logic, but it requires to bridge a wide gap between navigation concepts and simple logic. We introduce a novel domain specification language based on a spatio-temporal logic that allows us to overcome this gap. We are able to capture complex navigation concepts in an easily comprehensible representation that can direcly be utilized by various bridge systems and that allows for software verification