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.     

Lunar astrobiology: a review and suggested laboratory equipment

In October of 2005, the European Space Agency (ESA) and Alcatel Alenia Spazio released a "call to academia for innovative concepts and technologies for lunar exploration." In recent years, interest in lunar exploration has increased in numerous space programs around the globe, and the purpose of our study, in response to the ESA call, was to draw on the expertise of researchers and university students to examine science questions and technologies that could support human astrobiology activity on the Moon. In this mini review, we discuss astrobiology science questions of importance for a human presence on the surface of the Moon and we provide a summary of key instrumentation requirements to support a lunar astrobiology laboratory.     

Vague Reference and Approximating Judgments

"Mount Everest" is a vague name. That is (on the account here defended) there are many portions of reality all of which have equal claims to serve as its referent. We propose a new account of such vagueness in terms of a theory of what we shall call granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. In addition, we describe the practice whereby subjects use systems of reference grids as a means for tempering the vagueness of their judgments for example when they say that Libya straddles the Equator or that the meeting will take place between 2 and 3pm. We then demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to in the literature as 'approximation'.