Combining logical and distributional methods in type-logical grammars

Richard Moot 1, 2
2 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : In this paper, we will look at 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 weight stop roof 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 (forhumans)” or “more coherent (combining words that make sense together)”. There sulting system of weighted theorem proving can be implemented either as a best-first proof search strategy or asapolynomial-time approximation of proof search for NP-complete parsing problems.
Type de document :
Article dans une revue
Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, A Paraître
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01651508
Contributeur : Richard Moot <>
Soumis le : mercredi 29 novembre 2017 - 10:29:05
Dernière modification le : jeudi 11 janvier 2018 - 06:27:34

Fichier

jlm_moot.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01651508, version 1

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, A Paraître. 〈lirmm-01651508〉

Partager

Métriques

Consultations de la notice

47

Téléchargements de fichiers

23