lambda calculus | BriefGPT - AI 论文速递

关键词lambda calculus

搜索结果 - 8

高阶 DisCoCat（皮尔斯 - 兰贝克 - 蒙塔古语义学）
我们提出了一种新的高阶 DisCoCat（分类组合分布）模型的定义，其中词的意义不是一个图表，而是一个图表值的高阶函数。我们的模型可以看作是基于 lambda 演算的 Montague 语义的变体，其中的原始操作作用于字符串图表而不是逻辑公
PDF7 months ago
神经 Lambda 演算：神经符号 AI 遇上计算和函数编程基础
研究使用基于 Lambda Calculus 的神经网络模型作为程序的执行方法。
PDFa year ago
水下机器人语义分析助手
本文介绍了一种语义解析方法，使用序列到序列模型将自然语言文本转化成 λ 演算表达式，并以 XML 格式进行解析，通过实验表明，该方法可用于机器人领域技术和非技术人员之间的交流。
PDFa year ago
PIZZA：面向复杂端到端任务的新基准解析
本文研究任务导向的解析，并通过引入新的解析 pizza 和饮料订单的数据集，并在该数据集上进行深度学习技术的广泛评估，包括不同风格的 seq2seq 系统和 RNNGs，演示了直接生成 EXR 符号表示的解析器的训练不仅可以一举解决实体分辨
PDF2 years ago
MM基于类型 lambda 演算的交互式 shell 方案
本文介绍了 Favalon，一个基于 lambda 演算构建的函数式编程语言，用作交互式 shell 的替代品。Favalon 通过类型推理、灵活的运行时类型元数据和 shells 使用的相同技术，与现有库和命令的类型化版本无缝集成在一起。
PDF3 years ago
ACL自然语言的 Lambda 演算模型的静态和动态向量语义
本文研究将语义向量模型与逻辑真值模型结合，开发了基于 Simply Typed Lambda Calculus 的语言向量语义，包括静态和动态两种形式，以及应用于语料库和句子之间的蕴涵关系的动态模型，并提供了实例。
PDF6 years ago
具有连续随机变量和递归的概率语言的上下文等价性
我们提出了一个完整的论证原则，用于解决无类型的概率编程语言中的语境等效性问题，并证明了概率编程中的上下文等效性。
PDF6 years ago
基于 Lambda 依赖的组合语义学
介绍了一种新的正式语言， lambda 依赖组合语义（lambda DCS），用于表示语义解析中的逻辑形式。lambda DCS 逻辑形式通过消除变量并使存在量词隐式化，通常比 lambda 演算中的形式更紧凑。
PDF11 years ago