Qualitative Spatial Reasoning for Topological Map Learning

Abstract

In this paper we investigate the application of qualitative spatial reasoning methods for learning the topological map of an unknown environment. We develop a topological mapping framework that achieves robustness against ambiguity in the available information by tracking all possible graph hypotheses simultaneously. We then exploit spatial reasoning to reduce the space of possible hypotheses. The considered constraints are qualitative direction information and the assumption that the map is planar. We investigate the effects of absolute and relative direction information using two different spatial calculi and combine the approach with a real mapping system based on Voronoi graphs.     

Modelling Dynamic Spatial Systems in the Situation Calculus

Abstract

We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial theory is primarily derivable from the all-pervasive generic notion of “qualitative spatial calculi” that are representative of differing aspects of space. In addition, the theory also includes aspects, both ontological and phenomenal in nature, that are considered inherent in dynamic spatial systems. Foundational to the formalisation is a causal theory that adheres to the representational and computational semantics of the situation calculus. This foundational theory provides the necessary (general) mechanism required to represent and reason about changing spatial environments and also includes an account of the key fundamental epistemological issues concerning the frame and the ramification problems that arise whilst modelling change within such domains. The main advantage of the proposed approach is that based on the structure and semantics of the proposed framework, fundamental reasoning tasks such as projection and explanation directly follow. Within the specialised spatial reasoning domain, these translate to spatial planning/re-configuration, causal explanation and spatial simulation. Our approach is based on the hypothesis that alternate formalisations of existing qualitative spatial calculi using high-level tools such as the situation calculus are essential for their utilisation in diverse application domains such as intelligent systems, cognitive robotics and event-based GIS.     

小天体光学导航特征识别与提取研究进展

针对小天体探测自主光学导航特征信息精确，快速获取的需求，阐述了利用图像信息实现光学导航特征识别与提取的必要性。首先分析了小天体光学导航特征识别与提取面临的主要问题；然后根据小天体探测各阶段目标成像特点，总结并分析了小天体探测光学导航特征识别与提取涉及的关键技术；最后，根据关键技术结合现有问题和未来发展需求，分析并对未来小天体探测光学导航特征识别与提取的发展趋势进行了展望。     

Analyzing Qualitative Spatio-Temporal Calculi using Algebraic Geometry

Abstract

Qualitative spatial reasoning is based on calculi which comprise relations and operation tables that encode operations like relation composition. Designing a calculus involves determining these tables and analyzing reasoning properties—a demanding task that is susceptible to errors if performed manually. This paper is concerned with automating computation of operation tables and analysis of qualitative calculi over real-valued domains like the plane ². We present an approach to specify qualitative relations using polynomial equations that allows methods from algebraic geometry to be applied. This paper shows how reasoning with qualitative relations can be posed algebraically and demonstrates algebraic reasoning using Gröbner base analysis. We evaluate this approach and describe our implementation, which is freely available as part of the spatial reasoning toolbox SparQ.     

Mining Spatial Associations with Limited Sensory Information

Abstract

Human navigation in an unknown environment requires an understanding of the spatial relationships of the terrain. For example, a soldier who is on a reconnaissance mission in a new city needs to “know” the spatial layout of the surroundings with high confidence. Oftentimes, this understanding must be acquired within a very short amount of time and with limited sensory inputs. The soldier would benefit from a digital avatar that draws inferences about the spatial layout of the city based on an initial set of observations and guides the soldier either in further exploring the environment or in making decisions based on these inferences. In this paper, we present and evaluate an inductive approach to learning spatial associations using sensory data that is available from the simulation environment of a computer game, Unreal Tournament. We study two kinds of spatial relationships between nodes on a level of a game map: nodes that are placed near each other to satisfy some spatial requirement and nodes that are placed near each other to satisfy the design preferences of a level architect. We show that we can infer both kinds of relationships using an association rule mining algorithm. Furthermore, we show how to use an ontology to distinguish between these relationships in order to discover different types of spatial arrangements on a specific map. We discuss how the inferred associations can be used to control an avatar that makes recommendations for navigating unexplored areas on a map. We conclude with some thoughts on the applicability of our methods to scenarios in the real world, beyond the simulation environment of a game, and on how the learned associations can be represented and queried by a simple question-answer type system.     

On Embedding a Qualitative Representation in a Two-Dimensional Plane

Abstract

This paper discusses embedding in a two-dimensional plane a symbolic representation for spatial data using the simple objects, points (P), lines (L), circuits (C), and areas (A). We have proposed PLCA as a new framework for a qualitative spatial reasoning. In a PLCA expression, the entire figure is represented in a form in which all the objects are related. We investigate the conditions for two-dimensional realizability of a PLCA expression, and derive the relation that the numbers of objects in a PLCA expression should have. In this process, we use the well-known Euler's formula. We also give an algorithm for drawing the figure of the PLCA expression that satisfies this condition in a two-dimensional plane and prove its correctness. The algorithm generates a quantitative expression from qualitative expression.     

星面探测机器人自主移动技术

为进一步扩大探测范围,提高探测效率,并为后续星面基地建设提供服务,星面探测机器人需从远程地面遥控方式向自主移动方式发展,为此需要解决地图构建、鲁棒定位、探测导航等问题。为推动星面探测机器人自主移动能力的发展,借鉴目前快速发展的无人驾驶技术和地面自主移动技术,归纳总结了目前国内外星面探测移动技术的研究现状和存在的问题,以及地面自主移动研究在地图构建、鲁棒定位、探测导航等方面取得的进展。在结合星面探测应用的特殊性的基础上,提出了未来在长期定位和可变形重建领域开展更深入研究的建议。     

