Skip to main content
A Linear Programming Framework for Logics of Uncertainty
Decision Support Systems
  • K. A. Andersen, Aarhus University
  • John N. Hooker, Carnegie Mellon University
Date of Original Version
Abstract or Description
Several logics for reasoning under uncertainty distribute “probability mass” over sets in some sense. These include probabilistic logic, Dempster-Shafer theory, other logics based on belief functions, and second-order probabilistic logic. We show that these logics are instances of a certain type of linear programming model, typically with exponentially many variables. We also show how a single linear programming package can implement these logics computationally if one “plugs in” a different column generation subroutine for each logic, although the practicality of this approach has been demonstrated so far only for probabilistic logic.
Citation Information
K. A. Andersen and John N. Hooker. "A Linear Programming Framework for Logics of Uncertainty" Decision Support Systems Vol. 16 Iss. 1 (1993) p. 39 - 53
Available at: