Qualitative Representations of Extended Spatial Objects in Sketch Maps

2014 ◽  
pp. 37-54 ◽  
Author(s):  
Sahib Jan ◽  
Angela Schwering ◽  
Malumbo Chipofya ◽  
Talakisew Binor
Keyword(s):  
Spatial Objects ◽  
Sketch Maps

Ordering

2015 ◽  
pp. 586-598
Author(s):  
Sahib Jan ◽  
Angela Schwering ◽  
Jia Wang ◽  
Malumbo Chipofya
Keyword(s):  
Spatial Information ◽  
Empirical Work ◽  
Computational Approach ◽  
Cognitive Effects ◽  
Constraint Networks ◽  
Spatial Objects ◽  
Sketch Maps ◽  
Map Alignment ◽  
Street Segments ◽  
Sketch Map

Sketch maps are externalizations of cognitive maps which are typically distorted, schematized, incomplete, and generalized. Processing spatial information from sketch maps automatically requires reliable formalizations which are not subject to schematization, distortion or other cognitive effects in sketch maps. Based on previous empirical work, the authors identified different sketch aspects such as ordering, topology and orientation to align and integrate spatial information from sketch maps with metric maps qualitatively. This research addresses the question how these qualitative sketch aspects can be formalized for a computational approach for sketch map alignment. In this study, the authors focus on the ordering aspect: ordering of landmarks and street segments along routes and around junctions. The authors first investigate different qualitative representations and propose suitable representations to formalize these aspects. The proposed representations capture qualitative relations between spatial objects in the form of qualitative constraint networks. The authors then evaluate the proposed representations by testing the accuracy of qualitative constraints between sketched objects and their corresponding objects in a metric map. The results of the evaluation show that the proposed representations are suitable for the alignment of spatial objects from sketch maps with metric maps.

An Empirical Study on Pertinent Aspects of Sketch Maps for Navigation

2013 ◽  
Vol 7 (4) ◽  
pp. 26-43 ◽  
Author(s):  
Jia Wang ◽  
Rui Li
Keyword(s):  
Cognitive Maps ◽  
Spatial Relations ◽  
Qualitative Reasoning ◽  
Spatial Thinking ◽  
Navigation Systems ◽  
Spatial Awareness ◽  
Sequential Order ◽  
Spatial Objects ◽  
Sketch Maps ◽  
Sketch Map

Navigation systems which employ sequence-based directions have been found not effective in facilitating the spatial ability for humans to be aware of themselves in an environment. Traditional maps are found easily conveying the configuration of spatial objects but having difficulty to facilitate the correspondence to spatial objects in the real world. Sketch maps as schematic map-like representations have been suggested being a possible way of achieving goals of facilitating both navigation and spatial awareness. Moreover, sketch maps as externalizations of cognitive maps have been proved as reliable representations for human spatial thinking. In this study, the authors investigate the characteristics of directions given in two different forms: sketch maps and verbal descriptions (turn-by-turn instructions). The investigation addresses three aspects of spatial relations which are orientation, street topology and sequential order and their representations using existing qualitative reasoning calculi. The results of this study demonstrate sketch maps as a better direction-giving method and provide insights of applying sketch-map-like components for navigation.

Ordering

2014 ◽  
Vol 8 (1) ◽  
pp. 67-78 ◽  
Author(s):  
Sahib Jan ◽  
Angela Schwering ◽  
Jia Wang ◽  
Malumbo Chipofya
Keyword(s):  
Spatial Information ◽  
Empirical Work ◽  
Cognitive Maps ◽  
Computational Approach ◽  
Cognitive Effects ◽  
Constraint Networks ◽  
Spatial Objects ◽  
Sketch Maps ◽  
Map Alignment ◽  
Street Segments

Sketch maps are externalizations of cognitive maps which are typically distorted, schematized, incomplete, and generalized. Processing spatial information from sketch maps automatically requires reliable formalizations which are not subject to schematization, distortion or other cognitive effects in sketch maps. Based on previous empirical work, the authors identified different sketch aspects such as ordering, topology and orientation to align and integrate spatial information from sketch maps with metric maps qualitatively. This research addresses the question how these qualitative sketch aspects can be formalized for a computational approach for sketch map alignment. In this study, the authors focus on the ordering aspect: ordering of landmarks and street segments along routes and around junctions. The authors first investigate different qualitative representations and propose suitable representations to formalize these aspects. The proposed representations capture qualitative relations between spatial objects in the form of qualitative constraint networks. The authors then evaluate the proposed representations by testing the accuracy of qualitative constraints between sketched objects and their corresponding objects in a metric map. The results of the evaluation show that the proposed representations are suitable for the alignment of spatial objects from sketch maps with metric maps.

