文章基本信息

标题：Combining logical and distributional methods in type-logical grammars
本地全文：下载
作者：Richard Moot
期刊名称：Journal of Language Modelling
印刷版ISSN：2299-856X
电子版ISSN：2299-8470
出版年度：2018
卷号：6
期号：2
页码：287-317
DOI：10.15398/jlm.v6i2.231
语种：English
出版社：Polish Academy of Sciences
摘要：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.
关键词：type-logical grammar;Lambek calculus;theorem proving