Affordable Access

Combining logical and distributional methods in type-logical grammars

Authors
  • Moot, Richard
Publication Date
Jan 01, 1970
Source
HAL-UPMC
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times