Boolean connection algebras: A new approach to the Region-Connection Calculus

DOI10.1016/S0004-3702(00)00045-XzbMath0948.68142WikidataQ128089989 ScholiaQ128089989MaRDI QIDQ1583514

John G. Stell

Publication date: 26 October 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

mereotopologyqualitative spatial reasoningregion-connection calculusBoolean connection algebra

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items

Topological representation of precontact algebras and a connected version of the Stone duality theorem. I. ⋮ On topological consistency and realization ⋮ Extension Properties of Boolean Contact Algebras ⋮ Pre-apartness structures on spaces of functions ⋮ Rudiments of rough sets ⋮ A generalization of the Stone duality theorem ⋮ Boolean logics with relations ⋮ On the algebra of regular sets ⋮ Boolean Logics with Relations ⋮ GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ On redundant topological constraints ⋮ On standard models of fuzzy region connection calculus ⋮ Complementation in representable theories of region-based space ⋮ Logics for extended distributive contact lattices ⋮ Discrete Mereotopology ⋮ RCC8 binary constraint network can be consistently extended ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Mereotopology without mereology ⋮ Spatial relations between indeterminate regions ⋮ Reasoning about cardinal directions between extended objects ⋮ A calculus of regions respecting both measure and topology ⋮ FULL MEREOGEOMETRIES ⋮ Realizing RCC8 networks using convex regions ⋮ Extended contact algebras and internal connectedness ⋮ Relational proof systems for spatial reasoning ★ ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ A Proximity Approach to Some Region-Based Theories of Space ⋮ A New Perspective on the Mereotopology of RCC8. ⋮ Contact join-semilattices ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I ⋮ A representation theorem for Boolean contact algebras ⋮ Combining topological and size information for spatial reasoning ⋮ Reducible Theories and Amalgamations of Models ⋮ Region connection calculus: Its models and composition table ⋮ Generalized region connection calculus ⋮ On the complemented disk algebra

Cites Work

• Individuals and points
• The logical systems of Lesniewski
• A calculus of individuals based on 'connection'
• Connection structures
• An algebraic approach to non-classical logics
• Rough sets in knowledge discovery 1. Methodology and applications
• A boundary-sensitive approach to qualitative location
• Parallel concepts in graph theory
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Region-based topology
• Ontologies for plane, polygonal mereotopology
• A logic for rough sets
• Rough sets
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Mereotopology: A theory of parts and boundaries
• Equational Classes of Distributive Pseudo-Complemented Lattices
• A relation-algebraic approach to the region connection calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item