A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
A Probabilistic Rich Type Theory for Semantic Interpretation
2014
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
unpublished
Preserved Fulltext
We propose a probabilistic type theory in which a situation s is judged to be of a type T with probability p. In addition to basic and functional types it includes, inter alia, record types and a notion of typing 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 compositional semantics in which truth conditions are replaced by probability conditions. The type system is the interface between classifying
doi:10.3115/v1/w14-1409
fatcat:phlvpjcadzhzhnxmlstneodibe