A foundation for region-based qualitative geometry
Published 20 August 2000
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika
Citations49
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A categorical axiom system, whose models can be interpreted classically in terms of Cartesian spaces over ℝ, and it is shown that within this system the concept of sphere and the congruence relation are interdefinable.
Abstract
We present a highly expressive logical language for describing qualitative configurations of spatial regions, based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. We give a categorical axiom system, whose models can be interpreted classically in terms of Cartesian spacesover R.We show that within this system the concept of sphere and the congruence relation are interdefinable. We investigate the 2nd-order character of the theory and prove incompleteness of some weaker 1st-order variants.
Keywords
Computer Science
A Spatial Logic based on Regions and Connection.
1,927 Citations1992David Randell, Zhanfeng Cui +1 more
An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su(cid:11)er in terms of its useful expressiveness.
Cambridge University Press eBooksIntroduction to HOL: a theorem proving environment for higher order logic
1,308 Citations1993Mike Gordon, Tom Melham
A tutorial on goal-directed proof: tactics and tacticals and theorem-Proving With HOL, a simple proof tool for goal-oriented proof of the binomial theorem.
Notre Dame Journal of Formal LogicA calculus of individuals based on ``connection''.
394 Citations1981Bowman L. Clarke
Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman, comprend trois parties: une partie mereologique (systematisation des predicats mereologiques), partie quasi booleenne (introduction des operateurs booleens and de l'individu universel).
Studies in logic and the foundations of mathematicsWhat is Elementary Geometry?
303 Citations1959Alfred Tarski
Lecture notes in computer scienceQualitative spatial representation and reasoning techniques
183 Citations1997Anthony G. Cohn
The state of the art in Qualitative Spatial Reasoning is surveyed, covering representation and reasoning issues as well as pointing to some application areas.
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
170 Citations1995Nicholas Asher, Laure Vieu
This work offers an alternative to Tarski, starting with mereotopological notions that have proved useful in the semantic analysis of spatial expressions and gives a complete axiomatization of this account of mereotipological reasoning.
A pointless theory of space based on strong connection and congruence
125 Citations1996Stefano Borgo, Nicola Guarino +1 more
A logical theory of space where only tridimensional regions are assumed in the domain is presented, and three distinct primitives are used to describe their mereological, topological and morphological properties.
Notre Dame Journal of Formal LogicOntologies for Plane, Polygonal Mereotopology
50 Citations1997Oliver Lemon, Ian Pratt‐Hartmann
It is concluded that useful alternative ontologies of the plane are, if anything, less parsimonious than the one which they are supposed to replace.
Artificial IntelligenceOn the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
44 Citations1999Jochen Renz, Bernhard Nebel
It is proved that reasoning is NP-complete in general and identified a maximal tractable subset of the relations in RCC-8 that contains all base relations and shows that for this subset path-consistency is sufficient for deciding consistency.
Artificial Intelligence in EngineeringA logical framework for commonsense predictions of solid object behaviour
36 Citations1988Ernest Davis
A first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations is presented, substantially more expressive and powerful than any previous AI representational system in this domain.
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
32 Citations2000Brandon Bennett, Anthony G. Cohn +2 more
The expressive power of a recently developed qualitative region-based geometry is explored and applied to the problem of representing and reasoning about the motion of rigid bodies within a confining environment.
Undecidability of Plane Polygonal Mereotopology.
29 Citations1998Christoph Dornheim
It turns out that both the relations usually provided by mereotopolo-gies and more subtle topological relations are elementarily deenable in the model and Post's correspondence problem can be reduced to the decision problem of the model.
Spatial locations via morpho-mereology
16 Citations2000Matteo Cristani, Anthony G. Cohn +1 more
An axiomatisation for congruence, the chosen morphological primitive, the notion of mobile part, a subset of morphomereological relations suitable for representing spatial locations, and the computational complexity of this set are presented.