<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="larsson-cooper-2021-bayesian">
    <titleInfo>
        <title>Bayesian Classification and Inference in a Probabilistic Type Theory with Records</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Staffan</namePart>
        <namePart type="family">Larsson</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Robin</namePart>
        <namePart type="family">Cooper</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2021-06</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Aikaterini-Lida</namePart>
            <namePart type="family">Kalouli</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Lawrence</namePart>
            <namePart type="given">S</namePart>
            <namePart type="family">Moss</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Groningen, the Netherlands (online)</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>We propose a probabilistic account of semantic inference and classification formulated in terms of probabilistic type theory with records, building on Cooper et. al. (2014) and Cooper et. al. (2015). We suggest probabilistic type theoretic formulations of Naive Bayes Classifiers and Bayesian Networks. A central element of these constructions is a type-theoretic version of a random variable. We illustrate this account with a simple language game combining probabilistic classification of perceptual input with probabilistic (semantic) inference.</abstract>
    <identifier type="citekey">larsson-cooper-2021-bayesian</identifier>
    <location>
        <url>https://aclanthology.org/2021.naloma-1.7</url>
    </location>
    <part>
        <date>2021-06</date>
        <extent unit="page">
            <start>51</start>
            <end>59</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Bayesian Classification and Inference in a Probabilistic Type Theory with Records
%A Larsson, Staffan
%A Cooper, Robin
%Y Kalouli, Aikaterini-Lida
%Y Moss, Lawrence S.
%S Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA)
%D 2021
%8 June
%I Association for Computational Linguistics
%C Groningen, the Netherlands (online)
%F larsson-cooper-2021-bayesian
%X We propose a probabilistic account of semantic inference and classification formulated in terms of probabilistic type theory with records, building on Cooper et. al. (2014) and Cooper et. al. (2015). We suggest probabilistic type theoretic formulations of Naive Bayes Classifiers and Bayesian Networks. A central element of these constructions is a type-theoretic version of a random variable. We illustrate this account with a simple language game combining probabilistic classification of perceptual input with probabilistic (semantic) inference.
%U https://aclanthology.org/2021.naloma-1.7
%P 51-59

Markdown (Informal)

[Bayesian Classification and Inference in a Probabilistic Type Theory with Records](https://aclanthology.org/2021.naloma-1.7) (Larsson & Cooper, NALOMA 2021)

• Bayesian Classification and Inference in a Probabilistic Type Theory with Records (Larsson & Cooper, NALOMA 2021)

ACL

• Staffan Larsson and Robin Cooper. 2021. Bayesian Classification and Inference in a Probabilistic Type Theory with Records. In Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), pages 51–59, Groningen, the Netherlands (online). Association for Computational Linguistics.