A Probabilistic Rich Type Theory for Semantic Interpretation
Robin Cooper, Simon Dobnik, Shalom Lappin, Staffan Larsson · 2014
We propose a probabilistic type theory in which a situation s is judged to be of a type T with probabil-ity p. In addition to basic and functional types it in-cludes, inter alia, record types and a notion of typ-ing based on them. The type system is intensional in that types of situations are not reduced to sets of situations. We specify the fragment of a com-positional semantics in which truth conditions are replaced by probability conditions. The type sys-tem is the interface between classifying situations in perception and computing the semantic interpre-tations of phrases in natural language. 1