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.     

The cognitive adequacy of Allen's interval calculus for qualitative spatial representation and reasoning

Qualitative spatial reasoning (QSR) is often claimed to be cognitively more plausible than conventional numerical approaches to spatial reasoning, because it copes with the indeterminacy of spatial data and allows inferences based on incomplete spatial knowledge. The paper reports experimental results concerning the cognitive adequacy of an important approach used in QSR, namely the spatial interpretation of the interval calculus introduced by Allen (1983). Knauff, Rauh and Schlieder (1995) distinguished between the conceptual and inferential cognitive adequacy of Allen's interval calculus. The former refers to the thirteen base relations as a representational system and the latter to the compositions of these relations as a tool for reasoning. The results of two memory experiments on conceptual adequacy show that people use ordinal information similar to the interval relations when representing and remembering spatial arrangements. Furthermore, symmetry transformations on the interval relations were found to be responsible for most of the errors, whereas conceptualneighborhood theory did not appear to correspond to cognitively relevant concepts. Inferential adequacy was investigated by two reasoning experiments and the results show that in inference tasks where the number of possible interval relations for the composition is more than one, subjects ignore numerous possibilities and interindividually prefer the same relations. Reorientations and transpositions operating on the relations seem to be important for reasoning performance as well, whereas conceptual neighborhood did not appear to affect the difficulty of reasoning tasks based on the interval relations.     

On the deployment dynamics of tether connected two-body systems

A general formulation of the deployment dynamics of tether connected two-body systems taking into account the three dimensional librational motion, longitudinal and transverse vibrations of the continuous tether, eccentricity of the orbit and aerodynamic drag in a rotating, oblate atmosphere, is presented. Three simple deployment procedures (uniform, exponential and their combination) are considered. In the beginning analytical solutions are obtained for the degenerate case of negligible vibrations in a circular orbit, which help in establishing trends for the more general situation. This is followed by the general dynamics of the system investigated through integration of the linearized autonomous equations of motion numerically. Typical plots are presented which describe the effects of various system parameters on the tether dynamics during deployment of a subsatellite from the Space Shuttle.     

Human Four-Dimensional Spatial Judgments of Hyper-Volume

The dimensionality limitation of human spatial representations has been a long-lasting, unsolved issue in psychology, mathematics, and philosophy. The present study examined the possibility of human four-dimensional spatial representations using a spatial judgment task on hyper-volume, a novel property unique to higher dimensional space. Observers studied visual simulations of random wireframe hyper-tetrahedrons (4-simplexes) rotating around the y-z plane and judged their hyper-volume by adjusting the size of a 4-D block. Multiple regression analyses showed a significant correlation between the responses and the actual hyper-volume but not the definition-based, lower-dimensional cues such as the mean 3-D volume, providing empirical evidence of human 4-D spatial representations that can support judgments of certain novel, high-dimensional properties.     

Topologically Characterized Movement Patterns: A Cognitive Assessment

Abstract

In this paper, we discuss the role of topology as a predictor for the conceptualization of dynamically changing spatial configurations (referred to as movement patterns). We define meaningful units of movement patterns as paths through a topologically defined conceptual neighborhood graph. Topology plays a central role in formal approaches to human cognition and in predicting cognitive similarity ratings—although primarily for static spatial configurations. Formal specifications of the role of topology for characterizing movement patterns do exist, yet there is paucity of behavioral validation. To bridge this gap, we conducted an experiment based on the grouping paradigm to assess factors that underlie conceptualizations of movement patterns. The experiment was designed such that paths through the conceptual neighborhood graph were distinguished by topologically differentiated ending relations. We believe topology can make an important contribution in explaining movement conceptualizations. One recently formulated topology-based contribution is the endpoint hypothesis, asserting that a cognitive focus is placed on event ending relations. We discuss the results of our experiment in relation to previous experiments targeted toward a framework for modeling the cognitive conceptualization of dynamically changing spatial relations.     

Transformations and representations supporting spatial perspective taking

Spatial perspective taking is the ability to reason about spatial relations relative to another’s viewpoint. Here, we propose a mechanistic hypothesis that relates mental representations of one’s viewpoint to the transformations used for spatial perspective taking. We test this hypothesis using a novel behavioral paradigm that assays patterns of response time and variation in those patterns across people. The results support the hypothesis that people maintain a schematic representation of the space around their body, update that representation to take another’s perspective, and thereby to reason about the space around their body. This is a powerful computational mechanism that can support imitation, coordination of behavior, and observational learning.     

Approximate qualitative spatial reasoning

Qualitative relations between spatial regions play an importantrole in the representation and manipulation of spatial knowledge.The RCC5 and RCC8 systems of relations,used in the Region-Connection Calculus, are of fundamentalimportance. These two systems deal with ideal regions havingprecisely determined location. However,in many practical examples of spatial reasoning,regions are represented by finite approximations rather than known precisely.Approximations may be given by describing how a regionrelates to cells forming a partition of the space underconsideration. Although the RCC5 and RCC8 systems have beengeneralized to ``egg-yolk' regions, in order to modelcertain types of vagueness, their extension to regionsapproximated in this way has not been discussed before.This paper presents two methods, the syntactic and the semantic, by which the RCC5 and RCC8 systemsmay be defined for approximate regions. The syntactic uses algebraicoperations on approximate regions which generalize operations on preciseregions. The semantic method makes use of the set of preciseregions which could be the intended interpretation of anapproximate region. Relationships between these two methods arediscussed in detail.alternative to navigation training with a map.     

