Abstract
While mereotopology – the theory of boundaries, contact and separation built up on a mereological foundation – has found fruitful applications in the realm of qualitative spatial reasoning, it faces problems when its methods are extended to deal with those varieties of spatial and non-spatial reasoning which involve a factor of granularity. This is because granularity cannot easily be represented within a mereology-based framework. We sketch how this problem can be solved by means of a theory of granular partitions, a theory general enough to comprehend not only the familiar sorts of spatial partitions but also a range of coarse-grained partitions of other, non-spatial sorts. We then show how these same methods can be extended to apply to finite sequences of granular partitions evolving over time, or to what we shall call coarse- and fine-grained histories.
Similar content being viewed by others
References
C. Bettini, X.S. Wang and S. Jajodia, A general framework for time granularity and its application to temporal reasoning, Annals of Mathematics and Artificial Intelligence 22(1/2) (1998) 29-58.
T. Bittner, A qualitative coordinate language of location of figures within the ground, in: Spatial Information Theory-A Theoretical Basis for GIS, COSIT'97, Laurel Highlands, PA, eds. S. Hirtle and A.U. Frank, Lecture Notes in Computer Science, Vol. 2205 (Springer, Berlin/New York, 1997) pp. 223-240.
T. Bittner and B. Smith, A taxonomy of granular partitions, in: Spatial Information Theory, COSIT '01, Lecture Notes in Computer Science (Springer, Berlin/New, 2001).
T. Bittner and J.G. Stell, A boundary-sensitive approach to qualitative location, Annals of Mathematics and Artificial Intelligence 24 (1998) 93-114.
J. Bub, Interpreting the Quantum World (Cambridge University Press, Cambridge, 2000).
G. Cantor, Beiträge zur Begründung der transfiniten Mengenlehre, Mathematische Annalen 47 (1895) 481-512; 49 (1897) 207-246.
R. Casati and A.C. Varzi, Parts and Places (MIT Press, Cambridge, MA, 1999).
A.G. Cohn and M. Gotts, N. The 'egg-yolk' representation of regions with indeterminate boundaries, in: Geographic Objects with Indeterminate Boundaries, eds. P. Burrough and A.U. Frank, GISDATA Series II (Taylor and Francis, London, 1996).
M. Erwig and M. Schneider, The honeycomb model of spatio-temporal partitions, in: Proceedings of the International Workshop on Spatio-Temporal Database Management, Lecture Notes in Computer Science, Vol. 1678 (Springer, Berlin, 1999).
C. Freksa and T. Barkowsky, On the relation between spatial concepts and geographic objects, in: Geographic Objects with Indeterminate Boundaries, eds. P. Burrough and A.U. Frank (Taylor and Francis, 1994).
A. Galton, The mereotopology of discrete space, in: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Science, Lecture Notes in Computer Science, Vol. 1661 (Springer, Berlin/New York, 1999) pp. 251-266.
M. Gell-Mann and J.B. Hartle, Quantum mechanics in the light of quantum cosmology, in: Proceedings of the 3rd International Symposium on the Foundations of Quantum Mechanics in the Light of New Technology, eds. S. Kobayashi et al. (Physical Society of Japan, Tokyo, 1991).
M. Gell-Mann and J.B. Hartle, Classical equations for quantum systems, Physical Review A (1993).
R. Griffiths, Consistent histories and the interpretation of quantum mechanics, Journal of Statistical Physics 36 (1984) 219-272.
R. Griffiths, The consistency of consistent histories, Foundations of Physics 23 (1993) 1601-1610.
N. Guarino and C. Welty, Ontological analysis of taxonomic relationships, in: Proceedings of ER-2000: The 19th International Conference on Conceptual Modeling, eds. A. Laender and V. Storey, Lecture Notes in Computer Science (Springer, Berlin/New York, 2000).
D. Lewis, Parts of Classes (Blackwell, Oxford, 1991).
D.M. Mark, Topological properties of geographic surfaces: applications in computer cartography, in: Harvard Papers on Geographic Information Systems, Vol. 5, Laboratory for Computer Graphics and Spatial Analysis (Harvard University, Cambridge, MA, 1978).
R.G. Millikan, A common structure for concepts of individuals, stuffs, and real kinds: more mama, more milk, and more mouse, Behavioral and Brain Sciences 9(1) (1998) 55-100.
R. Omnès, The Interpretation of Quantum Mechanics (Princeton University Press, Princeton, 1994).
R. Omnès, Understanding Quantum Mechanics (Princeton University Press, Princeton, 1999).
P. Simons, Parts, a Study in Ontology (Clarendon Press, Oxford, 1987).
B. Smith, Relevance, relatedness and restricted set theory, in: Advances in Scientific Philosophy. Essays in Honour of Paul Weingartner, eds. G. Schurz and G.J.W. Dorn (Rodopi, Amsterdam/Atlanta, 1991) pp. 45-56.
B. Smith, Fiat objects, Topoi 20(2) (2001).
B. Smith and B. Brogaard, A unified theory of truth and reference, Logique et Analyse, forthcoming.
J.G. Stell, Granulation for graphs, in: Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science, eds. C. Freksa and D.M. Mark, Lecture Notes in Computer Science, Vol. 1661 (Springer, Berlin/New York, 1999) pp. 417-432.
J.G. Stell, The representation of discrete multi-resolution spatial knowledge, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), eds. A.G. Cohn, F. Giunchiglia and B. Selman (Morgan-Kaufmann, San Mateo, CA, 2000) pp. 38-49.
J.G. Stell and M.F. Worboys, Generalizing graphs using amalgamation and selection, in: Advances in Spatial Databases, Proceedings, eds. D. Papadial et al., Lecture Notes in Computer Science,Vol. 1651 (Springer, Berlin/New York, 1999) pp. 19-32.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Smith, B., Brogaard, B. Quantum Mereotopology. Annals of Mathematics and Artificial Intelligence 36, 153–175 (2002). https://doi.org/10.1023/A:1015860121607
Issue Date:
DOI: https://doi.org/10.1023/A:1015860121607