Skip to Main content Skip to Navigation
Journal articles

Combining logical and distributional methods in type-logical grammars

Richard Moot 1
1 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [26 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651508
Contributor : Richard Moot <>
Submitted on : Wednesday, November 29, 2017 - 10:29:05 AM
Last modification on : Friday, November 6, 2020 - 11:42:27 AM

Identifiers

Collections

Citation

Richard Moot. Combining logical and distributional methods in type-logical grammars. Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2018, 6 (2), pp.287-317. ⟨10.15398/jlm.v6i2.231⟩. ⟨lirmm-01651508⟩

Share

Metrics

Record views

380

Files downloads

271