FSP 2012 – GRADABILITY. Concept Properties like height, cleanliness and fullness are called Gradable since they may manifest to different extents over.

Slides:



Advertisements
Similar presentations
A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory Ka Fat CHOW The Hong Kong Polytechnic University The title of.
Advertisements

Aesthetic Adjectives and Context Aaron Meskin (Philosophy, Leeds) Experimental Aesthetics Workshop.
Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves.
Keystone Illustrations Keystone Illustrations next Set 10 © 2007 Herbert I. Gross.
Naïve Bayes. Bayesian Reasoning Bayesian reasoning provides a probabilistic approach to inference. It is based on the assumption that the quantities of.
Hoare’s Correctness Triplets Dijkstra’s Predicate Transformers
Inference and Reasoning. Basic Idea Given a set of statements, does a new statement logically follow from this. For example If an animal has wings and.
CAS LX 502 Semantics 10b. Presuppositions, take
Deduction In addition to being able to represent facts, or real- world statements, as formulas, we want to be able to manipulate facts, e.g., derive new.
Knowledge Representation
Copyright © Cengage Learning. All rights reserved.
Paradox of oppositeness of meaning Simultaneous closeness and distance Closeness: almost identical distributions Distance: maximally separated meanings.
Algebra Problems… Solutions Algebra Problems… Solutions © 2007 Herbert I. Gross Set 3 By Herb I. Gross and Richard A. Medeiros next.
CAS LX 502 8a. Formal semantics Truth and meaning The basis of formal semantics: knowing the meaning of a sentence is knowing under what conditions.
Albert Gatt LIN3021 Formal Semantics Lecture 5. In this lecture Modification: How adjectives modify nouns The problem of vagueness Different types of.
Syntax Lecture 12: Adjectival Phrases. Introduction Adjectives, like any other word, must conform to X-bar principles We expect them – to be heads – to.
Fuzzy Expert Systems. Lecture Outline What is fuzzy thinking? What is fuzzy thinking? Fuzzy sets Fuzzy sets Linguistic variables and hedges Linguistic.
Approximate Reasoning 1 Expert Systems Dr. Samy Abu Nasser.
© C. Kemke Approximate Reasoning 1 COMP 4200: Expert Systems Dr. Christel Kemke Department of Computer Science University of Manitoba.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
CAS LX 502 Semantics 1b. The Truth Ch. 1.
Knowledge Representation using First-Order Logic (Part II) Reading: Chapter 8, First lecture slides read: Second lecture slides read:
Many Valued Logic (MVL) By: Shay Erov - 01/11/2007.
Let remember from the previous lesson what is Knowledge representation
EE1J2 – Discrete Maths Lecture 5 Analysis of arguments (continued) More example proofs Formalisation of arguments in natural language Proof by contradiction.
Ch. 9 Fundamental of Hypothesis Testing
Ragionamento in condizioni di incertezza: Approccio fuzzy Paolo Radaelli Corso di Inelligenza Articifiale - Elementi.
Meaning and Language Part 1.
The Game of Algebra or The Other Side of Arithmetic The Game of Algebra or The Other Side of Arithmetic © 2007 Herbert I. Gross by Herbert I. Gross & Richard.
1 In the previous sequence, we were performing what are described as two-sided t tests. These are appropriate when we have no information about the alternative.
Copyright © Cengage Learning. All rights reserved.
Standard Error and Research Methods
FUZZY LOGIC Babu Appat. OVERVIEW What is Fuzzy Logic? Where did it begin? Fuzzy Logic vs. Neural Networks Fuzzy Logic in Control Systems Fuzzy Logic in.
The Linguistic Turn To what extent is knowledge in the use of language rather than what language is about? MRes Philosophy of Knowledge: Day 2 - Session.
CAS LX 502 Semantics 3a. A formalism for meaning (cont ’ d) 3.2, 3.6.
McGraw-Hill/IrwinCopyright © 2009 by The McGraw-Hill Companies, Inc. All Rights Reserved. Chapter 9 Hypothesis Testing.
Copyright © Cengage Learning. All rights reserved. CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF ELEMENTARY NUMBER THEORY AND METHODS OF PROOF.
Propositional Calculus Composed of symbols –P – some true statement P might represent something like “It is Monday” or “the car is red” And sentences –a.
Theory and Applications
CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 5: Classical Logic.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
6. Evaluation of measuring tools: validity Psychometrics. 2012/13. Group A (English)
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Computational Semantics Day 5: Inference Aljoscha.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
LECTURE 2: SEMANTICS IN LINGUISTICS
Logical Systems and Knowledge Representation Fuzzy Logical Systems 1.
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Theory and Applications
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
1 CSC384: Intro to Artificial Intelligence Lecture 5.  Knowledge Representation.
Lecture 1 Ling 442.
Copyright © Cengage Learning. All rights reserved.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
First-Order Logic Semantics Reading: Chapter 8, , FOL Syntax and Semantics read: FOL Knowledge Engineering read: FOL.
I think therefore I am - Rene Descartes. REASON (logic) It has been said that man is a rational animal. All my life I have been searching for evidence.
CSC3315 (Spring 2009)1 CSC 3315 Languages & Compilers Hamid Harroud School of Science and Engineering, Akhawayn University
Meaning and Language Part 1. Plan We will talk about two different types of meaning, corresponding to two different types of objects: –Lexical Semantics:
Fuzzy Logic 1. Introduction Form of multivalued logic Deals reasoning that is approximate rather than precise The fuzzy logic variables may have a membership.
Logic.
Chapter 2 Sets and Functions.
Valid and Invalid Arguments
Unit 5: Hypothesis Testing
Language, Logic, and Meaning
Copyright © Cengage Learning. All rights reserved.
Introduction to Econometrics, 5th edition
Significance Tests: The Basics
1. A VAGUE CONCEPT: BALDNESS
ALI JABBER KARAM Presented by :
How to Think Logically.
Presentation transcript:

