Corpus ID: 58857344

Probabilistic Type Theory and Natural Language Semantics

@article{Cooper2015ProbabilisticTT,
  title={Probabilistic Type Theory and Natural Language Semantics},
  author={R. Cooper and Simon Dobnik and Staffan Larsson and Shalom Lappin},
  journal={Linguistic Issues in Language Technology},
  year={2015},
  volume={10}
}
Type theory has played an important role in specifying the formal con- nection between syntactic structure and semantic interpretation within the history of formal semantics. In recent years rich type theories de- veloped for the semantics of programming languages have become in- fluential in the semantics of natural language. The use of probabilistic reasoning to model human learning and cognition has become an in- creasingly important part of cognitive science. In this paper we o ff er a… Expand
43 Citations
Semantic Composition via Probabilistic Model Theory
  • 12
  • PDF
Introduction: Modern Perspectives in Type Theoretical Semantics
  • PDF
Discrete and Probabilistic Classifier-based Semantics
  • PDF
Modern Perspectives in Type-Theoretical Semantics
  • 11
Probabilistic Record Type Lattices for Incremental Reference Processing
  • 7
  • Highly Influenced
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 56 REFERENCES
Probabilistic Semantics for Natural Language
  • 17
  • PDF
A Probabilistic Rich Type Theory for Semantic Interpretation
  • 46
  • PDF
Type-theoretical semantics with coercive subtyping
  • 66
  • PDF
Probabilistic Semantics and Pragmatics: Uncertainty in Language and Thought
  • 69
  • PDF
Modelling Language, Action, and Perception in Type Theory with Records
  • 33
Records and Record Types in Semantic Theory
  • 139
  • PDF
Formal semantics for perceptual classification
  • 54
Probabilistic models of language processing and acquisition
  • 319
  • PDF
Austinian Truth, Attitudes and Type Theory
  • 86
The learnability of abstract syntactic principles
  • 195
  • PDF
...
1
2
3
4
5
...