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

Intuitive Direction Concepts

Abstract Experiments in this article test the hypothesis that formal direction models used in artificial intelligence correspond to intuitive direction concepts of humans. Cognitively adequate formal models of spatial relations are important for information retrieval tasks, cognitive robotics, and multiple spatial reasoning applications. We detail two experiments using two objects (airplanes) systematically located in relation to each other. Participants performed a grouping task to make their intuitive direction concepts explicit. The results reveal an important, so far insufficiently discussed aspect of cognitive direction concepts: Intuitive (natural) direction concepts do not follow a one-size-fits-all strategy. The behavioral data only forms a clear picture after participants' competing strategies are identified and separated into categories (groups) themselves. The results are important for researchers and designers of spatial formalisms as they demonstrate that modeling cognitive direction concepts formally requires a flexible approach to capture group differences

Qualitative Spatial Reasoning about Relative Orientation --- A Question of Consistency ---

Abstract. After the emergence of Allen s Interval Algebra Qualitative Spatial Reasoning has evolved into a fruitful field of research in artificial intelligence with possible applications in geographic information systems (GIS) and robot navigation Qualitative Spatial Reasoning abstracts from the detailed metric description of space using rich mathematical theories and restricts its language to a finite, often rather small, set of relations that fulfill certain properties. This approach is often deemed to be cognitively adequate . A major question in qualitative spatial reasoning is whether a description of a spatial situation given as a constraint network is consistent. The problem becomes a hard one since the domain of space (often R2 ) is infinite. In contrast many of the interesting problems for constraint satisfaction have a finite domain on which backtracking methods can be used. But because of the infinity of its domains these methods are generally not applicable to Qualitative Spatial Reasoning. Anyhow the method of path consistency or rather its generalization algebraic closure turned out to be helpful to a certain degree for many qualitative spatial calculi. The problem regarding this method is that it depends on the existence of a composition table, and calculating this table is not an easy task. For example the dipole calculus (operating on oriented dipoles) DRAf has 72 base relations and binary composition, hence its composition table has 5184 entries. Finding all these entries by hand is a hard, long and error-prone task. Finding them using a computer is also not easy, since the semantics of DRAf in the Euclidean Plane, its natural domain, rely on non-linear inequalities. This is not a special problem of the DRAf calculus. In fact, all calculi dealing with relative orientation share the property of having semantics based on non-linear inequalities in the Euclidean plane. This not only makes it hard to find a composition table, it also makes it particularly hard to decide consistency for these calculi. As shown in [79] algebraic closure is always just an approximation to consistency for these calculi, but it is the only method that works fast. Methods like Gröbner reasoning can decide consistency for these calculi but only for small constraint networks. Still finding a composition table for DRAf is a fruitful task, since we can use it analyze the properties of composition based reasoning for such a calculus and it is a starting point for the investigation of the quality of the approximation of consistency for this calculus. We utilize a new approach for calculating the composition table for DRAf using condensed semantics, i.e. the domain of the calculus is compressed in such a way that only finitely many possible configurations need to be investigated. In fact, only the configurations need to be investigated that turn out to represent special characteristics for the placement of three lines in the plane. This method turns out to be highly efficient for calculating the composition table of the calculus. Another method of obtaining a composition table is borrowing it via a suitable morphism. Hence, we investigate morphisms between qualitative spatial calculi. Having the composition table is not the end but rather the beginning of the problem. With that table we can compute algebraically closed refinements of constraint networks, but how meaningful is this process? We know that all constraint networks for which such a refinement does not exist are inconsistent, but what about the rest? In fact, they may be consistent or not. If they are all consistent, then we can be happy, since algebraic closure would decide consistency for the calculus at hand. We investigate LR, DRAf and DRAfp and show that for all these calculi algebraic closure does not decide consistency. In fact, for the LR calculus algebraic closure is an extremely bad approximation of consistency. For this calculus we introduce a new method for the approximation of consistency based on triangles, that performs far better than algebraic closure. A major weak spot of the field of Qualitative Spatial Reasoning is the area of applications. It is hard to refute the accusation of qualitative spatial calculi having only few applications so far. As a step into the direction of scrutinizing the applicability of these calculi, we examine the performance of DRA and OPRA in the issue of describing and navigating street networks based on local observations. Especially for OPRA we investigate a factorization of the base relations that is deemed cognitively adequate . Whenever possible we use real-world data in these investigations obtained from OpenStreetMap

Qualitative Reasoning with Story-Based Motion Representations: Inverse and Composition

International audienceRepresentations of motion that are story-based constitute a promising tool to categorise the motion of entities, because they can be generated using any qualitative spatial representation, and they consider explicitly the speed of the entities. Up to the present, mainly categorisation properties of the story-based representations have been presented. In this paper we show how story-based representations allow for the reasoning operations that the qualitative calculi possess, namely, inverse and composition—We provide a method to compute the inverse, and a method that notably simplifies the computation of the composition

Generalization of Superposition of Rectangles based on Direction Relations

Abstract We present a method of superposing rectangles. The superposition is under the condition that some of the regions should be visible. We first define a qualitative spatial representation of the rectangles. In particular, direction relations are used to express the positions of the must-be-visible regions. The representation is extendable to accommodate higher degree of granularity, and therefore to cover any arrangement of regions. Properties of success and effectiveness are defined to evaluate the superposition

Cognitive Activity Support Tools: Design of the Visual Interface

This dissertation is broadly concerned with interactive computational tools that support the performance of complex cognitive activities, examples of which are analytical reasoning, decision making, problem solving, sense making, forecasting, and learning. Examples of tools that support such activities are visualization-based tools in the areas of: education, information visualization, personal information management, statistics, and health informatics. Such tools enable access to information and data and, through interaction, enable a human-information discourse. In a more specific sense, this dissertation is concerned with the design of the visual interface of these tools. This dissertation presents a large and comprehensive theoretical framework to support research and design. Issues treated herein include interaction design and patterns of interaction for cognitive and epistemic support; analysis of the essential properties of interactive visual representations and their influences on cognitive and perceptual processes; an analysis of the structural components of interaction and how different operational forms of interaction components affect the performance of cognitive activities; an examination of how the information-processing load should be distributed between humans and tools during the performance of complex cognitive activities; and a categorization of common visualizations according to their structure and function, and a discussion of the cognitive utility of each category. This dissertation also includes a chapter that describes the design of a cognitive activity support tool, as guided by the theoretical contributions that comprise the rest of the dissertation. Those that may find this dissertation useful include researchers and practitioners in the areas of data and information visualization, visual analytics, medical and health informatics, data science, journalism, educational technology, and digital games