摘要
聚类是数据挖掘中一项经典任务，旨在根据数据实例之间的相似性对其进行分组。该任务属于探索性且无监督的学习范畴，其结果高度依赖于多种参数设置，通常需要专家多次迭代才能获得满意结果。为更好地建模专家的预期，约束聚类（constrained clustering）应运而生。然而，传统约束聚类仍存在局限：它通常要求所有约束在聚类过程开始前即被提供，缺乏灵活性。本文提出一个更为通用的问题框架，旨在通过一系列动态的聚类调整过程，建模专家在探索性聚类中的交互式决策流程，允许专家在聚类过程中实时添加约束。为此，我们提出一种增量式约束聚类框架，融合主动查询策略与约束编程（Constraint Programming）模型，在满足专家期望的同时保持聚类划分的稳定性，使专家能够清晰理解聚类演化过程及其影响。本模型支持实例级和组级约束，并允许约束的松弛处理。在标准数据集上的实验以及针对卫星影像时序数据分析的案例研究结果表明，所提出的框架具有良好的实用性和有效性。