Combining logical and distributional methods in type-logical grammars - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Journal Articles Journal of Language Modelling Year : 2019

Combining logical and distributional methods in type-logical grammars

Abstract

We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of “confidence the proof is valid”, but rather act as a way to prefer some proofs over others, where preference can mean “easier to process (for humans)” or “more coherent (combining words that make sense together)”. The resulting system of weighted theorem proving can be implemented either as a best-first proof search strategy or as a polynomial-time approximation of proof search for NP-complete parsing problems.
Fichier principal
Vignette du fichier
231-1676-1-PB.pdf (187.8 Ko) Télécharger le fichier
Loading...

Dates and versions

lirmm-01651508 , version 1 (29-11-2017)

Identifiers

Cite

Richard Moot. Combining logical and distributional methods in type-logical grammars. Journal of Language Modelling, 2019, 6 (2), pp.287-317. ⟨10.15398/jlm.v6i2.231⟩. ⟨lirmm-01651508⟩
247 View
194 Download

Altmetric

Share

Gmail Facebook X LinkedIn More