热点事件持续更新

学者提出Horn推理最小成本鲁棒证据证书方法

1 篇报道1 个报道来源11 小时前更新

先了解这件事

AI 综述

10月19日，Yukun Yang 在 arXiv 发表预印本，针对最多 k 个源域失效场景，提出保留 Horn 结论的最小成本鲁棒证据证书精确算法，通过交替加权证据选择与源失效神谕实现。该算法利用规则闭包反解释生成全局有效选择割，避免枚举支持集。实验显示在受控基准、可达性图及本体推导实例上，该方法实现高达 92% 的最优覆盖率。

AI 根据报道生成 · 3 小时前更新

最新进展10月20日 12:00

Horn 推理在关联源失效下的最小成本鲁棒证据证书研究

报道时间线

沿着报道，了解事件的不同侧面。

10月20日

12:00
arXiv · AI
Horn 推理在关联源失效下的最小成本鲁棒证据证书研究
研究提出一种精确算法，用于在最多 k 个源域被撤回时保留 Horn 结论的最小成本鲁棒证据证书。该方法通过交替加权证据选择与源失效神谕实现，利用规则闭包反解释生成全局有效选择割，避免枚举支持集。实验表明，在受控基准、可达性图及本体推导实例上，该方法实现高达 92% 的最优覆盖率。

本事件热度走势

可比范围当前: 7
可比范围峰值: 810月20日 21:00
近 24 小时变化: –

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。