1. A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo

2. 2 Overview Introduction The theory of granular partitions - overview Granular partitions and their projective relation to reality A classification of granular partitions Conclusions

3. 3 Granular Partitions

4. 4 Theory of granular partitions Goals –A theory of our listing, sorting, cataloguing, categorizing, and mapping human activities –explain the selectivity of these cognitive activities –extend mereology with the feature of granularity –and provide an alternative to set theory as a tool to formalize common sense

5. 5 Theory of granular partitions (2) There is a projective relation between cognitive subjects and reality Major assumptions: Humans ‘see’ reality through a grid The ‘grid’ is usually not regular and raster shaped

6. 6 Theory of granular partitions (3) Major assumptions –Projection is an active process: it brings certain features of reality into the foreground of our attention (and leaves others in the background) it brings fiat objects into existence –Granular partitions are only distantly related to (mathematical) partitions formed by equivalence relations –This projective relation can reflect the mereological structure of reality

7. 7 Projective relation to reality

8. 8 Projection of cells (1) Cell structureTargets in reality Hydrogen Lithium Projection

9. 9 Projection of cells (2) … Wyoming Idaho Montana … Cell structure North America Projection

10. 10 Multiple ways of projecting County partition Highway partition Big city partition

11. 11 Theory of granular partitions (4) Core components (master conditions) –Cell structures (Theory A) –Projective relation to reality (Theory B) Subcell relation Minimal, maximal cell Trees, Venn-diagrams Projection and location Projection is a partial, functional, (sometimes) mereology-preserving relation

12. 12 Theory A

13. 13 Systems of cells Subcell relation –Reflexive, transitive, antisymmtric The cell structure of a granular partition –Has a unique maximal cell ‘Idaho’ in the county partition of Idaho The periodic table as a whole –Each cell is connected to the root by a finite chain –Every pair of cells is either in subcell or disjointness relation

14. 14 Cell structures and trees Cell structures can be represented as trees and vice versa Animal Bird Fish Canary Ostrich Shark Salmon

15. 15 A category tree

16. 16 Theory B

17. 17 Projection and location Humans Apes Dogs Mammals

18. 18 Misprojection … Idaho Montana Wyoming … P(‘Montana’,Idaho) but NOT L(Idaho,’Montana’) P(‘Idaho’,Montana) but NOT L(Montana,’Idaho’) P(‘Wyoming’,Wyoming) AND L(Wyoming,’Wyoming’)

19. 19 A granular partition projects transparently onto reality if and only if Transparency of projection (1) –Location presupposes projection L(o,z)  P(z,o) –There is no misprojection P(z,o)  L(o,z)

20. 20 Transparency of projection (2) Still: there may be irregularities of correspondence –There may be cells that do not project (e.g. ‘unicorn’) –Multiple cells may target the same object –There may be ‘forgotten’ objects (e.g. the species dog above)

21. 21 Functionality constraints (1) Morning Star Evening Star Venus Location is functional: If an object is located in two cells then these cells are identical, i.e., L(o,z 1 ) and L(o,z 2 )  z 1 = z 2 Two cells projecting onto the same object

22. 22 Functionality constraints (2) China Republic of China People’s Republic of China The same name for the two different things: Projection is functional: If two objects are targeted by the same cell then they are identical, I.e., P(z,o 1 ) and P(z,o 2 )  o 1 = o 2

23. 23 Preserve mereological structure Helium Noble gases Neon Potential of preserving mereological structure

24. 24 Partitions should not distort mereological structure Humans Apes Dogs Mammals distortion If a cell is a proper subcell of another cell then the object targeted by the first is a proper part of the object targeted by the second.

25. 25 Features of granular partitions Selectivity –Only a few features are in the foreground of attention Granularity –Recognizing a whole without recognizing all of its parts Preserve mereological structure

26. 26 Selectivity

27. 27 Granularity Recognizing a whole without recognizing all of its parts

28. 28 Classification of granular partitions

29. 29 Theory of granular partitions (4) Classes of granular partitions according to –Degree of preservation of mereological structure –Degree of completeness of correspondence –Degree of redundancy

30. 30 Mereological monotony … Helium Noble gases Neon … Helium Noble gases Neon Projection does not distort mereological structureProjection preserves mereological structure

31. 31 Projective completeness www.webelements.com Empty cells In every cell there is in object located, i.e.,

32. 32 Exhaustiveness Humans Apes Dogs Mammals Everything of kind  in the domain of the partition A is recognized by some cell in A

33. 33 Example partitions:

34. 34 Properties of cadastral partitions Cell structure: stored in database Projection carves out land- parcels (geodetic projection) Properties –Transparent: projection and location are total functions –Exhaustive (no no-mans lands) –Mereologically monotone

35. 35 Categorical coverages Two reciprocally dependent partitions: 1.Partition of an attribute domain 2.Partition of the surface of earth into zones –E.g., land use or soil types –Legend in a categorical map –Zones of sand or clay –Spatial subdivision

36. 36 Properties Attribute partitionSpatial partition Regularity of structure and correspondence is due to the fiat character of the subdivision Exhaustive relative to the spatial component Projection and location are functional Potentially partial Not necessarily mereologically monotone Complete (no empty cell) Exhaustive (no no-mans lands) Projection and location are total functions and mutually inverse Mereologically monotone

37. 37 Folk categorization of water bodies Not a tree + double cell-labels at different levels of hierarchy Distorts mereological Structure Location is not a function

38. 38 Conclusions Formal ontology of granular partitions Theory underlying listing, sorting, cataloguing, categorizing, and mapping human activities Built upon mereology Enriches mereology with the features of selectivity and granularity Two major parts: –Theory A: the structure of systems of cells –Theory B: projective relation to reality Granular partitions can be classified regarding: completeness and exhaustiveness

39. 39 Ongoing work Folk and common-sense categories have weaker structure A theory of granularity, vagueness, and approximation based on partition theory