用图示方法提升自然语言语义表达力，高效计算句子含义
A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
- 基于类型与效应系统的函数式语义模型
- 通过图示化计算实现句义高效求解
- 适合形式语义学与编程语言研究者
本文研究一种函数式编程方法用于自然语言语义，提升传统指称语义的表达能力。我们构建了一个基于范畴的类型与效应系统，以刻画语法等价表达式的语义差异。随后，设计了一种图示演算，用于建模解析过程与效应处理，提供一种高效计算句子指称的方法。
原文摘要 · Abstract (English)
In this paper, we study a functional programming approach to natural language semantics, allowing us to increase the expressiveness of a more traditional denotation style. We will formalize a category based type and effect system to represent the semantic difference between syntactically equivalent expressions. We then construct a diagrammatic calculus to model parsing and handling of effects, providing a method to efficiently compute the denotations for sentences.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。