Quantum mereotopology

Barry Smith, Berit Brogaard

Research output: Contribution to journalArticle

19 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)153-175
Number of pages23
JournalAnnals of Mathematics and Artificial Intelligence
Volume36
Issue number1-2
DOIs
StatePublished - 2002
Externally publishedYes

Fingerprint

Partition
Granularity
Sort
Mereology
Qualitative Spatial Reasoning
Reasoning
Contact
Range of data

Keywords

  • Consistent histories
  • Granularity
  • Interpretation of quantum mechanics
  • Mereology
  • Ontology

ASJC Scopus subject areas

  • Artificial Intelligence
  • Applied Mathematics

Cite this

Quantum mereotopology. / Smith, Barry; Brogaard, Berit.

In: Annals of Mathematics and Artificial Intelligence, Vol. 36, No. 1-2, 2002, p. 153-175.

Research output: Contribution to journalArticle

Smith, Barry ; Brogaard, Berit. / Quantum mereotopology. In: Annals of Mathematics and Artificial Intelligence. 2002 ; Vol. 36, No. 1-2. pp. 153-175.
@article{fe450b47c72940b2ab7630f3e7e581c7,
title = "Quantum mereotopology",
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.",
keywords = "Consistent histories, Granularity, Interpretation of quantum mechanics, Mereology, Ontology",
author = "Barry Smith and Berit Brogaard",
year = "2002",
doi = "10.1023/A:1015860121607",
language = "English (US)",
volume = "36",
pages = "153--175",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Netherlands",
number = "1-2",

}

TY - JOUR

T1 - Quantum mereotopology

AU - Smith, Barry

AU - Brogaard, Berit

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

KW - Consistent histories

KW - Granularity

KW - Interpretation of quantum mechanics

KW - Mereology

KW - Ontology

UR - http://www.scopus.com/inward/record.url?scp=0036083166&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036083166&partnerID=8YFLogxK

U2 - 10.1023/A:1015860121607

DO - 10.1023/A:1015860121607

M3 - Article

VL - 36

SP - 153

EP - 175

JO - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

SN - 1012-2443

IS - 1-2

ER -