Show simple item record

dc.contributor.authorMorrill, Glyn
dc.contributor.authorValentín Fernández Gallart, José Oriol
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-02-10T12:25:04Z
dc.date.available2016-02-10T12:25:04Z
dc.date.issued2015
dc.identifier.citationMorrill, G., Valentín, O. Multiplicative-additive focusing for parsing as deduction. A: International Workshop on Focusing. "Proceedings First International Workshop on Focusing: Suva, Fiji, 23rd November 2015". Suva: Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015, p. 29-54.
dc.identifier.isbn2075-2180
dc.identifier.urihttp://hdl.handle.net/2117/82769
dc.description.abstractSpurious 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 characterise. Here we approach multiplicative-additive spurious ambiguity by means of the proof-theoretic technique of focalisation.
dc.format.extent26 p.
dc.language.isoeng
dc.publisherElectronic Proceedings in Theoretical Computer Science (EPTCS)
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural
dc.subject.lcshComputational linguistics
dc.titleMultiplicative-additive focusing for parsing as deduction
dc.typeConference report
dc.subject.lemacLingüística computacional
dc.contributor.groupUniversitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.identifier.doi4204/EPTCS.197.4
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://eptcs.web.cse.unsw.edu.au/paper.cgi?WoF15.4
dc.rights.accessOpen Access
local.identifier.drac17404923
dc.description.versionPostprint (published version)
local.citation.authorMorrill, G.; Valentín, O.
local.citation.contributorInternational Workshop on Focusing
local.citation.pubplaceSuva
local.citation.publicationNameProceedings First International Workshop on Focusing: Suva, Fiji, 23rd November 2015
local.citation.startingPage29
local.citation.endingPage54


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution 3.0 Spain