English(EN) Structure-Preserving Uncertainty Propagation in First-Order Proof Search

新的证明器GK为一阶证明搜索增加了结构保持不确定性

作者 PulseAugur 编辑部 · [1 个来源] · 2026-08-11 04:00

一篇新论文介绍了一个名为GK的查询导向型一阶证明器，它通过显式声明、数值置信度和优先默认规则来增强证明搜索。该框架现在结合了结构保持的定量报告，利用保留的证明历史来重建不确定的地面前提并计算概率。该系统区分了正面支持、负面支持、冲突和无知，同时还识别不完整的计算或后备方案。 AI

影响引入了一种在AI证明搜索中传播不确定性的新颖方法，有可能提高逻辑推理系统的可靠性。

排序理由该集群包含一篇详细介绍AI证明搜索新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该集群包含一篇详细介绍AI证明搜索新方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 18 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

arXiv cs.AI TIER_1 English(EN) · Tanel Tammet · 2026-08-11 04:00

一阶证明搜索中的结构保持不确定性传播

arXiv:2608.09190v1 Announce Type: new Abstract: GK is a query-directed first-order prover that extends ordinary resolution-based proof search with explicit positive and negative claims, numerical confidence values, and prioritized default rules with exceptions. It works directly …