Vagueness and Learning: A Type-Theoretic Approach
Raquel Fernández, Staffan Larsson · 2014
We present a formal account of the meaning of vague scalar adjectives such as 'tall' formulated in Type Theory with Records.Our approach makes precise how perceptual information can be integrated into the meaning representation of these predicates; how an agent evaluates whether an entity counts as tall; and how the proposed semantics can be learned and dynamically updated through experience.