Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.

Slides:



Advertisements
Similar presentations
School of something FACULTY OF OTHER School of Computing FACULTY OF ENGINEERING Formalising a basic hydro-ontology David Mallenby Knowledge Representation.
Advertisements

Some computational aspects of geoinformatics Mike Worboys NCGIA, University of Maine, USA.
09/22/07Andrew Frank1 Data Quality Ontology: An Ontology for Imperfect Knowledge Andrew U. Frank Geoinformation TU Vienna
An Overview of the Common Core State Standards for Mathematical Practice for use with the Common Core Essential Elements The present publication was developed.
FSP 2012 – GRADABILITY. Concept Properties like height, cleanliness and fullness are called Gradable since they may manifest to different extents over.
Partitions. Theory of granular partitions There is a projective relation between cognitive subjects and reality Major assumptions: Humans ‘see’ reality.
1 Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science (Leipzig) ontology.buffalo.edu ifomis.de.
1 Mont Blanc, Lake Constance and Sakhalin Island: Gaps, Gluts and Vagueness Smith and Brogaard: “A Unified Theory of Truth and Reference” Varzi: “Vagueness.
1 A Unified Theory of Vagueness and Granularity Barry Smith
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 A Simple Partition A partition can be more or less refined.
Constituent ontologies and granular partitions Thomas Bittner and Barry Smith IFOMIS – Leipzig and Department of Philosophy, SUNY Buffalo.
©2005 Austin Troy. All rights reserved Lecture 3: Introduction to GIS Understanding Spatial Data Structures by Austin Troy, University of Vermont.
1 A Unified Theory of Vagueness and Granularity Barry Smith
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
A Unified Theory of Granularity, Vagueness and Approximation Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Fuzzy Medical Image Segmentation
©2005 Austin Troy. All rights reserved Lecture 3: Introduction to GIS Part 1. Understanding Spatial Data Structures by Austin Troy, University of Vermont.
1 VT 2 Ontology and Ontologies Barry Smith 3 IFOMIS Strategy get real ontology right first and then investigate ways in which this real ontology can.
A Simple Partition 5 A partition can be more or less refined.
Discipline Based Panel for Critical Thinking Syracuse April 28, 2005.
1 Mont Blanc, Lake Constance and Sakhalin Island: Gaps, Gluts and Vagueness Smith and Brogaard: “A Unified Theory of Truth and Reference” Varzi: “Vagueness.
Unit 7 Lesson 4 Topographic Maps
1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and Institute for Formal Ontology and Medical Information Science (ifomis.de) University.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
1 True Grid Barry Smith
Constituent ontologies and granular partitions Thomas Bittner and Barry Smith IFOMIS – Leipzig and Department of Philosophy, SUNY Buffalo.
Methodology Conceptual Database Design
Conceptual modelling. Overview - what is the aim of the article? ”We build conceptual models in our heads to solve problems in our everyday life”… ”By.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Dr. Derek Webb Bemidji State University Faculty.bemidjistate.edu/dwebb.
Geography Overview.
Canadian Geography Chapter 1 Your Space.
Thematic Maps Choropleth, Proportional/Graduated Symbol, Digital Image, Isoline/Isopleth and Dot Distribution Maps.
©2005 Austin Troy. All rights reserved Lecture 3: Introduction to GIS Understanding Spatial Data Structures by Austin Troy, Leslie Morrissey, & Ernie Buford,
Help!!! Some Future Semantic Grid Activities CrisisGrid and ServoGrid PTLIU Laboratory for Community Grids Geoffrey Fox Computer Science, Informatics,
Providing All Students with Access to High Quality Mathematics Instruction: The Role of Tasks in Achieving Equity Peg Smith University of Pittsburgh Teachers’
Map Projections used to transfer the image of the earth’s surface onto a flat surface no projection is an exact representation generally, the larger the.
Presentation on “On the Reliability of Implicit and Explicit Memory Measures” by Axel Buchner and Werner Wippich - Leonard Läer - Philipp Schleenvoigt.
Major parts of ArcGIS ArcView -Basic mapping, editing and Analysis tools ArcEditor -all of ArcView plus Adds ability to deal with topological and network.
Formal Models in AGI Research Pei Wang Temple University Philadelphia, USA.
Visualizing the Uncertainty of Urban Ontology Terms
Analyze Break down or separate a problem or situation into separate factors and/or relationships.
Strategy to Action: The Power of HSD Session 2: HSD and Project Management September 10, 2008 Glenda H. Eoyang, Ph.D.
Cognitive Processes PSY 334 Chapter 5 – Meaning-Based Knowledge Representation.
1 Latent Concepts and the Number Orthogonal Factors in Latent Semantic Analysis Georges Dupret
GIS September 27, Announcements Next lecture is on October 18th (read chapters 9 and 10) Next lecture is on October 18th (read chapters 9 and 10)
CFR 250/590 Introduction to GIS, Autumn 1999 Raster Analysis I © Phil Hurvitz, raster1.ppt 1  Overview Grid themes Setting grid theme and analysis.
How Maps Help Us Study History
1 VT. 2 Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science (Leipzig) ontology.buffalo.edu ifomis.de.
An Introduction to Scientific Research Methods in Geography Chapter 2: Fundamental Research Concepts.
Geography Skills World Geography and Cultures. The Geographer’s Tools: Globes and Maps A globe is a scale model of the Earth. It has accurate depiction.
Mapping Skills Notes Unit 1. Compass Rose Symbol that shows the cardinal directions and orientation of a map.
The Thesis Statement. What is a thesis statement? A thesis statement is the most important sentence in your paper. A thesis statement tells your readers.
Audit and Assurance Introduction. Requirement  Preview before class. Ask more, and discuss more. Ask more, and discuss more. Make notes. Make notes.
Mapping Skills Notes Unit 1.
The Thesis Statement.
PROMOTING PROBLEM SOLVING AND SENSE-MAKING DAY 3
Study of Religion.
CASE STUDY BY: JESSICA PATRON.
Reasoning deduction, induction, abduction Problem solving
Go to Chino Hills High School Website Click on Classrooms
Chapter 1: The Five Themes of Geography
The Five Themes of Geography
Addition & Subtraction Year 1 Statutory Requirements
Information Networks: State of the Art
Research Paper Overview.
Talking About Writing Notes
Factors To Consider In Criticism Writing
Presentation transcript:

Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo

