@article{morrill-valentin-2018-spurious,
title = "Spurious Ambiguity and Focalization",
author = "Morrill, Glyn and
Valent{\'i}n, Oriol",
journal = "Computational Linguistics",
volume = "44",
number = "2",
month = jun,
year = "2018",
address = "Cambridge, MA",
publisher = "MIT Press",
url = "https://aclanthology.org/J18-2003/",
doi = "10.1162/COLI_a_00316",
pages = "285--327",
abstract = "Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of type logical categorial grammar, the parse structures are proof nets. However, with respect to multiplicatives, intrinsic proof nets have not yet been given for displacement calculus, and proof nets for additives, which have applications to polymorphism, are not easy to characterize. In this context we approach here multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalization."
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="morrill-valentin-2018-spurious">
<titleInfo>
<title>Spurious Ambiguity and Focalization</title>
</titleInfo>
<name type="personal">
<namePart type="given">Glyn</namePart>
<namePart type="family">Morrill</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Oriol</namePart>
<namePart type="family">Valentín</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2018-06</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<genre authority="bibutilsgt">journal article</genre>
<relatedItem type="host">
<titleInfo>
<title>Computational Linguistics</title>
</titleInfo>
<originInfo>
<issuance>continuing</issuance>
<publisher>MIT Press</publisher>
<place>
<placeTerm type="text">Cambridge, MA</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">periodical</genre>
<genre authority="bibutilsgt">academic journal</genre>
</relatedItem>
<abstract>Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of type logical categorial grammar, the parse structures are proof nets. However, with respect to multiplicatives, intrinsic proof nets have not yet been given for displacement calculus, and proof nets for additives, which have applications to polymorphism, are not easy to characterize. In this context we approach here multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalization.</abstract>
<identifier type="citekey">morrill-valentin-2018-spurious</identifier>
<identifier type="doi">10.1162/COLI_a_00316</identifier>
<location>
<url>https://aclanthology.org/J18-2003/</url>
</location>
<part>
<date>2018-06</date>
<detail type="volume"><number>44</number></detail>
<detail type="issue"><number>2</number></detail>
<extent unit="page">
<start>285</start>
<end>327</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Journal Article
%T Spurious Ambiguity and Focalization
%A Morrill, Glyn
%A Valentín, Oriol
%J Computational Linguistics
%D 2018
%8 June
%V 44
%N 2
%I MIT Press
%C Cambridge, MA
%F morrill-valentin-2018-spurious
%X Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of type logical categorial grammar, the parse structures are proof nets. However, with respect to multiplicatives, intrinsic proof nets have not yet been given for displacement calculus, and proof nets for additives, which have applications to polymorphism, are not easy to characterize. In this context we approach here multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalization.
%R 10.1162/COLI_a_00316
%U https://aclanthology.org/J18-2003/
%U https://doi.org/10.1162/COLI_a_00316
%P 285-327
Markdown (Informal)
[Spurious Ambiguity and Focalization](https://aclanthology.org/J18-2003/) (Morrill & Valentín, CL 2018)
ACL