English(EN) Rethinking Explanations: Formalizing Contrast in Description Logics

人工智能研究为描述逻辑知识库的形式化对比解释

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

研究人员引入了一种名为对比解释的新型人工智能解释方法，旨在通过与一个合理的替代方案进行对比来阐明某个特定事实为何为真。该方法通过考虑用户的视角和先验知识，超越了仅仅详细说明推理步骤的局限性。提出的框架在描述逻辑中形式化了对比问题，探讨了相关属性并提供了带有实验验证的实现。 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; 介绍一种新颖的人工智能解释技术的学术论文。[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: 155 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) · Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo, Balram Tiwari · 2026-05-06 04:00

重新思考解释：描述逻辑中的对比形式化

arXiv:2605.01442v1 Announce Type: new Abstract: There has been a growing interest in explaining entailments over description logic (DL) knowledge bases. The existing explanation formalisms focus on justifications to explain true axioms, and abductive reasoning to explain missing …