Learning constraints through partial queries

Learning constraint networks is known to require a number of membership queries exponential in the number of variables. In this paper, we learn constraint networks by asking the user partial queries. That is, we ask the user to classify assignments to subsets of the variables as positive or negative. We provide an algorithm, called QuAcq2, that, given a negative example, elucidates a constraint of the target network in a number of queries logarithmic in the size of the example. The whole constraint network can then be learned with a polynomial number of partial queries. We give information theoretic lower bounds for learning some simple classes of constraint networks and show that our generic algorithm is optimal in some cases. We provide a version of QuAcq2 with a cutoff mechanism that controls the time to generate a query. Our experiments illustrate the good behavior of QuAcq2 in practice, especially in the case where QuAcq2 is executed to learn the missing constraints in a partially filled constraint model. Our experiments also show that QuAcq2 requires significantly fewer queries to learn a network than its predecessor QuAcq1.

Authors

• Christian Bessiere
• Clément Carbonnel
• Anton Dries
• Emmanuel Hebrard
• George Katsirelos
• Nadjib Lazaar
• Nina Narodytska VMware Research
• Claude-Guy Quimper Université Laval, Quebec City, Canada
• Kostas Stergiou
• Dimosthenis C. Tsouros
• Toby Walsh UNSW Sydney

Keywords

• Constraint programming
• Constraint acquisition
• Active learning