scholarly journals A spatio-temporal specification language and its completeness & decidability

2020 ◽  
Vol 9 (1) ◽  
Author(s):  
Tengfei Li ◽  
Jing Liu ◽  
Haiying Sun ◽  
Xiang Chen ◽  
Lipeng Zhang ◽  
...  
Keyword(s):  
Intelligent Transportation System ◽  
Cyber Physical Systems ◽  
Specification Language ◽  
Finite Model ◽  
Critical Systems ◽  
Physical Systems ◽  
Spatial Objects ◽  
Temporal Properties ◽  
Spatio Temporal ◽  
Temporal Specification

AbstractIn the past few years, significant progress has been made on spatio-temporal cyber-physical systems in achieving spatio-temporal properties on several long-standing tasks. With the broader specification of spatio-temporal properties on various applications, the concerns over their spatio-temporal logics have been raised in public, especially after the widely reported safety-critical systems involving self-driving cars, intelligent transportation system, image processing. In this paper, we present a spatio-temporal specification language, STSL PC, by combining Signal Temporal Logic (STL) with a spatial logic S4 u, to characterize spatio-temporal dynamic behaviors of cyber-physical systems. This language is highly expressive: it allows the description of quantitative signals, by expressing spatio-temporal traces over real valued signals in dense time, and Boolean signals, by constraining values of spatial objects across threshold predicates. STSL PC combines the power of temporal modalities and spatial operators, and enjoys important properties such as finite model property. We provide a Hilbert-style axiomatization for the proposed STSL PC and prove the soundness and completeness by the spatio-temporal extension of maximal consistent set and canonical model. Further, we demonstrate the decidability of STSL PC and analyze the complexity of STSL PC. Besides, we generalize STSL to the evolution of spatial objects over time, called STSL OC, and provide the proof of its axiomatization system and decidability.

scholarly journals Kant On Temporal Extension: Embodied, Indexical Idealism

Kant-Studien ◽  
2019 ◽  
Vol 110 (3) ◽  
pp. 498-511
Author(s):  
Truls Wyller
Keyword(s):  
Human Subjects ◽  
Transcendental Idealism ◽  
Spatial Objects ◽  
Temporal Duration ◽  
Kantian View ◽  
Laws Of Motion ◽  
Second Analogy

Abstract I defend what I take to be a genuinely Kantian view on temporal extension: time is not an object but a human horizon of concrete particulars. As such, time depends on the existence of embodied human subjects. It does not, however, depend on those subjects determined as spatial objects. Starting with a realist notion of “apperception” as applied to indexical space (1), I proceed with the need for external criteria of temporal duration (2). In accordance with Kant’s Second Analogy of Experience, these criteria are found in concepts and laws of motion and change (3). I then see what follows from this for a reasonable notion of transcendental idealism (4). Finally, in support of my Kantian conclusions, I argue for the transcendentally subjective nature of particular temporal extension (5).

scholarly journals Order in Space: A General Formalism for Spatial Reasoning

1997 ◽  
Vol 06 (04) ◽  
pp. 423-450 ◽  
Author(s):  
Baher A. El-Geresy ◽  
Alia I. Abdelmoty
Keyword(s):  
Space Dimension ◽  
Spatial Reasoning ◽  
Spatial Information ◽  
Spatial Objects ◽  
Temporal Domain ◽  
Spatial Information Systems ◽  
Connected Set ◽  
General Constraints ◽  
Different Types ◽  
Composition Table

In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between objects in space, and two rules to propagate relationships between those objects. The approach is based on a novel representation of the topology of the space as a connected set of components using a structure called adjacency matrix which can capture the topology of objects of different complexity in any space dimension. The formalism is used to explain spatial compositions resulting in indefinite and definite relations and it is shown to be applicable to reasoning in the temporal domain. The main contribution of the formalism is that it provides means for constructing composition tables for objects with arbitrary complexity in any space dimension. A new composition table between spatial objects of different types is presented. A major advantage of the method is that reasoning between objects of any complexity can be achieved in a defined limited number of steps. Hence, the incorporation of spatial reasoning mechanisms in spatial information systems becomes possible.

Sketch Maps of France

1929 ◽  
Vol 13 (8) ◽  
pp. 652
Author(s):  
Paul E. Jacob ◽  
Kullmer ◽  
Gerard
Keyword(s):  
Sketch Maps
Sign in / Sign up

Export Citation Format

Share Document