inference rules | BriefGPT - AI 论文速递

关键词inference rules

搜索结果 - 8

多阶段逻辑推理能力评估的目标：Multi-LogiEval
为了评估大型语言模型在人类式的多步逻辑推理方面的能力，我们提出了一种综合评估数据集 Multi-LogiEval，该数据集囊括了多步逻辑推理、各种推理规则和深度，并覆盖了命题逻辑、一阶逻辑和非单调逻辑等三种逻辑类型。实验结果表明，随着推理步
PDF12 days ago
MM（扩展）分离逻辑程序的论证特征
该论文研究了论证理论，尤其是基于假设的论证和不同类型的逻辑程序之间的关系，并通过展示基于假设的论证不仅可以表示普通逻辑程序，而且可以表示否定逻辑程序及其扩展，扩展了 Caminada，Schultz 和 Toni 的已有研究结果。
PDFa year ago
参数化和加权 MDP 的基于图形的约简
本文章研究了参数化马尔可夫决策过程中、权重可达性问题的缩减复杂度。该问题的计算复杂度为 coETR-complete，但是我们在此研究中提出了一种多项式时间算法，可以计算马尔可夫链的 order 等价类，并且描述和实现了两个推断规则，用于近
PDFa year ago
处理维基数据限定词的推理
本文提出了使用分类합理化 Wikidata 知识图谱中大量 qualifiers，通过将逻辑与代数规范相结合处理推断规则的方法。
PDFa year ago
基于规则的定理证明器：中学证明入门
介绍了在中学引入自动推理系统面临的几个瓶颈，讨论了一个基于推理规则和自动方法的实现并使用其进行几何猜想的证明，旨在介绍几何定理的形式证明，以激发学生的兴趣。
PDFa year ago
理解和扩展二阶量化布尔公式的增量确定化
本文探讨了增量确定化作为一种求解单量词交替布尔公式的算法，并将其形式化为一组推理规则以扩展算法设计。实验评估结果表明，推理规则扩展有效地提高了性能。
PDF5 years ago
从数据中学习静态分析器
本文提出了一种自动化的方法来创建静态分析器，通过从数据集中学习推理规则，实现了针对 JavaScript 静态分析规则的学习，该方法包括综合算法和反例指导的学习程序，并能够发现手动标定的分析器无法识别的实用推理规则。
PDF8 years ago
自然演绎作为高阶归结
开发了交互式定理证明器 Isabelle，以 Horn clause 表示每个推理规则，使用基于类型的 λ 演算表示逻辑语法，支持多个逻辑系统并具有逻辑编程潜能。
PDF24 years ago