FSP 2012 – GRADABILITY

Concept Properties like height, cleanliness and fullness are called Gradable since they may manifest to different extents over time/place. These properties are captured in language by adjectives: tall/short, clean/dirty and full/empty. Hence: Gradable Adjectives. Gradability investigates the way in which gradable adjectives capture gradable properties and aims at formalizing the characteristics of these adjectives.

Linguistic Evidence Markers of Gradability The Comparative Morpheme John is taller/shorter than Bill The red towel is wetter/drier than the blue one My glass is fuller/emptier than yours Degree Modifiers John is very tall/short The towel is slightly wet / almost dry My glass is completely full/empty

Non-Gradable Adjectives Not all adjectives are gradable: #John is more married than Bill #My door is more hand-made than Mary’s #The wall is more stony than the floor

Semantic Analysis of Gradable Adjectives Consider the sentence: Yoni is taller than Danny Yoni Danny

Semantic Analysis of Gradable Adjectives Consider the sentence: Yoni is taller than Danny A common analysis of the semantics of gradable adjectives assumes that: Gradable adjectives are functions that map their arguments onto abstract representations of measurement called Degrees, associated with the primitive type d. In this analysis, gradable adjectives are called Measure Functions. A set of degrees totally ordered with respect to some dimension (height, fullness, etc.) constitutes a Scale.

Semantic Analysis of Gradable Adjectives Consider the sentence: Yoni is taller than Danny YoniDanny The scale of tall/short Degrees of height (in cm) Isaac 185 Gidi 176

Compositional Analysis Consider the sentence: Yoni is taller than Danny We adopt a degree-based approach by which gradable adjectives denote functions from individuals to degrees, hence type ed

Scale Structure Consider the following data: John is #slightly/#completely tall/short The table is slightly/#completely dirty The room is #slightly/completely clean The gas tank is slightly/completely full/empty These sentences indicate that the acceptability of degree modifiers depends on the adjective being modified. We can use this data to hypothesize about the scale structure of each adjective. Assuming that slightly picks a (near-) minimum degree value and completely picks a maximum value, we conclude a typology of adjectives based on their scale structure.

Typology of Scales Adjectives with open scales, e.g. tall, short:  slightly  completely Adjectives with lower-closed scales, e.g. dirty, wet:  slightly  completely Adjectives with upper-closed scales, e.g. clean, dry:  slightly  completely Adjectives with totally-closed scales, e.g. full, empty:  slightly  completely

Distributional Puzzle #1 – ‘Almost’ Consider the following data: John is almost #tall/#short  tall  short The table is almost #dirty/clean  dirty  clean The gas tank is almost full/empty  full  empty These sentences indicate that the acceptability of ‘almost’ depends on the adjective being modified. Answer the following questions: Characterize the adjectives that can and cannot be modified by ‘almost’ based on their scale structure. Illustrate this characterization with the adjectives: deep/shallow, wet/dry and certain/uncertain.

The Positive Form of Gradable Adjectives Consider the sentence: Yoni is tall

