quantifiers | BriefGPT - AI 论文速递

关键词quantifiers

搜索结果 - 11

人类和 LLMs 中的视觉对象命名、描述和量化
当前的视觉与语言大型语言模型（VLLMs）在捕捉人类命名偏好方面的能力存在问题，尤其在需要高级推理能力的任务中，例如指定量词。
PDF4 months ago
人机交互中自然语言量词的形式化
介绍了一种形式化自然语言中量词的方法，运用于人机交互的背景下，该方法基于带有变量基数表示能力的一阶逻辑，类似于广义量词的操作；通过设计了一个端到端系统，能够接收自然语言输入，将其转换为形式逻辑表示，进行评估，并返回结果或向模拟机器人发送命令
PDF10 months ago
关于带变量的环式公式
稳定模型与变量的循环公式的关系，广义化循环公式至包括非零多项联结程序和任意一阶句子，并通过扩展逻辑程序的语法允许明确量词，将其语义定义为 Ferraris 等人提出的新稳定模型语言的子类，能在不依赖唯一名字和域封闭性假设的情况下处理非单调推
PDFa year ago
ACL用于自然语言推理复杂组合知识评估的合成数据集
本研究介绍了一个名为 SICCK 的合成数据集和一种新颖的分析方法，通过修改自然语言推理（NLI）模型可理解逻辑组成性的性能，并发现 NLI 模型在零 - shot 和精调情况下对带有量词和否定的修饰语进行修改后的句子表现不佳。
PDFa year ago
MMASP (Q) 的高效求解器
本文介绍了一种新的 Answer Set Programming with Quantifiers ASP (Q) 的实现方式，它构建在 qasp 的基础上，具有更高效的编码过程和自动选择多个 QBF-solving 后端的算法选择策略，具
PDFa year ago
ACLSyGNS: 基于自然语言语义的系统化泛化测试平台
通过建立基于自然语义的系统化推导测试平台，本文发现：Transformer 和 GRU 模型能够解析包含量词和否定等逻辑表达的句子，且对形式相似但复杂程度不同的句子表现良好，这表明深度神经网络模型能够捕捉组合意义。
PDF3 years ago
MM超越 NP 问题：量化回答集
本文提出了一种名为 ASP (Q) 的新语言，引入了程序稳定模型上的量词，进一步拓展了 Answer Set Programming 的建模能力，可以直接对多项式层次中的问题进行建模。
PDF5 years ago
ACL探索语言上下文对量词预测的影响
研究语言环境对于预测量词 (`few',`all') 的作用。从人类参与者中收集众包数据，在单句和多句的情况下测试不同模型，发现模型在前者方面的表现显著优于人类，而在后者方面则仅略胜一筹。模型非常有效地利用了词汇和形态句法模式，而人类则更擅
PDF6 years ago
一阶稳定模型语义与一阶环公式
研究了一阶稳定模型语义与一阶循环公式之间的精确关系，探讨了扩展一阶循环公式定于来便于比较，给出一个带显式量化符号的逻辑程序扩展语法，这允许我们使用一阶推理器进行涉及非 - Herbrand 稳定模型的推理。
PDF10 years ago
朝向形式分布语义：使用张量模拟逻辑演算
本文讨论了如何使用矩阵和张量来模拟谓词逻辑，并提出可以模拟量词的张量演算变体，最后讨论了这些变体之间的关系与未来研究的方向。
PDF11 years ago
实数上的 Delta 可判定性
通过计算机函数和序列，本研究提出了一种可将有限次量化的公式转化为真或伪命题的算法，同时为实现数值法在实际应用中为非线性全序实数域决策程序提供了理论基础。
PDF12 years ago