研究人员推出了一种新的声明式查询语言ExplAIner，旨在统一指定、组合和分析用于解释布尔分类模型的各种概念。该语言扩展了FOIL框架，以解决表达基于最优查询的局限性，并提高了评估的复杂性。ExplAIner可以表达多种解释类型，包括溯因解释、对比解释和基于特征的查询，其评估问题属于布尔层级。还提出了一个面向优化的片段Opt-FOIL，用于计算最小解释，其评估问题属于FP^NP。 AI
影响 为分析和指定布尔模型的解释提供了一个统一的框架，可能简化XAI研究。
排序理由 该集群包含一篇详细介绍用于解释分类模型的新查询语言的学术论文。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2607.06407v1 Announce Type: new Abstract: The XAI community has studied a wide range of queries and scores for explaining predictions of ML models. From a data management perspective, this proliferation of explanation notions calls for declarative query languages in which s…
The XAI community has studied a wide range of queries and scores for explaining predictions of ML models. From a data management perspective, this proliferation of explanation notions calls for declarative query languages in which such notions can be specified, combined, and anal…