PulseAugur
实时 15:05:16
English(EN) Rethinking Explanations: Formalizing Contrast in Description Logics

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

研究人员引入了一种名为对比解释的新型人工智能解释方法,旨在通过与一个合理的替代方案进行对比来阐明某个特定事实为何为真。该方法通过考虑用户的视角和先验知识,超越了仅仅详细说明推理步骤的局限性。提出的框架在描述逻辑中形式化了对比问题,探讨了相关属性并提供了带有实验验证的实现。 AI

影响 引入了一种更以用户为中心的人工智能可解释性方法,有望提高对人工智能系统的信任和理解。

排序理由 介绍一种新颖的人工智能解释技术的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

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

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

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo, Balram Tiwari ·

    Rethinking Explanations: Formalizing Contrast in Description Logics

    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 …