First-Order Mixed Integer Linear Programming

Mixed integer linear programming (MILP) is a powerful representation often used to formulate decision-making problems under uncertainty. However, it lacks a natural mechanism to reason about objects, classes of objects, and relations. First-order logic (FOL), on the other hand, excels at reasoning about classes of objects, but lacks a rich representation of uncertainty. While representing propositional logic in MILP has been extensively explored, no theory exists yet for fully combining FOL with MILP. We propose a new representation, called first-order programming or FOP, which subsumes both FOL and MILP. We establish formal methods for reasoning about first order programs, including a sound and complete lifted inference procedure for integer first order programs. Since FOP can offer exponential savings in representation and proof size compared to FOL, and since representations and proofs are never significantly longer in FOP than in FOL, we anticipate that inference in FOP will be more tractable than inference in FOL for corresponding problems.

[1]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[2]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[3]  Uriel G. Rothblum,et al.  Formulation of linear problems and solution by a universal machine , 1994, Math. Program..

[4]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[5]  Warren B. Powell,et al.  A Stochastic Formulation of the Dynamic Assignment Problem, with an Application to Truckload Motor Carriers , 1996, Transp. Sci..

[6]  María Auxilio Osorio Lama,et al.  Mixed Logical-linear Programming , 1999, Discret. Appl. Math..

[7]  Dana S. Nau,et al.  On the Use of Integer Programming Models in AI Planning , 1999, IJCAI.

[8]  V. Chandru,et al.  Optimization Methods for Logical Inference , 1999 .

[9]  Avi Pfeffer,et al.  IBAL: A Probabilistic Rational Programming Language , 2001, IJCAI.

[10]  David Heckerman,et al.  Probabilistic Entity-Relationship Models, PRMs, and Plate Models , 2004 .

[11]  Vivek S. Borkar,et al.  Mathematical Programming Embeddings of Logic , 2002, Journal of Automated Reasoning.

[12]  J.P. How,et al.  Cooperative task assignment of unmanned aerial vehicles in adversarial environments , 2005, Proceedings of the 2005, American Control Conference, 2005..

[13]  Vincent Conitzer,et al.  Mixed-Integer Programming Methods for Finding Nash Equilibria , 2005, AAAI.

[14]  Dan Roth,et al.  Integer linear programming inference for conditional random fields , 2005, ICML.

[15]  Stuart J. Russell,et al.  BLOG: Probabilistic Models with Unknown Objects , 2005, IJCAI.

[16]  Dan Roth,et al.  Lifted First-Order Probabilistic Inference , 2005, IJCAI.

[17]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[18]  Pedro M. Domingos,et al.  Markov Logic in Infinite Domains , 2007, UAI.

[19]  David Poole,et al.  The Independent Choice Logic and Beyond , 2008, Probabilistic Inductive Logic Programming.

[20]  Pedro M. Domingos,et al.  Lifted First-Order Belief Propagation , 2008, AAAI.

[21]  Ralph E. Gomory,et al.  Outline of an Algorithm for Integer Solutions to Linear Programs and An Algorithm for the Mixed Integer Problem , 2010, 50 Years of Integer Programming.