Spatio-Temporal Ontologies and Attention

ABSTRACT

This paper presents a new proposal for the design of spatio-temporal ontologies which has its origin in cognitively motivated spatial semantics. It is shown that selective attention not only plays a central role in the characterization of spatial relations but that the representation of attentional aspects also leads to the possibility of defining an ontological upper structure which systematically covers both the spatial and the temporal domain.     

尺寸高稳定性复合材料桁架结构的研制

介绍了某卫星复合材料桁架结构的研制情况,通过材料选择、铺层设计、材料的热膨胀系数测试与分析,制造了高精度的复合材料桁架,并测量了结构的热变形。测量结果表明:采用高模量碳纤维复合材料能够制造出热变形只有微米级的高稳定结构。这是针对超稳卫星平台所需的尺寸高稳定性结构的首次成功探索。文章最后对进一步降低结构热变形、提高尺寸稳定性和测量精度提出了建议。     

Relation algebras over containers and surfaces: An ontological study of a room space

Recent research in geographic information systems hasbeen concerned with the construction of algebras tomake inferences about spatial relations by embeddingspatial relations within a space in which decisionsabout compositions are derived geometrically. Wepursue an alternative approach by studying spatialrelations and their inferences in a concrete spatialscenario, a room space that contains such manipulableobjects as a box, a ball, a table, a sheet of paper,and a pen. We derive from the observed spatialproperties an algebra related to the fundamentalspatial concepts of containers and surfaces and showthat this container-surface algebra holds allproperties of Tarski's relation algebra, except forthe associativity. The crispness of the compositionscan be refined by considering the relative size of theobjects) and their roles (i.e., whether it isexplicitly known that the objects are containers orsurfaces).     

Wayfinding Through Orientation

Dominant approaches in computer-assisted wayfinding support adhere to the deeply problematic principles of turn-by-turn navigation. In this article, we suggest a new approach called “Wayfinding Through Orientation,” which supports the acquisition of spatial knowledge and cognitive mapping for advancing the user’s spatial orientation. Being oriented on one’s way is a prerequisite to enabling people to verify instructions and to incorporate new spatial information into their existing knowledge structure. In three studies described in this article we first present empirical evidence that people can be supported in survey knowledge acquisition through suitable wayfinding instructions. Consequently, we explore orientation information in human wayfinding instructions. Finally, we outline how orientation information can be communicated within a prototypically implemented navigation assistance system.     

Modeling visuospatial reasoning

I apply my proposed modification of Soar/Spatial/Visual System and Kosslyn’s (1983) computational operations on images to problems within a 2 × 2 taxonomy that classifies research according to whether the coding involves static or dynamic relations within an object or between objects (Newcombe & Shipley, 2015). I then repeat this analysis for problems that are included in mathematics and science curricula. Because many of these problems involve reasoning from diagrams Hegarty’s (2011) framework for reasoning from visual-spatial displays provides additional support for organizing this topic. Two more relevant frameworks specify reasoning at different levels of abstraction (Reed, 2016) and with different combinations of actions and objects (Reed, 2018). The article concludes with suggestions for future directions.     

自杀现象透析

自杀是生理、心理和社会的异常.自杀作为一种特殊的社会现象,是由人类心理、家庭、社会生活、人际关系、身体与精神疾病等各种错综复杂的因素所产生的一种社会病.因此,我们的当务之急是正确地认识这一种现象,并建立起危机预防"安全网".     

自杀现象透析

自杀是生理、心理和社会的异常。自杀作为一种特殊的社会现象,是由人类心理、家庭、社会生活、人际关系、身体与精神疾病等各种错综复杂的因素所产生的一种社会病。因此,我们的当务之急是正确地认识这一种现象,并建立起危机预防"安全网"。     

Mereological inheritance

In recent investigations of Spatial Reasoning, SpatialKnowledge Representation, and Geographic Information Systems, asignificant effort has been spent by many scholars of the areaabout the problem of representing properties of spatial objects bymeans of logical theories.An analogous effort has been the problem of analyzingthe qualitative relations which can be established between twospace regions. These investigations have led to a generalframework of the field known by the term ``mereo-topology'.Though both the above mentioned approaches have proved to besuccessful in the investigation of formal and practically relevantaspects of spatial objects, no attempt has been carried out in the direction of integrating the approaches and looking at the relationshipbetween a general logical theory of space and mereo-topology from an analytical point of view, in particular for exploiting thecombinatorial behaviour of such an integrated model.This paper intends to fill the gap and analyze the behaviour ofspatial formulae of a logical theory of space as objects which canbe classified based on the behaviour they exhibit with respect tothe parts and supertparts of the regions where they are true. Wename these categories of behaviourinheritance modalities.