arXiv:2412.14950cs.AI2024-12被引 2

让约束模型学会通用化,自动适配不同参数的同类问题。

Generalizing Constraint Models in Constraint Acquisition

  • 用分类器预测任意约束是否属于目标问题,实现参数化建模
  • 可提取可解释规则,生成任意参数下的具体约束
  • 适合需要泛化能力的建模场景,尤其对噪声数据鲁棒

约束获取(CA)旨在通过辅助用户建模来拓展约束编程的应用。然而,多数现有方法仅针对特定实例学习一组独立约束,无法推广至问题的参数化约束规范。本文提出GenCon,一种新方法,可学习参数化约束模型以应对同一问题的不同实例。通过在个体约束层面使用统计学习技术,我们训练分类器,判断任意约束及其参数化是否属于该问题。对于某些分类器类别,可从中提取决策规则,构建可解释的约束规范,从而生成任意参数实例下的具体约束。此外,我们还提出一种适用于任何分类器的“生成-测试”方法,可动态生成约束。实验表明,该方法在多种条件下均具有高准确率且对输入噪声鲁棒。

原文摘要 · Abstract (English)

Constraint Acquisition (CA) aims to widen the use of constraint programming by assisting users in the modeling process. However, most CA methods suffer from a significant drawback: they learn a single set of individual constraints for a specific problem instance, but cannot generalize these constraints to the parameterized constraint specifications of the problem. In this paper, we address this limitation by proposing GenCon, a novel approach to learn parameterized constraint models capable of modeling varying instances of the same problem. To achieve this generalization, we make use of statistical learning techniques at the level of individual constraints. Specifically, we propose to train a classifier to predict, for any possible constraint and parameterization, whether the constraint belongs to the problem. We then show how, for some classes of classifiers, we can extract decision rules to construct interpretable constraint specifications. This enables the generation of ground constraints for any parameter instantiation. Additionally, we present a generate-and-test approach that can be used with any classifier, to generate the ground constraints on the fly. Our empirical results demonstrate that our approach achieves high accuracy and is robust to noise in the input instances.

约束学习参数化建模可解释性泛化

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。