Complementation in Representable Theories of Region-Based Space

Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies (CMT) called unique closure mereotopologies (UCMT) whose models always have orthocomplemented contact algebras (OCA) an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact algebras the strength of the algebraic complementation delineates two classes of mereotopology according to the key ontological choice between mereological and topological closure operations. All closure operations are defined mereologically iff the corresponding contact algebras are uniquely complemented while topological closure operations highly restrict the contact relation but allow not uniquely complemented and non-distributive contact algebras. Each class contains a single ontologically coherent theory that admits discrete models.

[1]  Antony Galton.  Taking Dimension Seriously in Qualitative Spatial Reasoning , 1996, ECAI.

[2]  Sanjiang Li,et al.  On the complemented disk algebra , 2006, J. Log. Algebraic Methods Program..

[3]  A. Cohn,et al.  A connection based approach to common-sense topological description and reasoning , 1996 .

[4]  Michael Winter,et al.  A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..

[5]  John G. Stell,et al.  Boolean connection algebras: A new approach to the Region-Connection Calculus , 2000, Artif. Intell..

[6]  Michael Winter,et al.  The Lattice of Contact Relations on a Boolean Algebra , 2008, RelMiCS.

[7]  Torsten Hahmann,et al.  A Naive Theory of Dimension for Qualitative Spatial Relations , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[8]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[9]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[10]  Thomas Mormann.  Continuous lattices and Whiteheadian theory of space , 2004 .

[11]  Michael Winter,et al.  Stonian p-ortholattices: A new approach to the mereotopology RT0 , 2009, Artif. Intell..

[12]  Sanjiang Li,et al.  Generalized Region Connection Calculus , 2004, Artif. Intell..

[13]  Giangiacomo Gerla,et al.  Connection Structures , 1991, Notre Dame J. Formal Log..

[14]  Peter Forrest.  From Ontology to Topology in the Theory of Regions , 1996 .

[15]  Stefan E. Schmidt,et al.  SEMIMODULAR LATTICES: THEORY AND APPLICATIONS (Encyclopedia of Mathematics and its Applications 73) , 2001 .

[16]  L. Vieu.  Spatial Representation and Reasoning in Artificial Intelligence , 1997 .

[17]  Michael Winter,et al.  Distributive contact lattices: Topological representations , 2008, J. Log. Algebraic Methods Program..

[18]  Dimiter Vakarelov,et al.  Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.

[19]  Michael Winter,et al.  On the algebra of regular sets , 2012, Annals of Mathematics and Artificial Intelligence.

[20]  John G. Stell,et al.  A Qualitative Account of Discrete Space , 2002, GIScience.

[21]  T. Hahmann.  Model-Theoretic Analysis of Asher and Vieu's Mereotopology , 2008 .

[22]  Michael Winter,et al.  Topological Representation of Contact Lattices , 2006, RelMiCS.

[23]  Roberto Casati,et al.  Parts And Places , 1999 .

[24]  Ivo Düntsch,et al.  Region–based theory of discrete spaces: A proximity approach , 2007, Annals of Mathematics and Artificial Intelligence.

[25]  Laure Vieu,et al.  Atomicity vs. Infinite Divisibility of Space , 1999, COSIT.

[26]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[27]  R. Cooper.  Process and Reality , 2014 .

[28]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[29]  Torsten Hahmann,et al.  Region-Based Theories of Space: Mereotopology and Beyond , 2012 .

[30]  Nicholas Mark GottsDivision.  Formalizing Commonsense Topology : The INCH Calculus , 1996 .

[31]  John G. Stell.  Part and Complement: Fundamental Concepts in Spatial Relations , 2004, Annals of Mathematics and Artificial Intelligence.

[32]  Achille C. Varzi.  Basic Problems of Mereotopology , 1998 .

[33]  Antony Galton.  Multidimensional Mereotopology , 2004, KR.

[34]  Michael Winter,et al.  Algebraization and representation of mereotopological structures , 2004 .

[35]  Peter Roeper,et al.  Region-Based Topology , 1997, J. Philos. Log..

[36]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[37]  Michael F. Worboys,et al.  The Algebraic Structure of Sets of Regions , 1997, COSIT.

[38]  Ivo Düntsch,et al.  Axioms, Algebras and Topology , 2007, Handbook of Spatial Logics.

[39]  G. Grätzer.  General Lattice Theory , 1978 .

[40]  Michael Winter,et al.  Weak Contact Structures , 2005, RelMiCS.

[41]  Dimiter Vakarelov,et al.  Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics , 2007 .

[42]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[43]  Antony Galton,et al.  The Mereotopology of Discrete Space , 1999, COSIT.

[44]  T. Blyth.  Lattices and Ordered Algebraic Structures , 2005 .

[45]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.