first order logic | BriefGPT

关键词first order logic

搜索结果 - 5

多项式激活函数的图神经网络具有有限表达性
图神经网络的表达能力可以完全用合适的一阶逻辑片段来描述。本文通过证明 GC2 查询不能由具有多项式激活函数的图神经网络表示，证明了多项式和流行的非多项式激活函数之间存在分离关系。
PDF9 months ago
路径，解释，重复：模糊了事后可解释性与可解释模型之间的界限
本文提出了一种混合解释性模型和灵活模型来实现机器学习模型设计的方法，其中以一种新的方式使用一阶逻辑来实现解释性模型，同时通过不断的迭代优化过程从而达到较好的性能表现，并为混合符号连接网络提供了框架。
PDFa year ago
FOLIO: 一阶逻辑的自然语言推理
本文介绍了 FOLIO 数据集，其为具有 FOL 注释的自然语言推理（NL）数据集，可用于推理 NL 的有效性，包括了 NL-FOL 翻译数据集。文中还通过实验验证了中等型语言模型（BERT、RoBERTa）和大型语言模型（GPT-NeoX
PDF2 years ago
KDDLYRICS: 用于集成逻辑推断和深度学习的通用界面层
LYRICS 是一个使用 First Order Logic 的输入语言，它可以与任何 TersorFlow 计算图相结合，并将公式转换成一系列实值约束条件，以满足先前确定的知识并允许学习者的权重。它在各种模型和知识方面都非常通用，其中包括
PDF5 years ago
MM面向 IDP 的 Web-based IDE
使用基于 Web 技术的 IDE，方便用户在线使用 IDP 知识库系统，该系统基于一阶逻辑，可用于开发大型应用。
PDF9 years ago