Opine: an optimization based inference engine

Describes the inference engine Opine, which uses results from zero-one integer programming techniques. The rules and data are handled at several levels. At the highest level, the level of the user interface, rules, and data are handled using propositional calculus. At a lower level, these are handled as linear inequalities, and at this level the problem is treated as an integer programming problem. The author describes the basic transformations used by Opine in translating rules and data to the set of linear inequalities and the algorithm used to search for a solution