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.     

TDD: A Comprehensive Model for Qualitative Spatial Similarity Assessment

Similarity plays a fundamental role in the human cognition process. It serves as a principle of categorization, inductive reasoning, and analogical inference. Spatial similarity assessment plays the same role in the retrieval, integration, and data mining of spatial information. In this paper, we introduce the basic components of a similarity assessment model. The model makes a contribution in the following aspects. First, it applies the order of priority topology --> direction --> distance into spatial similarity assessment. Second, instead of measuring the distance between stimuli, which neglects the effect of common features, we adopt Tversky's feature contrast model, which considers both commonality and difference in similarity assessment. Third, our model applies spatial alignment, which was considered as an assumption in previous research. Fourth, it relaxes the rule used in previous research, which considered identical the transformation costs of each edge belonging to a conceptual neighborhood network. In order to address this fourth point, we group the topological relationships and introduce the concepts of inter- and intra-group transformation costs. The inter-group transformation cost has a higher value than the intra-group transformation cost. We call the model TDD for Topology-Direction-Distance.     

潜在通路存在的判定方法研究

为判断给定系统是否存在潜在通路,研究了潜在通路存在的判定方法.用图论模型对电路建模,利用图论的邻接矩阵找到在某一开关组合状态下电源到地的所有路径,通过路径和功能之间的一一对应关系确定电路实现的功能数.提出了一种求短路屏蔽路径数算法,可以求得短路屏蔽的功能数.通过比较在某一开关状态下的设计功能数和实现的功能数,确定是否存在潜在通路以及潜在通路存在数目.仿真实例验证了方法的有效性.     

潜在电路分析中的拓扑模式图形生成算法研究

在电路网络树拓扑模式被识别出来的基础上 ,推导出网络树的基本拓扑模式图形生成算法 ,以便于分析设计人员使用拓扑模式图形的方式对电路系统进行具体的潜在电路分析     

变拓扑多臂航天器高效统一动力学建模

针对多臂航天器在轨操控过程中可能存在的多链、闭环、环链混合等多种拓扑构型及相应的动力学模型变化,提出基于空间算子代数理论(SOA)的高效统一动力学建模方法。首先,提出了描述多臂航天器部件连接关系的构型参数,并基于构型参数提出了多臂航天器拓扑构型描述矩阵的自主生成方法。其次,基于空间算子代数理论,将通路矩阵与空间转移算子相结合,提出了变拓扑多臂航天器统一动力学建模方法。最后,将数值仿真结果与多体动力学仿真软件的仿真结果进行比对,验证所提方法的有效性。仿真结果表明,对于不同的拓扑结构,所提出的O(n)阶统一动力学建模方法能准确描述变拓扑情况下的多臂航天器动力学响应。     

复连通区域曲线积分与路径无关的充要条件

本文主要给出了复连通区域曲线积分与路径无关的充要条件,同时进一步讨论了当曲线积分与路径相关时,沿不同路径的积分之间的某种关系。     

Geometric problem solving with strings and pins

Humans solve spatial and abstract problems more easily if these can be visualized and/or physically manipulated. We analyze the domain of geometric problem solving from a cognitive perspective and identify several levels of domain abstraction that interact in the problem solving process. We discuss the roles of physical manifestations of spatial configurations, their manipulation, and their perception for understanding problem solving processes. We propose an extension of the classical problem solving repertoire of constructive geometry to approach certain problems more directly than under the compass-and-straightedge paradigm. Specifically, we introduce strings and pins as helpful metaphors for a generalization of the constructive geometry approach. We present classical problems from spatial problem solving to illustrate the ‘strings and pins’ paradigm. Three case studies are discussed: strings-and-pins solutions to (i) the ellipse construction problem; (ii) the shortest path problem; and (iii) the angle trisection problem. Comparisons to formal solutions are drawn. Differences and similarities between the compass-and-straightedge paradigm and the strings-and-pins paradigm are analyzed. Features and limitations of constructive and depictive geometry as well as implications for computational approaches are discussed. The strings-and-pins domain is shown to be more general and less restrictive than the compass-and-straightedge domain.     

Spatial Influence of Environmental Axes in a Baseball Field

Abstract

We investigated the influence of environmental axes in a baseball field. In Experiment 1, participants walked either a path in the prototypical orientation (home plate to second base) or one which was rotated 225°. Recall for object locations was best when participants imagined themselves aligned with axes salient from the experienced orientation. In Experiment 2, when learning was through a route text, there was less of an influence of environmental axes. In Experiment 3, when participants walked both paths, memories were good for the atypical orientation, suggesting that task-specific spatial cues can be more influential than a prior conceptual north.     

A uniform anthropomorphological approach to the human conception of dimensional relations

