Boolean

ExplAIner语言为解释布尔分类模型提供统一框架

研究人员推出了一种新的声明式查询语言ExplAIner，旨在统一指定、组合和分析用于解释布尔分类模型的各种概念。该语言扩展了FOIL框架，以解决表达基于最优查询的局限性，并提高了评估的复杂性。ExplAIner可以表达多种解释类型，包括溯因解释、对比解释和基于特征的查询，其评估问题属于布尔层级。还提出了一个面向优化的片段Opt-FOIL，用于计算最小解释，其评估问题属于FP^NP。