<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="cooper-etal-2015-probabilistic">
    <titleInfo>
        <title>Probabilistic Type Theory and Natural Language Semantics</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Robin</namePart>
        <namePart type="family">Cooper</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Simon</namePart>
        <namePart type="family">Dobnik</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Shalom</namePart>
        <namePart type="family">Lappin</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Staffan</namePart>
        <namePart type="family">Larsson</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2015</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <genre authority="bibutilsgt">journal article</genre>
    <relatedItem type="host">
        <titleInfo>
            <title>Linguistic Issues in Language Technology</title>
        </titleInfo>
        <originInfo>
            <issuance>continuing</issuance>
            <publisher>CSLI Publications</publisher>
        </originInfo>
        <genre authority="marcgt">periodical</genre>
        <genre authority="bibutilsgt">academic journal</genre>
    </relatedItem>
    <abstract>Type theory has played an important role in specifying the formal connection between syntactic structure and semantic interpretation within the history of formal semantics. In recent years rich type theories developed for the semantics of programming languages have become influential in the semantics of natural language. The use of probabilistic reasoning to model human learning and cognition has become an increasingly important part of cognitive science. In this paper we offer a probabilistic formulation of a rich type theory, Type Theory with Records (TTR), and we illustrate how this framework can be used to approach the problem of semantic learning. Our probabilistic version of TTR is intended to provide an interface between the cognitive process of classifying situations according to the types that they instantiate, and the compositional semantics of natural language.</abstract>
    <identifier type="citekey">cooper-etal-2015-probabilistic</identifier>
    <location>
        <url>https://aclanthology.org/2015.lilt-10.4</url>
    </location>
    <part>
        <date>2015</date>
        <detail type="volume"><number>10</number></detail>
    </part>
</mods>
</modsCollection>

%0 Journal Article
%T Probabilistic Type Theory and Natural Language Semantics
%A Cooper, Robin
%A Dobnik, Simon
%A Lappin, Shalom
%A Larsson, Staffan
%J Linguistic Issues in Language Technology
%D 2015
%V 10
%I CSLI Publications
%F cooper-etal-2015-probabilistic
%X Type theory has played an important role in specifying the formal connection between syntactic structure and semantic interpretation within the history of formal semantics. In recent years rich type theories developed for the semantics of programming languages have become influential in the semantics of natural language. The use of probabilistic reasoning to model human learning and cognition has become an increasingly important part of cognitive science. In this paper we offer a probabilistic formulation of a rich type theory, Type Theory with Records (TTR), and we illustrate how this framework can be used to approach the problem of semantic learning. Our probabilistic version of TTR is intended to provide an interface between the cognitive process of classifying situations according to the types that they instantiate, and the compositional semantics of natural language.
%U https://aclanthology.org/2015.lilt-10.4

Markdown (Informal)

[Probabilistic Type Theory and Natural Language Semantics](https://aclanthology.org/2015.lilt-10.4) (Cooper et al., LILT 2015)

• Probabilistic Type Theory and Natural Language Semantics (Cooper et al., LILT 2015)

ACL

• Robin Cooper, Simon Dobnik, Shalom Lappin, and Staffan Larsson. 2015. Probabilistic Type Theory and Natural Language Semantics. Linguistic Issues in Language Technology, 10.