arXiv:2604.17346cs.CL2026-04

用逻辑方法实现100%准确的语法语义分析,适合高危场景的NLP应用。

Logical Computational Linguistics

  • 基于类型逻辑语法构建逻辑语义接口,取代统计模型
  • 逻辑依赖链保持全程100%置信度,不受不确定性影响
  • 适合医疗、航空等对准确性要求极高的NLP系统

本书倡导逻辑计算语言学,以对抗统计计算语言学。重点构建逻辑语义接口,整合二十余年类型逻辑语法研究成果,并引入新思想。统计依赖链若置信度低于100%,将单调衰减至零;而任意长度的逻辑依赖链可维持全程100%置信度。目标是实现生命关键型自然语言处理中的完美句法与语义处理。

原文摘要 · Abstract (English)

In this book we promote logical computational linguistics as opposed to statistical computational linguistics. In particular, we provide a logical semantic interface. This book assembles more than twenty years of research work on type logical grammar, and adds new ideas and material. Chains of statistical dependencies of less than one hundred per cent confidence tend monotonically to zero. Chains of logical dependencies of any length maintain one hundred per cent confidence end to end. We aspire to enable perfect syntactic and semantic processing in life-critical NLP applications.

逻辑语法语义接口高可靠性

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。