Transformation of Propositional Calculus Statements into Integer and Mixed Integer Programs: An Approach towards Automatic Reformulation

Abstract

A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) respectively is presented. An ILP stated as a system of linear constraints involving integer variables and an objective function, provides a powerful representation of decision problems through a tightly interrelated closed system of choices. It supports direct representation of logical (Boolean or propositional calculus) expressions. Binary variables (hereafter called logical variables) are first introduced and methods of logically connecting these to other variables are then presented. Simple constraints can be combined to construct logical relationships; the methods of formulating these are also discussed. These reformulation procedures are illustrated by two examples. A scheme of implementation within an LP modelling system is outlined.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1989
Accession Number
ADA233698

Entities

People

  • E. Hadjiconstantinou
  • G. Mitra

Organizations

  • Imperial College London

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Computers
  • Evolutionary Algorithms
  • Expert Systems
  • Integer Programming
  • Language
  • Linear Programming
  • Mathematical Programming
  • Models
  • Numbers
  • Operations Research
  • Optimization
  • Simplex Method

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computer Engineering
  • Statistical inference.