The Positive Form of Gradable Adjectives Consider the sentence: Yoni is tall What are the requirements from Yoni to be counted as tall?

The Positive Form of Gradable Adjectives Consider the sentence: Yoni is tall What are the requirements from Yoni to be counted as tall? Where these requirements are coming from?

The Positive Form of Gradable Adjectives Consider the sentence: Yoni is tall What are the requirements from Yoni to be counted as tall? Where these requirements are coming from? How the meaning can be calculated compositionality?

The Positive Form of Gradable Adjectives Consider the sentence: Yoni is tall Intuitively, Yoni needs to exceed some degree of height in order to count as tall. This degree is called the Standard. The average of all relevant entities in the context of utterance is a natural choice for a standard. It follows that in one context Yoni is tall might be true and in another it might be false. This is in line with our intuitions. YoniDanny Isaac 182 Gidi 176 Eli Average

Compositional Analysis (Positive Form) Consider the sentence: Yoni is tall We make two assumptions: A covert POS (for positive) morpheme replaces the comparative morpheme –er and assigns truth conditions based on the degree of height that the individual has. The standard is determined by a context-dependent function std ctx that takes a gradable adjective as an input and returns the standard degree as an output.

Contextual Variability in Truth Conditions Consider the adjectives tall and expensive in: 1. John is tall 2. The coffee in Rome is expensive Each sentence might be true or false, context-dependently: (1) might be judged true if asserted as part of conversation about John’s classmates, but false in a discussion on basketball players. (2) might be judged true in a discussion on the cost of living in various Italian cities, but false as part of a conversation about the cost of living in Chicago vs. Rome. 0 students basketball players houses plants john

Gradable Adjectives as Modifiers Consider the sentences: 1. John is tall 2. John is a tall student According to the intersective analysis of modification, tall in (2) denotes a function of type (et)et: [[tall]] = TALL-M = λf et. λx e.tall(x) ˄ f(x) It follows that: (1) denotes: tall(john) (2) denotes: tall(john) ˄ student(john) However, calculating the truth-value of tall(john) in (2) is done irrespectively of John being a student. Therefore, the context-variability that tall(john) introduces to (1) is introduced also to (2), without being restricted to students only. Our assumption that John is a tall student is equivalent to John is tall and John is a student is too simplistic. Note: for simplicity, we ignore degrees in this discussion of mod.

Gradable Adjectives as Modifiers – A Solution The problem with the intersective analysis is that it ignores the restrictiveness of tall: if John is a tall student, he is counted as tall among students (and he is a student by himself). Intuitively, we want tall to be restricted to students rather then being unrestricted. Define the attributive tall as a function of type (et)et as follows: [[tall]] = TALL-M = λf et. λx e.(TALL-R(λy e.f(y)))(x) ˄ f(x) TALL-R is a function that takes a function – f – of type et as an argument and returns a function that takes an entity – x – and returns whether it is counted as tall among the entities that satisfy f, and it satisfies f. Conclusion: [[John is a tall student]] = TALL-R(λy e.student(y))(john) ˄ student(john)

Properties of Relative Adjectives Following Kennedy 2007 – Vagueness and Grammar. Under the state-of-the-art theory of gradable adjectives, the set of gradable adjectives is divided into two classes: Relative Adjectives and Absolute Adjectives. Relative Adjectives: tall, expensive, large Absolute Adjectives: clean, wet, full Properties of Relative Adjectives The standard employed in their interpretation is context-variable. They create borderline cases They trigger the Sorites Paradox.

Borderline Cases Say that the guy on the left is consider as tall while the guy on the right isn’t. 90cm 30cm

Borderline Cases What would you say about this guy? 62cm

Borderline Cases What would you say about this guy? For any context, in addition to the sets of objects that a predicate like tall is clearly true of and clearly false of, there is typically a third set of objects for which it is difficult or impossible to make these judgments. 62cm

The Sorites Paradox Consider the following premises: P1 - A $5 cup of coffee is expensive (for a cup of coffee). P2 - Any cup of coffee that costs 1 cent less than an expensive one is expensive (for a cup of coffee). The paradoxical conclusion from these rather reasonable premises is that even a 1$ cup of coffee is expensive. In fact, even a free cup of coffee would still be counted as expensive.

The Sorites Paradox Premises: P1 - A theater with 1000 seats is big. P2 - Any theater with 1 fewer seat than a big theater is big. Conclusion: any theater with 10 seats is big.