Within psycholinguistics, the dimensional conception of space is described through a variety of theoretical constructs, e.g., frames of reference, perspectives, strategies, and patterns. The objective of this paper is to introduce a uniform classification of the alternatives of dimensionally conceiving of object relations, derived from the functional and morphological asymmetries of the human body which define an anthropomorphous Origo, and from our ability to mentally project the Origo into positions and orientations other than we actually occupy. Particularly, the conception of dimensional relations on the first horizontal line is explained through the principle of perceptual accessibility of objects; this allows for the uniform treatment of (almost) all conceptual alternatives from basic psychological principles. Finally, some implications of this anthropomorphological view for the human cognition of dimensional relations are discussed and underpinned with empirical results.     

The interaction of symmetry and verbal codability in children's reconstruction of spatial configurations

Although the physical organization of spatialinformation clearly influences how it is recognized,recalled, and mentally transformed, few studies haveexplored how different levels of organizationinteract. This study focused on 4- and 6-year-oldchildren's memory for spatial configurations andexamined the relative influence of two levels oforganization: symmetry (vertical, horizontal, or none)and codability (verbal or nonverbal). We predictedthat the influence of symmetry would be lesspronounced among the older children for whom thepatterns were more codable. The results partiallysupported this prediction: Older children'sreconstructions were accurate regardless of patternsymmetry; younger children's reconstructions ofvertically-symmetric patterns were more accurate thantheir reconstructions of horizontally-symmetric andasymmetric patterns. Taken together, the resultsrevealed an interaction between age and symmetry onthe accuracy of children's reconstructions, suggestingthat younger children were more sensitive than olderchildren to differences in pattern symmetry. Thus,different levels of organization may influencechildren's ability to recall spatial information andthe relative influence of these levels may changeduring development.     

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.     

Women''s place in space exploration

A Mars manned space mission would be characterized by long-lasting psycho-social stress for its human participants. Based on the results of our and other authors' experiments with small human groups under simulated space stress conditions, and bearing in mind historical evidence of the changing role of women in human society, the differences of feminine and masculine cognitive patterns should be taken into greater account. Participation of women in astronautics should be reconsidered from the point of view of the roles of women as members of a space ship crew, as members of a space control centre and in relation to the family life of male astronauts on long-term space missions.     

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.     

Route generation and description using the notions of object's influence area and spatial conceptual map

In the GRAAD Project we aimed at creatinga system which could generate route directions thatare comparable to route directions created by humanparticipants. With this goal in mind, we started froma linguistic and cognitive study of route directionsproduced by people and the study of cognitive modelsof mental maps. We proposed a new qualitative spatialmodel that can support the spatial properties of humanroute directions. This model is based on the notion ofobject's influence area which is used to modelneighborhood, orientation and distance. The proposedapproach relies on the manipulation of spatialentities in a spatial conceptual map (SCM) which isthe computarized analog of a mental map used bypeople. We developped the GRAAD System, software thatgenerates routes in a SCM and describes them innatural language. Finally, we conducted an experimentin order to compare GRAAD's route directions androutes described by human participants in similarexperimental conditions. GRAAD's output was notdistinguishable from route directions created by humanparticipants. In this paper we present the mainresults obtained during all phases of the GRAADProject.     

Relationships between orientation, movement and posture in weightlessness: preliminary ethological observations

Weightlessness in man induces changes in astronaut orientations and consequently in his patterns of movements and postures. An ethological method has been used to describe the "overall" spontaneous behaviour of astronauts as seen from video recordings made during Space Flights. The work has consisted in analysing the relationships between orientation, movement and posture as an indication of a motor adaptative reorganization in such a situation. The results obtained lead us to consider three different aspects: (1) Orientation references. The astronaut orientates himself with reference to the Space Shuttle's internal structure; the increase of visual activity confirms the choice of the retinal vertical as frame of reference. (2) Motor coordination. The main data reveals a decrease in motor stereotypes by the diversity of motor acts observed and the importance of the link between orientation and posture described as follows: slightly inclined forward position, with legs flexed at about 135 degrees. (3) Cognitive references. There appears to be a new organization of the cognitive image of the body scheme, the missing vestibular information being supplied by peripheral vision instead which could play a role in the astronaut's perception of his own movement.     

Function,geometry and spatial prepositions: Three experiments

In this paper the results of three experiments are reported whichaddress the issue of the relative extent to which functionalrelations versus geometric relations affect spatial language. Theexperiments examine the role of a discourse context on the useand rating of the preposition in to describe a visual scenewhere the constraint of spatial containment between figure(object located) and ground (reference object) does not hold. Allthree experiments demonstrate that in is used more andrated to be significantly more appropriate in a functionalcontext than in a no context condition. The implications of thesestudies for spatial language and spatial representation arediscussed.