Reasoning about Depth and Motion from an Observer's Viewpoint

ABSTRACT

The goal of this paper is to present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. In this paper space is represented using functions that extract attributes of depth, size and distance from snapshots of the world. These attributes compose a novel spatial reasoning system named Depth Profile Calculus (DPC). Transitions between qualitative relations involving these attributes are represented by an extension of this calculus called Dynamic Depth Profile Calculus (DDPC). We argue that knowledge about objects in the world could be built up via a process of abduction on DDPC relations.     

Venus Express: Scientific goals, instrumentation, and scenario of the mission

The first European mission to Venus (Venus Express) is described. It is based on a repeated use of the Mars Express design with minor modifications dictated in the main by more severe thermal environment at Venus. The main scientific task of the mission is global exploration of the Venusian atmosphere, circumplanetary plasma, and the planet surface from an orbiting spacecraft. The Venus Express payload includes seven instruments, five of which are inherited from the missions Mars Express and Rosetta. Two instruments were specially designed for Venus Express. The advantages of Venus Express in comparison with previous missions are in using advanced instrumentation and methods of remote sounding, as well as a spacecraft with a broad spectrum of capabilities of orbital observations.     

Interface Familiarity Restores Active Advantage in a Virtual Exploration and Reconstruction Task in Children

Abstract

Active exploration is reportedly better than passive observation of spatial displacements in real environments, for the acquisition of relational spatial information, especially by children. However, a previous study using a virtual environment (VE) showed that children in a passive observation condition performed better than actives when asked to reconstruct in reality the environment explored virtually. Active children were unpractised in using the input device, which may have detracted from any active advantage, since input device operation may be regarded as a concurrent task, increasing cognitive load and spatial working memory demands. To examine this possibility, 7–8-year-old children in the present study were given 5 minutes of training with the joystick input device. When compared with passive participants for spatial learning, active participants gave a better performance than passives, placing objects significantly more accurately. The importance of interface training when using VEs for assessment and training was discussed.     

Shadow detection for mobile robots: Features,evaluation, and datasets

ABSTRACT

Shadows have long been a challenging topic for computer vision. This challenge is made even harder when we assume that the camera is moving, as many existing shadow detection techniques require the creation and maintenance of a background model. This article explores the problem of shadow modelling from a moving viewpoint (assumed to be a robotic platform) through comparing shadow-variant and shadow-invariant image features — primarily color, texture and edge-based features. These features are then embedded in a segmentation pipeline that provides predictions on shadow status, using minimal temporal context. We also release a public dataset of shadow-related image sequences, to help other researchers further develop shadow detection methods and to enable benchmarking of techniques.     

导航星座的任务重构技术研究

以COMPASS卫星导航星座为对象,研究了导航任务的重构技术。首先,对COMPASS卫星导航星座的主要性能进行了分析和仿真;其次,分析了星座中部分卫星失效后对导航性能的影响;最后,提出了分别利用在轨运行的高、中、低轨卫星及临近空间飞行器进行任务重构的方法,并对重构后的导航性能进行了仿真。仿真结果表明：提出的任务重构方法对于保证导航星座的正常运行是有效的。同时,对于研究飞行器应急测控技术具有借鉴意义。     

Space,Language and Ontology: A Response to Davis

Abstract

Ernest Davis' article “Qualititative Spatial Reasoning in Interpreting Text and Narrative” discusses challenges that the interpretation of natural language appears to raise for the formalization of commonsense spatial reasoning. Davis finds these to be of “surprising logical complexity,” but also “erratic” in that they do not show a logical structuring of the problem space that could guide productive research. In this response I argue that much of the apparent lack of structure Davis laments is due to the very style of formal modeling he pursues. By augmenting logical considerations with substantial input from other disciplines and by adopting a heterogeneous and modular approach to formalization, I suggest that the problem space is by no means as ill-structured as Davis presents it.     

Geometric reasoning under uncertainty for map-based localization

Map-based navigation in outdoor terrain lacking man-made structures or other highly distinctive landmarks can produce severe localization problems. This paper presents an approach to navigation which implements high level geometric reasoning and matching strategies based on those used by skilled human navigators. This approach, which is demonstrated on a real example involving imagery of mountainous terrain obtained with a video camera and USGS map data, is designed to avoid many of the pitfalls occurring when an attempt is made to navigate by modeling the environment mathematically. It exploits feature attributes which cannot be easily expressed quantitatively but are central to the successful human navigation process.     

月球大范围探测巡视器及GNC技术发展综述

对月球大范围探测巡视器及相应制导、导航与控制(GNC)技术进行了综述。首先对月球大范围巡视探测需求进行分析,介绍了世界各国主要的月球大范围巡视器计划研究进展;其次针对月球大范围探测GNC技术研究现状进行了归纳整理,简要分析了进行月球大范围探测任务现存技术难点;最后为实现更加完备高效的月面大范围探测提出了月球大范围探测网构建设想,并分析了其构建目的、意义及关键技术。     

Qualitative Spatial Reasoning in Interpreting Text and Narrative

Abstract

Simple natural language texts and narratives often raise problems in commonsense spatial knowledge and reasoning of surprising logical complexity and geometric richness. In this article, I consider a dozen short texts—five taken from literature, the remainder contrived as illustrations—and discuss the spatial reasoning involved in understanding them. I conclude by summarizing their common features, and by tentatively drawing some morals for research in this area.