Distributive mereotopology: extended distributive contact lattices

DOI10.1007/S10472-016-9499-5zbMATH Open1378.06008arXiv1901.10442OpenAlexW2318572191MaRDI QIDQ505967

Dimiter Vakarelov, Tatyana B. Ivanova

Publication date: 27 January 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Abstract: Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean algebra are considered as formal representations of physical bodies. The contact relation is used also to define some other important mereotopological relations like non-tangential inclusion, dual contact, external contact. Most of these definitions are given by means of the operation of Boolean complementation. There are, however, some problems related to the motivation of this operation. In order to avoid these problems we propose a generalization of the notion of contact algebra by dropping the operation of complement. In this paper we consider as non-definable primitives the relations of contact, nontangential inclusion and dual contact. Part I of the paper is devoted to a suitable axiomatization called extended distributive contact lattice (EDCL) by means of universal first-order axioms true in all contact algebras. EDCL may be considered also as an algebraic tool for certain subarea of mereotopology, called in this paper distributive mereotopology. The main result of Part I of the paper is a representation theorem, stating that each EDCL can be embedded into a contact algebra, showing in this way that the presented axiomatization preserves the meaning of mereotopological relations without considering Boolean complementation. Part II of the paper is devoted to topological representation theory of EDCL, transferring into the distributive case important results from the topological representation theory of contact algebras. It is shown that under minor additional assumptions on distributive lattices as extensionality of the definable relations of overlap or underlap one can preserve the good topological interpretations of regions as regular closed or regular open sets in topological space.

Full work available at URL: https://arxiv.org/abs/1901.10442

zbMATH Keywords

topological representationscontact algebrasdistributive contact algebrasdistributive mereotopologyextended distributive contact algebrasmereotopology

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Topological lattices (06B30) Structure and representation theory of distributive lattices (06D05) Topological representations of algebraic systems (54H10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological representations of distributive lattices and Brouwerian logics
• Handbook of Spatial Logics
• Proximity structures and grills
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
• On the algebra of regular sets
• Complementation in representable theories of region-based space
• Real functions and near-normal spaces
• Mereocompactness and Duality for Mereotopological Spaces
• A Proximity Approach to Some Region-Based Theories of Space
• On the Skeleton of Stonian p-Ortholattices
• Topological Representation of Contact Lattices
• Distributive contact lattices: topological representations
• Mereotopology without mereology

Cited In (4)

• Algebraic Representation, Dualities and Beyond
• Logics for extended distributive contact lattices
• Subordinations on bounded distributive lattices
• Contact join-semilattices

This page was built for publication: Distributive mereotopology: extended distributive contact lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q505967)