Probabilistic compositional semantics, purely
Julian Grove, Jean-Philippe Bernardy
July 2023

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 and is thus compatible with logical systems already in use. The framework is also presented modularly, in that it regards probabilistic effects (i.e., sampling and marginalization) as /side effects/, using continuations. We show how our framework may be used to build probabilistic programs compositionally within typed λ-calculus and then illustrate its use on two applications: semantic learning and pragmatic inference within the Rational Speech Act framework.
Format: [ html ][ pdf ]
Reference: lingbuzz/006284
(please use that when you cite this article)
Published in: In proceedings of JSAI-isAI 2021/LENLS18
keywords: bayesian semantics, probabilities, compositional semantics, monads, continuations, rational speech act, semantics
previous versions: v3 [April 2022]
v2 [April 2022]
v1 [October 2021]
Downloaded:4109 times


[ edit this article | back to article list ]