Overview 1.Introduction 2.Context, granular partitions, and vagueness 3.Boundaries and contexts 4.Conclusions

Judging subjectSemantic theorist (the bad guy) Partition theorist (the good guy) wants to determine the truth of J in a context-dependent fashion using granular partitions wants to determine the truth of J in a context-free fashion J = ‘We will cross the boundary of Mount Everest within the next hour’ Three people and a mountain

Vagueness Where is the boundary of Everest? This boundary is subject to vagueness Extend semantics: supervaluation The boundary of Everest IS vague: It is a broad or fuzzy boundary Vagueness is a semantic property There is a multitude of equally good crisp candidate referents Vague objects and boundaries as ontological primitives

Supervaluation (Fine 1975) Extension of reference semantics to vagueness Takes multiplicity of candidate referents of vague names into account S = ‘X is a part of Mount Everest’ –Truth value of S is determined for all candidate referents of ‘Mount Everest’ –S is supertrue if it is true for all candidates –S is superfalse if it is true for no candidate –S is indeterminate otherwise

Truth value indeterminacy does NOT occur if we analyze sentences with vague names (like Everest) in a context-dependent fashion ! !

Context, granular partitions, and vagueness

Theory of granular partitions 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

Projection of cells North America Projection … Wyoming Idaho Montana … GridCognitive subject Foreground of attention

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

no counties no county boundaries Part of the surface of the Earth photographed from space Projection establishes fiat boundaries Cell structure Map = Representation of cell structure County boundaries in reality P

Crisp and vague projection … Montana … crisp Himalayas Everest vague P1P1 PnPn Every projection singles out one admissible candidate of reference

Vague judgments about mereological structure ‘X is part of Y’, X is a vague name Granular partition J = (‘X is part of Y’, Pt V ) Judgment = Sentence + Context

Vague judgments about mereological structure J = (‘X is part of Y’, Pt V ) = supertrue Y X Labeling of names in S onto cells in Pt P1P1 PnPn

Boundaries, contexts, and truth-value indeterminacy

Boundaries and contexts We distinguish: contexts in which our use of a vague term brings: 1.a single crisp fiat boundary 2.a multiplicity of crisp fiat boundaries into existence

The single crisp boundary case J = (‘This is the boundary of Mount Everest’, Pt) The judging subject must have the authority (the partitioning power) to impose this boundary e.g., because she is a member of some government agency Vagueness is resolved. J has a determinate truth value

The multiple boundary case The subject (restaurant owner) judges: J = (‘The boundary of the smoking zone goes here’, Pt V ) while vaguely pointing across the room. Vague projection brings a multitude of boundary candidates into existence Truth-value indeterminacy can potentially arise To show: naturally occurring contexts are such that truth-value indeterminacy does not arise.

The multiple boundary case Claim: The judgment can be uttered only in contexts (1) Where it is precise enough to be (super)true (2) but: not precise enough for indeterminacy to arise The subject (restaurant owner) judges: J = (‘The boundary of the smoking zone goes here’, Pt) while vaguely pointing across the room.

The multiple boundary case Context 1: To advise the staff where to put the ashtrays The projection must be just precise enough to determine on which table to put an ashtray The subject (restaurant owner) judges: J = (‘The boundary of the smoking zone goes here’, Pt) while vaguely pointing across the room. No truth-value indeterminacy Context 2: To describe where nicotine molecules are truth-value indeterminacy can potentially occur But: nobody can seriously utter such a judgment in naturally occurring contexts

Conclusions Theory of granular partitions provides a tool to understand granularity, vagueness, and the relationships between them Context is critical when analyzing truth-values of judgments In naturally occurring contexts truth-value indeterminacy does not occur Formalism – see paper Partition-theoretic solution to the Sorites paradoxes – see paper