arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.01411cs.LG
收藏

使用约束发现稀疏和替代子群描述

Using Constraints to Discover Sparse and Alternative Subgroup Descriptions

Karlsruhe Institute of Technology (KIT)(卡尔斯鲁厄理工学院)

Jakob Bach

AI总结:

本文针对子群发现,提出稀疏与替代描述两类约束,集成至启发式方法并构建SMT白盒优化,证明NP难,经27个数据集验证启发式搜索高效且高质量。

摘要:

子群发现方法允许用户获得数据集中有趣区域的简单描述。在子群发现中使用约束可以进一步增强可解释性。在本文中,我们关注两类约束:首先,我们限制子群描述中使用的特征数量,使其变得稀疏。其次,我们提出一个新的优化问题,即寻找替代子群描述,这些描述覆盖与给定子群相似的一组数据对象,但使用不同的特征。我们描述了如何将这两种约束类型整合到启发式子群发现方法中。此外,我们提出了一种新的子群发现的可满足性模理论(SMT)公式,将其作为一个白盒优化问题,允许基于求解器的子群搜索,并对多种约束类型开放。进一步地,我们证明了这两种约束类型都导致NP难优化问题。最后,我们使用27个二分类数据集来比较无约束和约束子群发现的算法搜索和基于求解器的搜索。我们观察到,启发式搜索方法通常能在短时间内产生高质量的子群,在存在约束的场景中也是如此。

英文摘要:

Subgroup-discovery methods allow users to obtain simple descriptions of interesting regions in a dataset. Using constraints in subgroup discovery can enhance interpretability even further. In this article, we focus on two types of constraints: First, we limit the number of features used in subgroup descriptions, making the latter sparse. Second, we propose the novel optimization problem of finding alternative subgroup descriptions, which cover a similar set of data objects as a given subgroup but use different features. We describe how to integrate both constraint types into heuristic subgroup-discovery methods. Further, we propose a novel Satisfiability Modulo Theories (SMT) formulation of subgroup discovery as a white-box optimization problem, which allows solver-based search for subgroups and is open to a variety of constraint types. Additionally, we prove that both constraint types lead to an NP-hard optimization problem. Finally, we employ 27 binary-classification datasets to compare algorithmic and solver-based search for unconstrained and constrained subgroup discovery. We observe that heuristic search methods often yield high-quality subgroups within a short runtime, also in scenarios with constraints.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