On the use of integer programming models in AI planning

  • Authors:

  • Thomas Vossen;Michael Ball;Amnon Lotem;Dana Nau

  • Affiliations:

  • Robert H. Smith School of Business and Institute for Systems Research, University of Maryland, College Park, MD;Robert H. Smith School of Business and Institute for Systems Research, University of Maryland, College Park, MD;Department of Computer Science and Institute for Systems Research, University of Maryland, College Park, MD;Department of Computer Science and Institute for Systems Research, University of Maryland, College Park, MD

  • Venue:
  • IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recent research has shown the promise of using propositional reasoning and search to solve AI planning problems. In this paper, we further explore this area by applying Integer Programming to solve AI planning problems. The application of Integer Programming to AI planning has a potentially significant advantage, as it allows quite naturally for the incorporation of numerical constraints and objectives into the planning domain. Moreover, the application of Integer Programming to AI planning addresses one of the challenges in propositional reasoning posed by Kautz and Selman, who conjectured that the principal technique used to solve Integer Programs--the linear programming (LP) relaxation--is not useful when applied to propositional search. We discuss various IP formulations for the class of planning problems based on STRIPS-style planning operators. Our main objective is to show that a carefully chosen IP formulation significantly improves the "strength" of the LP relaxation, and that the resultant LPs are useful in solving the IP and the associated planning problems. Our results clearly show the importance of choosing the "right" representation, and more generally the promise of using Integer Programming techniques in the AI planning domain.