An interval logic for space based on “connection”
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
The Algebraic Structure of Sets of Regions
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Categorical methods in qualitative reasoning: the case for weak representations
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
A hybrid reasoning model for "whole and part" cardinal direction relations
Advances in Artificial Intelligence
| Hi-index | 0.00 |
This paper investigates the class of weak models of the calculi RCC-5 and RCC-8, which are basically first-order models of the theories specified by the composition table. We show that simple structures, viz. sets and general topological spaces provide natural weak models. Conversely, we prove that for any finite weak model there are finite structures upon which the model is based. We interpret the construction of the models described by Renz as lifting those finite models to models in the Euclidean space.