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: | Hooker J.N., Yan H. |
Keywords: | artificial intelligence: expert systems |
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