A proof-theoretic analysis of weak crossover
D Bekki - JSAI International Symposium on Artificial Intelligence, 2021 - Springer
Dependent type semantics (DTS) is a framework for proof-theoretic semantics of natural
language based on Martin-Löf type theory. In this paper, I first show that DTS has an …
language based on Martin-Löf type theory. In this paper, I first show that DTS has an …
Probabilistic compositional semantics, purely
We provide a general framework for the integration of formal semantics with probabilistic
reasoning. This framework is conservative, in the sense that it relies only on typed λ-calculus …
reasoning. This framework is conservative, in the sense that it relies only on typed λ-calculus …
[PDF][PDF] Bayesian Inference Semantics for Natural Language
In most classical theories of formal semantics (Montague, 1974, Bar-wise and Cooper, 1981,
Keenan and Falz, 1985, Heim and Kratzer, 1998, Peters and Westerståhl, 2006), the …
Keenan and Falz, 1985, Heim and Kratzer, 1998, Peters and Westerståhl, 2006), the …
[PDF][PDF] Probabilistic pragmatics: A dialogical perspective
Much of communication relies on the implicit inferences that language users make as they
interact. This is, broadly speaking, the focus of research in pragmatics. In recent years …
interact. This is, broadly speaking, the focus of research in pragmatics. In recent years …