|Published in||Proceedings of the Workshop on Type Theory and Natural Language Semantics (TTNLS),14th Conference of the European Chapter of the Association for Computational Linguistics, Gothenburg, Sweden 2014. ed. by Cooper, Robin, Simon Dobnik, Shalom Lappin and Staffan Larsson|
Department of Philosophy, Linguistics and Theory of Science
|Keywords||semantics, type theory, probability|
|Subject categories||Language Technology (Computational Linguistics), Linguistics|
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 situations in perception and computing the semantic interpretations of phrases in natural language.