Consistencies for Partially Defined Constraints

Partially defined Constraints can be used to model the incomplete knowledge of a concept or a relation. Instead of only computing with the known part of the constraint, we propose to complete its definition by using Machine Learning techniques. Since constraints are actively used during solving for pruning domains, building a classifier for instances is not enough: we need a solver able to reduce variable domains. Our technique is composed of two steps: first we learn a classifier for the constraint's projections and then we transform the classifier into a propagator. We show that our technique not only has good learning performances but also yields a very efficient solver for the learned constraint.

Data and Resources

Additional Info

Field Value
Source International Conference on Tools with Artificial Intelligence
Author Lallouet, Arnaud, Legtchenko, Andrei
Maintainer CCSD
Last Updated May 10, 2026, 00:35 (UTC)
Created May 10, 2026, 00:35 (UTC)
Identifier hal-00085418
Language en
contributor Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) ; Université d'Orléans (UO)-Ecole Nationale Supérieure d'Ingénieurs de Bourges
creator Lallouet, Arnaud
date 2005-05-10T00:00:00
harvest_object_id df49a94f-3eba-42a7-b220-3f049683bebe
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-12T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1109/ICTAI.2005.49
set_spec type:COMM