Automatic Cost Function Learning with Interpretable Compositional Networks

02/23/2020
by   Florian Richoux, et al.
0

Cost Function Networks (CFN) are a formalism in Constraint Programming to model combinatorial satisfaction or optimization problems. By associating a function to each constraint type to evaluate the quality of an assignment, it extends the expressivity of regular CSP/COP formalisms but at a price of making harder the problem modeling. Indeed, in addition to regular variables/domains/constraints sets, one must provide a set of cost functions that are not always easy to define. Here we propose a method to automatically learn a cost function of a constraint, given a function deciding if assignments are valid or not. This is to the best of our knowledge the first attempt to automatically learn cost functions. Our method aims to learn cost functions in a supervised fashion, trying to reproduce the Hamming distance, by using a variation of neural networks we named Interpretable Compositional Networks, allowing us to get explainable results, unlike regular artificial neural networks. We experiment it on 5 different constraints to show its versatility. Experiments show that functions learned on small dimensions scale on high dimensions, outputting a perfect or near-perfect Hamming distance for most constraints. Our system can be used to automatically generate cost functions and then having the expressivity of CFN with the same modeling effort than for CSP/COP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/16/2019

On q-ary Bent and Plateaued Functions

We obtain the following results. For any prime q the minimal Hamming dis...
research
01/18/2014

Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction

Many combinatorial problems deal with preferences and violations, the go...
research
04/05/2018

Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains

Valued constraint satisfaction problems (VCSPs) are a large class of com...
research
09/19/2022

Translationally Invariant Constraint Optimization Problems

We study the complexity of classical constraint satisfaction problems on...
research
02/26/2023

Newton-type algorithms for inverse optimization I: weighted bottleneck Hamming distance and ℓ_∞-norm objectives

In minimum-cost inverse optimization problems, we are given a feasible s...
research
07/01/2022

The closest vector problem and the zero-temperature p-spin landscape for lossy compression

We consider a high-dimensional random constrained optimization problem i...
research
05/20/2016

Unreasonable Effectiveness of Learning Neural Networks: From Accessible States and Robust Ensembles to Basic Algorithmic Schemes

In artificial neural networks, learning from data is a computationally d...

Please sign up or login with your details

Forgot password? Click here to reset