Tight representation of logical constraints as cardinality rules

Tight representation of logical constraints as cardinality rules

0.00 Avg rating0 Votes
Article ID: iaor20001816
Country: Germany
Volume: 85
Issue: 2
Start Page Number: 363
End Page Number: 377
Publication Date: Jan 1999
Journal: Mathematical Programming
Authors: ,
Keywords: artificial intelligence: expert systems
Abstract:

A mathematical programming model may contain qualitative as well as quantitative elements. One may, for example, wish to combine a rule base with numerical constraints. This raises the issue of how to represent logical constraints in inequality form so that they have a useful linear relaxation. We provide a simple recursive procedure that generates a convex hull description of any logical condition that can be written as a ‘cardinality rule’, which seems to be a form that occurs often in practice. A cardinality rule asserts that if at least k of the propositions A1,...,Am are true, then at least 𝓁 of the propositions B1,...,Bn are true. The main result of the paper is that the procedure in fact provides a convex hull description.

Reviews

Required fields are marked *. Your email address will not be published.